Sciweavers

3053 search results - page 28 / 611
» A Logic of Abstract Argumentation
Sort
View
JAPLL
2008
98views more  JAPLL 2008»
13 years 9 months ago
A formal account of Socratic-style argumentation
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
Martin Caminada
IJCAI
2003
13 years 11 months ago
An Epistemic Logic for Arbitration (Extended Abstract)
emic Logic for Arbitration (Extended Abstract)
Churn-Jung Liau
UAI
2004
13 years 11 months ago
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge
Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. ...
Carlos Iván Chesñevar, Guillermo Ric...
ICLP
1991
Springer
14 years 1 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot
ICLP
2009
Springer
14 years 10 months ago
Logic Programming with Defaults and Argumentation Theories
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul F...