Search
w/in this Title
for Titles
All Reviews
Artificial Intelligence
Elsevier Science Publishers Ltd.
Options:
Date Reviewed
Title
Author
Publisher
Published Date
Descending Order
Ascending Order
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
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy