Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Artificial Intelligence
Elsevier Science Publishers Ltd.
 
   
 
Options:
 
  1-10 of 410 reviews Date Reviewed 
  A progression semantics for first-order logic programs
Zhou Y., Zhang Y. Artificial Intelligence 250 58-79, 2017.  Type: Article

This paper looks at the relationship between classical logic and practical systems, which employ logic-based techniques to process data. The emphasis is on answer set programming (ASP) and Datalog rather than Prolog. While Prolog can b...

Mar 9 2018
  Low-rank decomposition meets kernel learning
Lan L., Zhang K., Ge H., Cheng W., Liu J., Rauber A., Li X., Wang J., Zha H. Artificial Intelligence 250 1-15, 2017.  Type: Article

This paper describes how low-rank kernel learning can be modified to make use of side information such as class labels on some of the data. In low-rank kernel learning, the kernel can be approximated using the Nystrom method in which a...

Jan 17 2018
  Artificial cognition for social humanrobot interaction
Lemaignan S., Warnier M., Sisbot E., Clodic A., Alami R. Artificial Intelligence 247 45-69, 2017.  Type: Article

Robotics is a practical, task-oriented branch of embodied artificial intelligence for solving real-world problems. This paper deals with a challenging sub-theme of robotics, aiming at a goal in the real world: how human beings and a ro...

Oct 25 2017
  Robust planning with incomplete domain models
Nguyen T., Sreedharan S., Kambhampati S. Artificial Intelligence 245 134-161, 2017.  Type: Article

To develop a plan, a model is constructed. In the model, it is necessary to have complete knowledge about the states, functionalities, and dynamics of the agents in the domain, system, or scenario. These necessities cannot be afforded ...

Sep 15 2017
  Deliberation for autonomous robots
Ingrand F., Ghallab M. Artificial Intelligence 247 10-44, 2017.  Type: Article

Autonomous robots use sensors and actuators to gain information about their environments and act on the information to achieve assigned goals and missions. This paper presents a survey on the topic of deliberation in autonomous robots....

Jul 14 2017
  H-index manipulation by merging articles
van Bevern R., Komusiewicz C., Niedermeier R., Sorge M., Walsh T. Artificial Intelligence 240(C): 19-35, 2016.  Type: Article

Whether we like it or not, various simplistic bibliometrics are increasingly being used by university administrators, funding agencies, and governments in a largely misguided attempt at optimization. As is well known, any kind of measu...

Jun 13 2017
  Computing and restoring global inverse consistency in interactive constraint satisfaction
Bessiere C., Fargier H., Lecoutre C. Artificial Intelligence 241(C): 153-169, 2016.  Type: Article

When a constraint satisfaction problem requires or allows user interaction in the course of the solution, it is important that the solver prevent the user from selecting values for which no solution is possible. This might be the case ...

Apr 26 2017
  Fractals and Ravens
McGreggor K., Kunda M., Goel A. Artificial Intelligence 215(1): 1-23, 2014.  Type: Article

Startling! This paper really offers something to think about. The authors also seem surprised by the success of their counter-intuitive juxtaposition of a fractal-based “visual analogical reasoning” algorithm to sol...

Dec 28 2016
  Belief and truth in hypothesised behaviours
Albrecht S., Crandall J., Ramamoorthy S. Artificial Intelligence 235(C): 63-94, 2016.  Type: Article

The paper offers a detailed analysis of the concept of “hypothesized types.” In multi-actor scenarios, it can be useful to combine presupposed categories (that is, hypothesized types) of behaviors of others with dat...

Oct 7 2016
  A formalization of programs in first-order logic with a discrete linear order
Lin F. Artificial Intelligence 235(C): 1-25, 2016.  Type: Article

Computer programs are language expressions of computations in terms of both the computer, as their computing agent, and behavior, as the computation they represent. Reasoning about computer programs is difficult because of the differen...

May 24 2016
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy