Abduction in logic programming: A new definition and an abductive procedure based on rewriting

&
Artificial Intelligence 140 (1-2):175-205 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00227-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
Abduction via C-tableaux and δ-resolution.Fernando Soler-Toscano, Ángel Nepomuceno-Fernández & Atocha Aliseda-Llera - 2009 - Journal of Applied Non-Classical Logics 19 (2):211-225.
Large-Scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference.Naoya Inoue & Kentaro Inui - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 281--293.
Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii.David Makinson - 1994 - Clarendon Press.
Computational molecular biology: A promising application using logic programming and constraint logic programming.J. Cohen - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.
Abductive inference: computation, philosophy, technology.John R. Josephson & Susan G. Josephson (eds.) - 1994 - New York: Cambridge University Press.
If inductive logic programming leads, will data mining follow?Randy Goebel - forthcoming - Proceedings of the Japanese Society for Artificial Intelligence, Foundations of Ai Special Interest Group Workshop on Inductive Logic Programming.
Abduction through semantic tableaux versus abduction through goal-directed proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria 22 (3):295-304.
Computing argumentation semantics in answer set programming.Toshiko Wakaki & Katsumi Nitta - 2009 - In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 254--269.
Preface: The logic programming paradigm: a 25-year perspective 1999.Krzysztof Apt, V. M. Marek, M. Truszczy'nski & D. S. Warren - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,345,183)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Optimizing group learning: An evolutionary computing approach.Igor Douven - 2019 - Artificial Intelligence 275 (C):235-251.
What makes propositional abduction tractable.Gustav Nordh & Bruno Zanuttini - 2008 - Artificial Intelligence 172 (10):1245-1284.
Hypothesizing about signaling networks.Nam Tran & Chitta Baral - 2009 - Journal of Applied Logic 7 (3):253-274.

Add more citations

References found in this work

Abduction versus closure in causal theories.Kurt Konolige - 1992 - Artificial Intelligence 53 (2-3):255-272.

Add more references