Formal methods in DAI: logic-based representation and reasoning
Multiagent systems
Monitoring deployed agent teams
Proceedings of the fifth international conference on Autonomous agents
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Social knowledge in multi-agent systems
Mutli-agents systems and applications
A Knowledge-Based Approach to Coalition Formation
IEEE Intelligent Systems
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Abstract architecture for meta-reasoning in multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Representing Context for Multiagent Trust Modeling
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Iterative query-based approach to efficient task decomposition and resource allocation
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
| Hi-index | 0.00 |
Intention modelling in self-interested and adversarial communities of agents is a challenging issue. This contribution discusses the role of modelling and meta-reasoning in intention modelling. The formal model of deductive and inductive meta-reasoning is presented and supported by experimental implementations. This research has been motivated by the problem of intention detection in semi-collaborative multi-agent system for OOTW (Operation Other Than War).