The pleadings game: formalizing procedural justice
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Artificial Intelligence
Burden of proof in legal argumentation
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Integration of weighted knowledge bases
Artificial Intelligence
The representation of legal contracts
AI & Society - Special double issue on knowledge, elicitation, representation and application
Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
ACM Computing Surveys (CSUR)
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
Fuzzy argumentation for negotiating agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Weakening conflicting information for iterated revision and knowledge integration
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Artificial Intelligence - Special issue on nonmonotonic reasoning
Is there a burden of questioning?
Artificial Intelligence and Law
Argumentation schemes and generalisations in reasoning about evidence
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Arguing about cases as practical reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Dialogues about the burden of proof
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Persuasion and Value in Legal Argument
Journal of Logic and Computation
Logic-based approaches to information fusion
Information Fusion
Social contraction and belief negotiation
Information Fusion
An unbiased approach to iterated fusion by weakening
Information Fusion
A knowledge-based approach to merging information
Knowledge-Based Systems
Contract clause negotiation by game theory
Proceedings of the 11th international conference on Artificial intelligence and law
Computing ideal sceptical argumentation
Artificial Intelligence
Subjective logic and arguing with evidence
Artificial Intelligence
The Carneades model of argument and burden of proof
Artificial Intelligence
Learning as Meaning Negotiation: A Model Based on English Auction
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Negotiation as mutual belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Dialogue games in defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Hi-index | 0.00 |
The process of reaching an agreement about the meaning of a set of terms is known as Meaning Negotiation. The problem of representing this process contains some sub-problems: to represent the knowledge of the agents about the meaning of the negotiating set of terms, to model the behaviour of the agents involved and to define the agreement and disagreement conditions. Although a large attention from many diverse communities has been driven to this theme in the recent literature of Artificial Intelligence and Knowledge Representation, the results of these investigations depend upon the number of the involved agents. The mechanism of reaching an agreement has been largely studied in the Game Theory community, but only for quantitative objects to be negotiated. In this paper we approach the problem of defining a general framework that can be used to formalise the steps that brings two agents in one case or a group of more than two agents in the other one to reach an agreement about the meaning of a set of terms. In particular, once we have defined a logical framework to represent the situation of two agents that negotiate we define an algorithm automating the Meaning Negotiation process and study its computational properties. We then extend the algorithm to a framework in which negotiating agents are more than two.