Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Two approaches to efficient open-world reasoning
Logic-based artificial intelligence
Local Conditional High-Level Robot Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
CL '00 Proceedings of the First International Conference on Computational Logic
Inferring Implicit State Knowledge and Plans with Sensing Actions
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
An ASP-based approach to dealing with agent perception failure
AI Communications
Probabilistic planning with clear preferences on missing information
Artificial Intelligence
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Projection using regression and sensors
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Computational complexity of planning and approximate planning in presence of incompleteness
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Compiling uncertainty away in conformant planning problems with bounded width
Journal of Artificial Intelligence Research
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |