• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Abduction in Logic Programming

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [www.cs.kuleuven.ac.be]
  • [www.cs.kuleuven.be]
  • [www.math-info.univ-paris5.fr]
  • [www.stanford.edu]
  • [www.cs.kuleuven.ac.be]
  • [www-lp.doc.ic.ac.uk]
  • [www.disi.unige.it]
  • [www-lp.doc.ic.ac.uk]
  • [www-lp.doc.ic.ac.uk]
  • [www.cs.ucy.ac.cy]
  • [www.cs.ucy.ac.cy]
  • [www.cs.ucy.ac.cy]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Marc Denecker , Antonis Kakas
Citations:464 - 70 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Denecker_abductionin,
    author = {Marc Denecker and Antonis Kakas},
    title = {Abduction in Logic Programming},
    year = {}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational and suitability to application. The paper attempts to expose some of the challenges and prospects for the further development of the field.

Citations

5662 Probabilistic reasoning in intelligent systems: networks of plausible inference - Pearl - 1988
1739 Foundations of logic programming - Lloyd
1263 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
1247 A logic for default reasoning - Reiter - 1980
855 Negation as Failure - Clark - 1978
743 The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
689 Classical negation in logic programs and disjunctive databases - Gelfond, Lifschitz - 1991
552 A Truth Maintenance System - Doyle
536 A logic-based calculus of events - Kowalski, Sergot - 1986
532 Knowledge in Flux. Modelling the Dynamics of Epistemic States - Gardenfors - 1988
521 Interpretation as Abduction - Stickel, Martin, et al. - 1988
403 Concurrent Constraint Programming - Saraswat - 1993
388 An assumption-based TMS - Kleer - 1986
348 A logical framework for default reasoning - Poole� - 1988
339 Logic for Problem Solving - Kowalski - 1979
310 Logic programs with classical negation - Gelfond, Lifschitz - 1990
272 An assumption-based truth maintenance system - Kleer - 1986
264 Logic programs with stable model semantics as a constraint programming paradigm - Niemelä - 1999
255 Probabilistic Horn abduction and Bayesian networks - Poole - 1993
240 On closed world data bases - Reiter - 1987
233 Nonmonotonic logic and temporal projection - Hanks, McDermott - 1987
226 Smodels—an implementation of the stable model and wellfounded semantics for normal logic programs - Niemelä, Simons - 1997
223 Introduction to Artificial Intelligence - Charniak, McDermott - 1985
205 Unfounded sets and well-founded semantics for general logic programs - Gelder, Ross, et al. - 1991
197 Stable Models as an Alternative Logic Programming Paradigm - Marek, Truszczyński - 1999
187 Abduction compared with negation by failure - Eshghi, Kowalski - 1989
182 Situations and actions and causal laws - McCarthy - 1963
180 Preferred subtheories: An extended logical framework for default reasoning - Brewka - 1989
160 Acyclic programs - Apt, Bezem - 1991
154 On the relationship between abduction and deduction - Console, Dupre, et al. - 1991
150 A mathematical treatment of defeasible reasoning and its implementation - Simari, Loui - 1992
134 Default reasoning, nonmonotonic logics, and the frame problem - Hanks, McDermott - 1986
131 Database updates through abduction - Kakas, Mancarella - 1990
131 Prediction is deduction but explanation is abduction - Shanahan - 1989
127 On indefinite databases and the closed world assumption - Minker - 1987
123 Constructive negation based on the completed database - Chan - 1988
119 R.: Theorist: A Logical Reasoning System for Defaults and Diagnosis, The Knowledge Frontier - Poole, Aleliunas, et al. - 1987
119 The Independent Choice Logic for modelling multiple agents under uncertainty - Poole - 1997
117 Stable Models and Non-Determinism in Logic Programs with Negation - Saccà, Zaniolo - 1990
115 Memoing for logic programs - Warren - 1992
109 General Theory of Cumulative Inference - Makinson
106 Belief revision and default reasoning: Syntax-based approaches - Nebel - 1991
104 Abductive planning with event calculus - Eshghi - 1988
100 Generalized stable models: a semantics for abduction - Kakas, Mancarella - 1990
96 On the comparison of theories: preferring the most specific explanation - Poole - 1985
92 On the mechanization of abductive logic - Pople - 1973
89 Extended stable semantics for normal and disjunctive programs - Przymusinski - 1990
80 A knowledge level analysis of belief revision - Nebel - 1989
78 Diagnostic Expert Systems Based on a Set Covering Model - Reggia, Nau, et al. - 1983
75 Logic programs with exceptions - Kowalski, Sadri - 1990
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University