Journal of the ACM (JACM)
Approximate reasoning about actions in presence of sensing and incomplete information
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Speculative computation with multi-agent belief revision
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Planning with Sensing for a Mobile Robot
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Logic programming for robot control
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Noise, non-determinism and spatial uncertainty
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
LAIMA: a multi-agent platform using ordered choice logic programming
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
| Hi-index | 0.00 |
The paper presents a new modality extending Answer Set Programming in order to refine its capability of representing knowledge in case of possible perception failure. The aim of the proposal is mainly to present a new logical approach to deal with uncertainty arising from perception bugs, and to show its effectiveness in the context of agent reasoning representation.