w/in this Title
Elsevier Science Publishers Ltd.
1-10 of 408 reviews
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 robot can coop...
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 without comp...
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 measurement of an...
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 where a user...
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 solve all major variant...
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 data acquired on the ru...
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 different natures of...
May 24 2016
Games for query inseparability of description logic knowledge bases
Botoeva E., Kontchakov R., Ryzhikov V., Wolter F., Zakharyaschev M. Artificial Intelligence 234(C): 78-119, 2016. Type: Article
A description logic knowledge base (KB) consists of a terminological box and an assertion box. The terminological box defines the terms used in the KB, and the assertion box defines relations between the terms....
May 12 2016
The complexity of reasoning with FODD and GFODD
Hescott B., Khardon R. Artificial Intelligence 2291-32, 2015. Type: Article
First-order logic in a logical language invites undecidable complexity of inference irrespective of the language’s restrictions. First-order decision diagrams (FODDs) and generalized first-order decision diagrams (GFODDs) represent decision-...
Apr 26 2016
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2017 ThinkLoud, Inc.