Sciweavers

3053 search results - page 28 / 611
» A Logic of Abstract Argumentation
Sort
View
JAPLL
2008
98views more  JAPLL 2008»
15 years 6 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
15 years 8 months ago
An Epistemic Logic for Arbitration (Extended Abstract)
emic Logic for Arbitration (Extended Abstract)
Churn-Jung Liau
UAI
2004
15 years 8 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
15 years 10 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot
ICLP
2009
Springer
16 years 7 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...