On the relationship between Carneades and defeasible logic
G Governatori - Proceedings of the 13th International Conference on …, 2011 - dl.acm.org
We study the formal relationships between the inferential aspects of Carneades (a general
argumentation framework) and Defeasible Logic. The outcome of the investigation is that the …
argumentation framework) and Defeasible Logic. The outcome of the investigation is that the …
Strategic argumentation is NP-complete
G Governatori, F Olivieri, S Scannapieco, A Rotolo… - ECAI 2014, 2014 - ebooks.iospress.nl
Strategic Argumentation is NP-Complete Page 1 Strategic Argumentation is NP-Complete G.
Governatori1,2,5 F. Olivieri1,2,3 S. Scannapieco1,2,3 A. Rotolo4 M. Cristani3 Abstract. We …
Governatori1,2,5 F. Olivieri1,2,3 S. Scannapieco1,2,3 A. Rotolo4 M. Cristani3 Abstract. We …
Propositional clausal defeasible logic
D Billington - Logics in Artificial Intelligence: 11th European …, 2008 - Springer
Defeasible logics are non-monotonic reasoning systems that have efficient implementations
and practical applications. We list several desirable properties and note that each defeasible …
and practical applications. We list several desirable properties and note that each defeasible …
The process of reaching agreement in meaning negotiation
E Burato, M Cristani - Transactions on Computational Collective …, 2012 - Springer
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 …
Meaning Negotiation. The problem of representing this process contains some sub …
Meaning negotiation as inference
E Burato, M Cristani, L Vigano - arXiv preprint arXiv:1101.4356, 2011 - arxiv.org
Meaning negotiation (MN) is the general process with which agents reach an agreement
about the meaning of a set of terms. Artificial Intelligence scholars have dealt with the …
about the meaning of a set of terms. Artificial Intelligence scholars have dealt with the …
Strategic communication
Y Feinberg - Proceedings of the 13th Conference on Theoretical …, 2011 - dl.acm.org
We model games where players strategically exchange messages in a language for
reasoning and strategically update their reasoning. The language for the stage game …
reasoning and strategically update their reasoning. The language for the stage game …
A defeasible logic for clauses
D Billington - AI 2011: Advances in Artificial Intelligence: 24th …, 2011 - Springer
A new non-monotonic logic called clausal defeasible logic (CDL) is defined and explained.
CDL is the latest in the family of defeasible logics, which, it is argued, is important for …
CDL is the latest in the family of defeasible logics, which, it is argued, is important for …
An asymmetric protocol for argumentation games in defeasible logic
Agent interactions where the agents hold conflicting goals could be modelled as adversarial
argumentation games. In many real-life situations (eg, criminal litigation, consumer …
argumentation games. In many real-life situations (eg, criminal litigation, consumer …
Settling on the group's goals: An n-person argumentation game approach
DH Pham, S Thakur, G Governatori - … and Multi-Agent Systems: 11th Pacific …, 2008 - Springer
Abstract Argumentation games have been proved to be a robust and flexible tool to resolve
conflicts among agents. An agent can propose its explanation and its goal known as a claim …
conflicts among agents. An agent can propose its explanation and its goal known as a claim …
Norm Formation Based on Defeasible Logic
Y Peng, Z Zheng, J Xiang, J Ai… - … Intelligence and Software …, 2009 - ieeexplore.ieee.org
Agents are prone to constitute virtual organization in the Internet to support novel application
such as grid computing. Due to autonomous nature of agent, norm must be provided to …
such as grid computing. Due to autonomous nature of agent, norm must be provided to …