Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Answer set programming and plan generation
Artificial Intelligence
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
Adaptive agent negotiation via argumentation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A unified and general framework for argumentation-based negotiation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Negotiation by abduction and relaxation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Logical foundations of negotiation: outcome, concession and adaptation
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptable or not. If the proposal is unacceptable as it is, the agent seeks conditions to accept it. This attitude is captured as a process of making hypotheses by induction . If an agent fails to find a hypothesis, it would concede by giving up some of its current belief. This attitude is characterized using default reasoning . We provide a logical framework of such think-act cycle of an agent, and develop a method for computing proposals using answer set programming .