Logic Programming with Defaults and Argumentation Theories

Authors:
Hui Wan;Benjamin Grosof;Michael Kifer;Paul Fodor;Senlin Liang
Affiliations:
State University of New York at Stony Brook, USA;Vulcan, Inc., USA;State University of New York at Stony Brook, USA;State University of New York at Stony Brook, USA;State University of New York at Stony Brook, USA
Venue:
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Year:
2009

Citing 23
Cited 8

The mathematics of inheritance systems

The mathematics of inheritance systems
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
HILOG: a foundation for higher-order logic programming

Journal of Logic Programming
A logical framework for modelling legal argument

ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
An abstract, argumentation-theoretic approach to default reasoning

Artificial Intelligence
Prioritized conflict handing for logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Declarative frameworks for inheritance

Logics for databases and information systems
Preferred answer sets for extended logic programs

Artificial Intelligence
Prioritized logic programming and its application to commonsense reasoning

Artificial Intelligence
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
An argument-based approach to reasoning with specificity

Artificial Intelligence
Embedding Defeasible Logic into Logic Programs

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Reasoning with Prioritized Defaults

LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
An Argumentation Based Framework for Defeasible and Qualitative Reasoning

SBIA '96 Proceedings of the 13th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Prioritizing Default Logic

Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Alternating Fixpoint Theory for Logic Programs with Priority

CL '00 Proceedings of the First International Conference on Computational Logic
Computing preferred answer sets by meta-interpretation in Answer Set Programming

Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs

Theory and Practice of Logic Programming
Defeasible logic programming: an argumentative approach

Theory and Practice of Logic Programming
Implementing prioritized logic programming

AI Communications

Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Query Answering in Belief Logic Programming

SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Belief Logic Programming with Cyclic Dependencies

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Tabling with answer subsumption: implementation, applications and performance

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Defeasibility in answer set programs via argumentation theories

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Design patterns for tabled logic programming

INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Xsb: Extending prolog with tabled logic programming

Theory and Practice of Logic Programming - Prolog Systems
Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog

RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 present a model-theoretic semantics and study its reducibility and well-behavior properties. We use the framework as an elegant and flexible foundation to extend and improve upon Generalized Courteous Logic Programs (GCLP) [19]--one of the popular forms of defeasible reasoning. The extensions include higher-order and object-oriented features of Hilog and F-Logic [7,21]. The improvements include much simpler, incremental reasoning algorithms and more intuitive behavior. The framework and its Courteous family instantiation were implemented as an extension to the FLORA-2 system.