5378 search results - page 13 / 1076 » Base Logics in Argumentation |
AI
2004
Springer
13 years 8 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
ICAIL
2011
ACM
12 years 8 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
ECSQARU
2009
Springer
14 years 3 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
EPIA
1995
Springer
14 years 5 days ago
1995
Springer
Abstract. Argument-based formalisms are gaining popularity as models of nonmonotonic reasoning. Central in such formalisms is a notion of argument. Arguments are formal reconstruct...
AI
2011
Springer
13 years 3 months ago
2011
Springer
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...