A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
Handbook of theoretical computer science (vol. B)
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Formalising abilities and opportunities of agents
Fundamenta Informaticae
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
Programming Resource-Bounded Deliberative Agents
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Agents with Bounded Temporal Resources
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
ACM Transactions on Computational Logic (TOCL)
AMPLIA: A Probabilistic Learning Environment
International Journal of Artificial Intelligence in Education
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Programming groups of rational agents
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Toward a formal theory of belief, capability and promise incorporating temporal aspect
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A model of pedagogical negotiation
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Modeling belief, capability and promise for cognitive agents – a modal logic approach
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part I
Organising software in active environments
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Rigorous development of fault-tolerant agent systems
Rigorous Development of Complex Fault-Tolerant Systems
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
We introduce a logical model of rational agency incorporating the key notions of ability, belief, and confidence, the last of these capturing a flexible motivational attitude. Since the logical basis we propose is relatively simple, formal descriptions are amenable to both direct execution and formal verification. In particular, we show how this formalism can provide the basis for a high-level development method for both individual rational agents and multi-agent systems.