A.C. Kakas, R.A. Kowalski, F. Toni  Home/Search
Context Related
| lp.doc.ic.ac.uk/_lp/K...modsurvey.ps.Z lp.doc.ic.ac.uk/_lp/T...modsurvey.ps.Z laotzu.doc.ic.ac.uk/p...modsurvey.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: lp.doc.ic.ac.uk/UserPages/s...rak (more) From: lp.doc.ic.ac.uk/Us...bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). It updates the earlier paper "Abductive Logic Programming" [88]. We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; we describe the argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure, introduced in the earlier version [88]... (Update)
Cited by: More
Abductive Proofs as Models of Students' Reasoning.. - Makatchev.. (2004) (Correct)
Modeling Students' Reasoning about Qualitative Physics: .. - Makatchev, Jordan.. (2004) (Correct)
Abductive Theorem Proving for Analyzing Student.. - Makatchev, Jordan.. (2004) (Correct)
Similar documents (at the sentence level):
34.5%: Abductive Logic Programming - Kakas, Kowalski, Toni (1993) (Correct)
Active bibliography (related documents): More All
1.7: An Abstract, Argumentation-Theoretic Approach to.. - Bondarenko, Dung.. (1997) (Correct)
1.6: ACLP: Abductive Constraint Logic Programming - Kakas, Michael, Mourlas (2000) (Correct)
1.1: A Unifying View for Logic Programming with.. - Brogi, Lamma.. (1997) (Correct)
Similar documents based on text: More All
0.3: A semantics for the Kakas-Mancarella procedure for abductive logic .. - Toni (1995) (Correct)
0.3: ACLP: Integrating Abduction and Constraint Solving - Kakas (2000) (Correct)
0.3: Reasoning about Actions, Narratives and Ramifications - Antonis Kakas Department (1997) (Correct)
Related documents from co-citation: More All
20: Negation as Failure (context) - Clark - 1978
17: Abduction Compared with Negation by Failure (context) - Eshghi, Kowalski - 1989
16: Abductive Logic Programming - Kakas, Kowalski et al. - 1992
BibTeX entry: (Update)
Kakas, A. C., Kowalski, R. A. and Toni, F.: "The role of abduction in logic programming", Handbook of logic in Artificial Intelligence and Logic Programming 5, Oxford University Press, 1998, 235--324. http://citeseer.ist.psu.edu/kakas98role.html More
@misc{ kakas98role,
author = "A. Kakas and R. Kowalski and F. Toni",
title = "The role of abduction in logic programming",
text = "Kakas, A. C., Kowalski, R. A. and Toni, F.: The role of abduction in logic
programming, Handbook of logic in Artificial Intelligence and Logic Programming
5, Oxford University Press, 1998, 235--324.",
year = "1998",
url = "citeseer.ist.psu.edu/kakas98role.html" }
Citations (may not include all citations):1543 Probabilistic reasoning in intelligent systems: Networks of .. (context) - Pearl - 1988 ACM
850 A Logic for default reasoning (context) - Reiter - 1980 ACM DBLP
458 A theory of diagnosis from first principle (context) - Reiter - 1987
334 A truth maintenance system (context) - Doyle - 1979 ACM DBLP
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986 ACM DBLP
311 Semantical considerations on non-monotonic logic (context) - Moore - 1985
295 On closed world data bases (context) - Reiter - 1978 ACM DBLP
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990 ACM DBLP
253 A logical framework for default reasoning (context) - Poole - 1988 ACM DBLP
212 Abductive logic programming - Kakas, Kowalski et al. - 1993 DBLP
188 Knowledge in flux: modeling the dynamics of epistemic states (context) - Gardenfors - 1988
185 On indefinite databases and the closed world assumption (context) - Minker - 1982 ACM DBLP
182 Logic for problem solving (context) - Kowalski - 1979 ACM
175 Non-monotonic logics and temporal projection (context) - Hanks, McDermott - 1987
156 SATCHMO: a theorem prover implemented in Prolog (context) - Manthey, Bry - 1988 DBLP
154 Introduction to artificial intelligence (context) - Charniak, McDermott - 1985 ACM
149 Logic programming and knowledge representation - Baral, Gelfond - 1994 ACM DBLP
138 Probabilistic Horn abduction and Bayesian networks - Poole - 1993 ACM DBLP
125 An assumption-based TMS (context) - deKleer - 1986 ACM DBLP
118 non-monotonic logics (context) - Hanks, McDermott - 1986
118 Unfounded sets and the well-founded semantics for general lo.. (context) - Van Gelder, Ross et al. - 1988
117 the relationship between abduction and deduction - Console, Theseider et al. - 1991
117 Preferred subtheories: an extended logical framework for def.. (context) - Brewka - 1989 DBLP
117 Abduction compared with negation by failure (context) - Eshghi, Kowalski - 1989 DBLP
110 Well-founded semantics for logic programs with explicit nega.. (context) - Pereira, Alferes - 1992
109 Database updates through abduction (context) - Kakas, Mancarella - 1990 ACM DBLP
109 Constructive negation based on the completed database (context) - Chan - 1988 DBLP
107 Foundations of assumption-based truth maintenance systems: p.. (context) - Reiter, deKleer - 1987 DBLP
103 Prediction is deduction but explanation is abduction - Shanahan - 1989 DBLP
100 Theorist: a logical reasoning system for default and diagnos.. (context) - Poole, Goebel - 1987
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990 ACM DBLP
90 Explanation and prediction: an architecture for default and .. - Poole - 1989 ACM
88 Abductive planning with event calculus (context) - Eshghi - 1988 DBLP
88 Generalized Stable Models: a Semantics for Abduction (context) - Kakas, Mancarella - 1990 DBLP
87 Abductive and default reasoning: a computational core (context) - Selman, Levesque - 1990 DBLP
81 Logic programs with exceptions (context) - Kowalski, Sadri - 1990 ACM DBLP
77 Representing incomplete knowledge in abductive logic program.. - Denecker, De Schreye - 1993 ACM DBLP
75 A mathematical treatment of defeasible reasoning and its imp.. (context) - Simari, Loui - 1992
72 Belief revision and default reasoning: syntax-based approach.. - Nebel - 1991 DBLP
71 Database updates in the event calculus (context) - Kowalski - 1992 ACM DBLP
66 A knowledge-level account of abduction (context) - Levesque - 1989 DBLP
65 the comparison of theories: preferring the most specific exp.. (context) - Poole - 1985
63 Diagnostic experts systems based on a set-covering model (context) - Reggia - 1983
62 the declarative and procedural semantics of logic programs - Przymusinski - 1989
62 the mechanization of abductive logic (context) - Pople - 1973
62 Nonmonotonic logic II: nonmonotonic modal theories (context) - McDermott - 1982
57 Intensional updates: abduction via deduction (context) - Bry - 1990 ACM DBLP
56 A knowledge level analysis of belief revision - Nebel - 1989 ACM
56 Temporal reasoning with abductive event calculus - Denecker, De Schreye - 1992 ACM DBLP
54 Diagnosis and debugging as contradiction removal - Pereira, Damasio et al. - 1993 ACM DBLP
54 Contradiction removal within wellfounded semantics (context) - Pereira, Aparicio et al. - 1991
51 Embedding negation as failure into a model generation theore.. (context) - Inoue, Koshimura et al. - 1992 ACM DBLP
50 An assumption-based framework for non-monotonic reasoning - Bondarenko, Toni et al. - 1993 ACM DBLP
48 A basis for deductive database system (context) - Lloyd, Topor - 1985
48 Non-monotonic reasoning with wellfounded semantics - Pereira, Aparicio et al. - 1991
48 Causes for events: their computation and applications (context) - Cox, Pietrzykowski - 1992
46 The acceptability semantics for logic programs (context) - Kakas, Mancarella et al. - 1994 ACM DBLP
40 Representing knowledge for logic-based diagnosis - Poole - 1988 DBLP
40 SLDNFA: an abductive procedure for normal abductive programs - Denecker, De Schreye - 1992 DBLP
38 A rational reconstruction of non-monotonic truth maintenance.. (context) - Elkan - 1990
38 The Stable model semantics for logic programs (context) - Gelfond, Lifschitz - 1988
37 Integrating abductive and constraint logic programming (context) - Kakas, Michael - 1995 DBLP
37 An argumentation semantics for logic programming with explic.. (context) - Dung - 1993 ACM DBLP
35 A Theory for diagnosis for incomplete causal models (context) - Console, Theseider et al. - 1989
34 Semantics of disjunctive logic programs and deductive databa.. (context) - Przymusinski - 1991
34 An approach to constructive negation (context) - Drabent - 1994
33 Negation as failure as an approach to the Hanks and McDermot.. (context) - Evans - 1989
33 Integrity enforcement on deductive databases (context) - Decker - 1986 DBLP
32 Derivation procedures for extended stable models - Pereira, Aparicio et al. - 1991 DBLP
32 argumentation-theoretic framework for default reasoning (context) - Bondarenko, Dung et al. - 1995
31 Stable semantics for logic programs and default theories (context) - Marek, Truszczynski - 1989 DBLP
31 A model generation theorem prover in KL1 using a ramified-st.. (context) - Fujita, Hasegawa - 1991
30 A transformational approach to negation in logic programming (context) - Barbuti, Mancarella et al. - 1990 ACM DBLP
29 A prolog-like inference system for computing minimum-cost ab.. - Stickel - 1988 DBLP
29 Negation as hypothesis: an abductive foundation for logic pr.. (context) - Dung - 1991
28 Well-founded reasoning with classical negation (context) - Dung, Ruamviboonsuk - 1991 DBLP
27 Stable theories for logic programs (context) - Kakas, Mancarella - 1991 DBLP
27 The anomalous extension problem in default reasoning (context) - Morris - 1988 ACM DBLP
27 Rational belief revision - Doyle - 1991 DBLP
26 A query evaluation method for abductive logic programming (context) - Satoh, Iwayama - 1992 DBLP
26 Top-down query evaluation for wellfounded semantics with exp.. - Alferes, Damasio et al. - 1994
24 Extended logic programs with default assumptions (context) - Inoue - 1991 DBLP
24 Counterfactual reasoning based on revising assumptions - Pereira, Aparicio et al. - 1991 DBLP
24 Completed logic programs and their consistency (context) - Sato - 1990 ACM DBLP
22 Preferred extensions are partial stable models (context) - Kakas, Mancarella - 1993 ACM
21 RESIDUE: a deductive approach to design synthesis (context) - Finger, Genesereth - 1985 ACM
21 Hypothetical reasoning in logic programs (context) - Inoue - 1994 DBLP
20 A query-the-user facility for logic programming (context) - Sergot - 1983 ACM
19 Contradiction removal semantics with explicit negation Proc - Pereira, Alferes et al. - 1992
18 Embracing causality in formal reasoning (context) - Pearl - 1987
17 Acyclic disjunctive logic programs with abductive procedure .. (context) - Dung - 1992
17 the equivalence between disjunctive and abductive logic prog.. - Sakama, Inoue - 1994
17 Constraint simplification rules - Fruhwirth - 1992
17 Consistency-based and abductive diagnoses as generalised sta.. (context) - Preist, Eshghi - 1992 DBLP
16 Logic programming with strong negation (context) - Pearce, Wagner - 1991 ACM DBLP
16 abduction and probability (context) - Poole - 1992
15 Knowledge representation without integrity constraints (context) - Kowalski, Sadri - 1988
14 Negation by constraints: a sound and efficient implementatio.. (context) - Wallace - 1987 DBLP
14 the duality of abduction and model generation (context) - Denecker, De Schreye - 1992
14 Rationale and methods for abductive reasoning in natural lan.. (context) - Stickel - 1989
14 Normal logic programs as open positive programs (context) - Brogi, Lamma et al. - 1992 DBLP
13 truth maintenance and conflict resolution (context) - Giordano, Martelli - 1990
13 The role of abduction in database view updating (context) - Console, Sapino et al. - 1994 ACM DBLP
13 Using crucial literals to select better theories (context) - Sattar, Goebel - 1989 ACM DBLP
12 A correct non-monotonic ATMS (context) - Junker - 1989 DBLP
12 Scenario semantics of extended logic programs - Alferes, Dung et al. - 1993 ACM DBLP
12 Computing the acceptability semantics - Toni, Kakas - 1995 ACM DBLP
11 Computing abduction using the TMS (context) - Satoh, Iwayama - 1991
11 the relation of truth maintenance and abduction (context) - Kakas, Mancarella - 1990
10 An abductive procedure for disjunctive logic programming (context) - Dung - 1992
10 An application of general purpose theorem-proving to databas.. (context) - Sadri, Kowalski - 1987
10 Relating the TMS to Autoepistemic Logic (context) - Fujiwara, Honiden - 1989 DBLP
9 Negation in disjunctive logic programs - Sakama, Inoue - 1993 ACM DBLP
8 Using definite clauses and integrity constraints as the basi.. (context) - Goebel, Furukawa et al. - 1986 ACM DBLP
8 A correct top-down proof procedure for general logic program.. (context) - Satoh, Iwayama - 1992
8 A truth maintenance system based on stable models (context) - Pimentel, Cuadrado - 1989 DBLP
8 Negation as failure revisited (context) - Dung, Kakas et al. - 1992
7 Reduction of abductive logic programs to normal logic progra.. - Toni, Kowalski - 1995 DBLP
7 Negation as failure to support (context) - Torres - 1993 ACM DBLP
6 A semantics for Eshghi and Kowalski's abductive procedure (context) - Giordano, Martelli et al. - 1993 ACM
6 An integrated abductive framework for discourse interpretati.. (context) - Hobbs - 1990
6 Beyond negation as failure (context) - Geffner - 1991 DBLP
6 Theorem proving approach with constraint handling and its ap.. (context) - Fung - 1993
6 Hypothetical reasoning systems on the MGTP (context) - Inoue, Ohta et al. - 1992
6 A dual form of logic programming (context) - Kowalski - 1992
6 Gallaire and Minker eds (context) - Clark - 1978
6 A theorem-proving approach to job-shop scheduling - Toni - 1994
6 Springer Verlag Lecture notes in Computer Science (context) - Kakas, Mancarella et al. - 1990
6 A top-down proof procedure for default logic by using abduct.. (context) - Satoh - 1994
5 Abductive logic programming (context) - Chen, Warren - 1989 DBLP
5 An argumentation-theoretic semantics based on nonrefutable f.. - Alferes, Pereira - 1994
5 the relation between truth maintenance and nonmonotonic logi.. (context) - Reinfrank, Dessler - 1989
5 Deductive databases as theories of belief (context) - Kakas - 1991
5 An abductive framework for general logic programs and other .. (context) - Brewka, Konolige - 1993
4 A knowledge assimilation method for logic databases (context) - Miyaki, Kunifuji et al. - 1984 DBLP
4 An abductive foundation for non-monotonic truth maintenance (context) - Dung - 1991
4 Parallel theorem provers and their applications (context) - Hasegawa, Fujita - 1992 DBLP
4 Combining induction with resolution in logic programming (context) - Lever - 1991
4 Belief revision without constraints (context) - Kowalski - 1987
4 nd Conference on Theoretical Aspects of Reasoning about Know.. (context) - Reiter - 1988
4 On abduction and answer generation through constraint resolu.. (context) - Burchert, Nutt - 1991
4 Springer Verlag Lecture Notes in Computer Science (context) - Kowalski - 1990
4 Consideration of a hypothesis-based reasoning system (context) - Kunifuji, Tsurumaki et al. - 1986
4 A non-monotonic ATMS using stable bases (context) - Rodi, Pimentel - 1991
3 st Compulog-Net Workshop on Logic Programming in Artificial .. (context) - Console, Saitta - 1992
3 Proof theory and semantics of logic programming (context) - Gaifman, Shapiro - 1989
3 th International Conference on Logic Programming (context) - Apt, Bezem - 1990
3 Workshop on Non-Monotonic Reasoning and Logic Programming (context) - Kakas, Mancarella et al. - 1990
3 Springer Verlag Lecture Notes in Computer Science (context) - Reiter, On - 1990
3 Workshop on Non-Standard Queries and Non-Standard Answers (context) - Gabbay, Kempson - 1991
3 Commonsense axiomatizations for logic programs (context) - Van Gelder, Schlipf - 1993 DBLP
3 Technical Report Department of Computing (context) - Eshghi, Kowalski - 1988
3 International Conference on Fifth Generation Computer System.. (context) - Evans, Kakas - 1992
3 nd International Workshop on Monmonotonic reasoning (context) - Makinson - 1989
3 An assumption-based truth maintenance system dealing with no.. (context) - Lamma, Mello - 1992
3 Personal Communication (context) - Dung - 1992
3 st International Workshop on Principles of Diagnosis (context) - Eshghi - 1990
3 Technical Report Logic Programming Group (context) - Kakas - 1991
3 An inference rule for hypotheses generation (context) - Demolombe, Fari - 1991
3 Springer Verlag Lecture notes in Computer Science (context) - Inoue, An - 1990
3 Answer set semantics and constructive logic with strong nega.. (context) - Akama - 1992
3 The computational complexity of abduction (context) - Allemand, Tanner et al. - 1991 ACM DBLP
3 ACM SIGMOD-SIGACT Symposium on Principles of Database System.. (context) - Sacca, Zaniolo - 1990
3 Computing and Engineering Sciences Division (context) - Hobbs, Stickel et al. - 1990
3 st International Workshop on Logic Programming and Nonmonoto.. (context) - Kakas, Mancarella - 1991
2 th European Workshop on Logics in AI (context) - Aravindan, Dung - 1994
2 A tractable set of abduction problems (context) - Eshghi - 1993
2 and abduction. Proc. 2nd International Symposium on Artifici.. (context) - Kakas, Mancarella - 1989
2 Casual theories for non-monotonic reasoning (context) - Geffner - 1990
2 Some proof procedures for computational first-order theories (context) - Casamayor, Decker - 1992
2 Abduction and constraint logic programming (context) - Maim - 1992 ACM DBLP
2 Basil Blanckwell Ltd (context) - Sperber, Wilson - 1986
2 Spring Symposium on Automated Abduction (context) - Konolige, theory - 1990
2 th International Joint Conference on Artificial Intelligence (context) - Poole - 1987
2 Foundations of Knowledge Representation and Reasoning (context) - Kakas - 1992 ACM DBLP
1 Contradiction in logic programs: when avoidance equal remova.. (context) - Alferes, Pereira - 1993
1 Representing continuos change in the abductive event calculu.. (context) - Van Belleghem, Denecker et al. - 1994
1 th Symposium on Theoretical Aspects of Computing (context) - Eiter, Gottlob - 1993
1 Using defualt and causal reasoning in diagnosis (context) - Konolige - 1992
1 An abductive framework for generalised logic programs (context) - Brewka - 1993
1 To appear in What is a Logical System (context) - Kowalski - 1994
1 Logic Programming with Incomplete Information (context) - Teusink, Using - 1993
1 Technical Report Dipartimento di Informatica (context) - Kakas, Mancarella - 1993
1 Non-standard queries and answers (context) - Gabbay, Kempson et al. - 1994
1 A resolution principle for constrained logics (context) - Burchert - 1994 ACM DBLP
1 Springer Verlag lecture Notes on Computer Science (context) - Gabbay, Abduction et al. - 1991
1 Scheduling through abduction (context) - Kakas, Michael - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html): More
Executing Suspended Logic Programs - Kowalski, Toni, Wetzel (1998) (Correct)
Logic without Model Theory - Kowalski (1994) (Correct)
Logic without Model Theory - Kowalski (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC