Intention is choice with commitment
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
Handbook of theoretical computer science (vol. B)
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Modeling rational agents with a BDI-architecture
Readings in agents
Model checking
A Defeasible Logic of Policy-Based Intention
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Grounded Consequence for Defeasible Logic
Grounded Consequence for Defeasible Logic
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
A grounded specification language for agent programs
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
CTL AgentSpeak(L): A specification language for agent programs
Journal of Algorithms
A representationalist theory of intention
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Temporal extensions to defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Hi-index | 0.00 |
Intentional reasoning is a form of logical reasoning with a temporal-intentional and defeasible nature. By covering conditions of material and formal adequacy we describe a defeasible logic of intention to support the thesis that intentional reasoning is bona fide reasoning.