4978 search results - page 85 / 996 » Logical models of argument |
ARGMAS
2007
Springer
14 years 2 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...
TIME
2007
IEEE
14 years 4 months ago
2007
IEEE
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
EMNLP
2007
13 years 11 months ago
2007
In this paper we explore the use of selectional preferences for detecting noncompositional verb-object combinations. To characterise the arguments in a given grammatical relations...
AIL
2005
13 years 10 months ago
2005
In this paper we show how dialogue-based theories of argumentation can contribute to the construction of effective systems of dispute resolution. Specifically we consider the role ...