Intention is choice with commitment
Artificial Intelligence
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Modelling PRS-Like Agents' Mental States
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
BDI Models and Systems: Bridging the Gap
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
A taxonomy of argumentation models used for knowledge representation
Artificial Intelligence Review
A preference-based theory of intention
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Understanding the semantics of data provenance to support active conceptual modeling
Active conceptual modeling of learning
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A multi-subset possible world semantics for intention operator of agent
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
A concurrent agent model based on twin-subset semantic
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Interrelations between the BDI primitives: Towards heterogeneous agents
Cognitive Systems Research
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
A defeasible logic of intention
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Decision as choice of potential intentions
Web Intelligence and Agent Systems
| Hi-index | 0.00 |
The problem of finding a set of assumptions which explain a given proposition is in general NP-hard, even when the background theory is an acyclic Horn theory. In this paper it is shown that when the background theory is acyclic Horn and its pseudo-completion ...