4978 search results - page 26 / 996 » Logical models of argument |
141
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
115
Voted
COMMA
2006
15 years 4 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
167
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
136
Voted
CLIMA
2004
15 years 4 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
127
click to vote
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...