A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
ACM Computing Surveys (CSUR)
Explanation and Argumentation Capabilities: Towards the Creation of More Persuasive Agents
Artificial Intelligence Review
SHOP: Simple Hierarchical Ordered Planner
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Designing Conversation Policies using Joint Intention Theory
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Annals of Mathematics and Artificial Intelligence
Semantics of declarative goals in agent programming
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
Argumentation in the Semantic Web
IEEE Intelligent Systems
Dynamic interactions between goals and beliefs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Dynagent: an incremental forward-chaining HTN planning agent in dynamic domains
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Layered strategies and protocols for argumentation-based agent interaction
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
On the generation of bipolar goals in argumentation-based negotiation
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Verifying protocol conformance for logic-based communicating agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A dynamic logic programming based system for agents with declarative goals
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Verification of protocol conformance and agent interoperability
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Hi-index | 0.00 |
This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based and enables agents to generate a set of strategic goals depending on a set of constraints. Sub-goals are generated using this reasoning and they can be cancelled or substituted for alternatives during the dialogue progress. An original characteristic of this framework is that agents can use this strategic reasoning together with a tactic reasoning to persist in the achievement of their goals by considering alternatives depending on a set of constraints. Tactic reasoning is responsible of selecting the communicative acts to perform in order to realize the strategic goals. Some constraints are fixed when the conversation starts and others during the dialogue progress. The paper also discusses the computational complexity of such a reasoning.