Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Answer set programming and plan generation
Artificial Intelligence
Negotiation by abduction and relaxation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Inductive Negotiation in Answer Set Programming
Declarative Agent Languages and Technologies VI
Hi-index | 0.00 |
This paper presents a logical framework for automated negotiation. An agent accepts a proposal if it is proved by its knowledge base. If this is not the case, an agent seeks conditions to accept a proposal or may give up some of its current belief to reach an agreement. These attitudes of agents are characterized using induction and default reasoning.