4978 search results - page 85 / 996 » Logical models of argument |
160
Voted
ARGMAS
2007
Springer
15 years 7 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...
153
Voted
ECAI
2010
Springer
15 years 4 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...
109
click to vote
EMNLP
2007
15 years 5 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...
126
Voted
AIL
2005
15 years 3 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 ...