Francesca Toni  Home/Search
Context Related
| lp.doc.ic.ac.uk/UserPages...gulp95.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 From: lp.doc.ic.ac.uk/Us...bibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper presents a soundness result for the Kakas-Mancarella proof procedure for abductive logic programming with respect to an argumentationtheoretic semantics. Furthermore, it discusses the relationship of the Kakas-Mancarella procedure and its semantics with other proof procedures and semantics for abductive logic programming. (Update)
Context of citations to this paper: More
.... by showing that minimal revised specifications can efficiently be computed using logic programming abductive decision procedures [44]. Finally, we have also explored the use of abduction for handling inconsistencies in requirements specifications using QC logic, a...
.... de ned in [8] and weakly complete for the 3 valued stable model semantics of [1] as well as the argumentation semantics de ned in [28]. 2.3 Abductive Logic based multi agent system: the ALIAS architecture The agent metaphor is widely used in distributed arti cial...
Cited by: More
Abduction in Logic Programming - Denecker, Kakas (Correct)
Using Abductive Logic Agents for Legal Justification - Ciampolini, Torroni (2002) (Correct)
An Abductive Approach for Analysing Event-Based.. - Russo, Miller.. (2001) (Correct)
Similar documents (at the sentence level):
72.6%: A semantics for the Kakas-Mancarella procedure for abductive logic .. - Toni (1995) (Correct)
Active bibliography (related documents): More All
0.3: An Argumentation-Theoretic Approach to Logic Program.. - Toni, Kowalski (1996) (Correct)
0.2: The Role of Abduction in Logic Programming - Kakas, Kowalski, Toni (1998) (Correct)
0.2: Argument and Reconciliation - Kowalski, Toni (1994) (Correct)
Similar documents based on text: More All
0.5: Argumentation-Based Abduction in Disjunctive Logic Programming - Wang (2000) (Correct)
0.4: Abduction in Logic Programming: A New Definition and an.. - Lin, You (2002) (Correct)
0.3: The CIFF Proof Procedure for Abductive Logic.. - Endriss.. (2004) (Correct)
Related documents from co-citation: More All
3: Generalised stable models: a semantics for abduction (context) - Kakas, Mancarella - 1990
2: Theorist: A Logical Reasoning System for Defaults and Diagnosis (context) - Poole, Goebel et al. - 1987
2: A Logical Framework for Default Reasoning (context) - Poole - 1988
BibTeX entry: (Update)
Toni, F. (1995). A semantics for the Kakas-Mancarella procedure for abductive logic programming. Proceedings of the logic programming workshop GULP'95, pp. 231-242 http://citeseer.ist.psu.edu/toni95semantics.html More
@inproceedings{ toni95semantics,
author = "F. Toni",
title = "A semantics for the Kakas-Mancarella procedure for abductive logic programming",
booktitle = "Proceedings of the logic programming workshop GULP'95",
pages = "231--242",
year = "1995",
url = "citeseer.ist.psu.edu/toni95semantics.html" }
Citations (may not include all citations):212 Abductive logic programming - Kakas, Mancarella - 1990
212 Abductive logic programming - Kakas, Kowalski et al. - 1993
159 the acceptability of arguments and its fundamental role in n.. - Dung - 1993
117 Abduction compared with negation by failure (context) - Eshghi, Kowalski - 1989
50 An assumption-based framework for non-monotonic reasoning - Bondarenko, Toni et al. - 1993
32 argumentationtheoretic framework for default reasoning (context) - Bondarenko, Dung et al. - 1995
29 Negation as hypothesis: an abductive foundation for logic pr.. (context) - Dung - 1991
26 Generalised stable models: a semantics for abduction (context) - Kakas, Mancarella - 1990
9 Abductive logic programming (context) - Toni - 1995
7 Reduction of abductive logic programs to normal logic progra.. - Toni, Kowalski - 1995
Documents on the same site (http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/bibliography.html): More
Active Behaviour in Deductive Databases - Sadri, Toni (1996) (Correct)
Chain Queries Expressible by Linear Datalog Programs - Afrati (1997) (Correct)
Argument and Reconciliation - Kowalski, Toni (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