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 408 reviews Date Reviewed 
  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
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy