2303 search results - page 14 / 461 » On the logic of argumentation theory |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
This paper aims at giving a classification of argumentation games agents play within a multi-agent setting. We investigate different scenarios of such argumentation games that dif...
PPDP
2010
Springer
13 years 5 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
KBS
2006
13 years 7 months ago
2006
Dialogic argumentation is a crucial component in many computational domains, and forms a core component of argumentation theory. This paper compares two approaches to dialogue tha...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...