Sciweavers

2303 search results - page 88 / 461
» On the logic of argumentation theory
Sort
View
ODR
2008
15 years 7 months ago
A Multi-Agent Architecture for Online Dispute Resolution Services
: Argumentation theory is often used in multi agent-systems to facilitate autonomous agent reasoning and multi-agent interaction. The technology can also be used to develop online ...
Brooke Abrahams, John Zeleznikow
LOGCOM
2006
82views more  LOGCOM 2006»
15 years 6 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
Jan Broersen, Andreas Herzig, Nicolas Troquard
JAPLL
2007
125views more  JAPLL 2007»
15 years 6 months ago
Preferential theory revision
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
Pierangelo Dell'Acqua, Luís Moniz Pereira
FOIKS
2008
Springer
15 years 8 months ago
Defeasible Reasoning and Partial Order Planning
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
Diego R. García, Alejandro Javier Garc&iacu...
CRIWG
2007
15 years 7 months ago
Alternative Dispute Resolution Based on the Storytelling Technique
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
Pedro Antunes, Sara Relvas, Marcos R. S. Borges