Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Abductive interpretation and reinterpretation of natural language utterances
Abductive interpretation and reinterpretation of natural language utterances
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
Conversational adequacy: mistakes are the essence
International Journal of Human-Computer Studies
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Dialogue Game Protocol for Agent Purchase Negotiations
Autonomous Agents and Multi-Agent Systems
Argumentation schemes and generalisations in reasoning about evidence
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Modelling legal reasoning in a mathematical environment through model theoretic semantics
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Knowledge and communication: a first-order theory
Artificial Intelligence
Arguing about cases as practical reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Conclusion of contracts by electronic agents
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Towards a multi-agent system for regulated information exchange in crime investigations
Artificial Intelligence and Law - Argumentation in artificial intelligence and law
Persuasion and Value in Legal Argument
Journal of Logic and Computation
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
A deduction system for meaning negotiation
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
The process of reaching agreement in meaning negotiation
Transactions on Computational Collective Intelligence VII
Hi-index | 0.00 |
Several recent investigations in Artificial Intelligence and Law have dealt with the problem of "contract clause negotiation", often seen as a specific type of "meaning negotiation". Though a consistent effort has been spent in modelling situations in which two agents mediate the rules to govern a cooperation stipulated in a contract, there is still a lack of formalisation for such a task from a logical viewpoint, and specifically, no model exists, to the best of our knowledge, in the current literature, that represents the negotiation process directly using techniques of the Theory of zero-sum Games, although the majority of scholars admit that the behaviour of agents negotiating in contract definition are quite well modelled by that approach. In particular, we propose to model peer-to-peer meaning negotiation process by a zerosum game, known in Game Theory literature as Bargaining. This approach shows its usefulness in the development of a methodology for obtaining shared theories from distinct ones, and we apply it directly in a framework in which it is possible to represent Contract Clause Negotiation processes.