A. C. Kakas, R. A. Kowalski, and F. Toni, "Abductive Logic Programming, " Journal of Logic and Computation, vol. 2, no. 6, pp. 719--770, 1993. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (1 citation) (Correct)
Agents via Mixed-mode Computation in Linear Logic - Harland, Winikoff (2004) (1 citation) (Correct)
Temporal Reasoning with i-Abduction - Denecker, Van Belleghem (Correct)
Flexible Query-Answering Systems Modelled in Metalogic.. - Andreasen, Christiansen (Correct)
Logics for Emerging Applications of Databases - Chomicki, Saake, van der Meyden (2003) (Correct)
On Philosophical Incidences of Logic Programming - Pereira (2001) (Correct)
The Diagnosis Frontend of the dlv System - Eiter, Faber, Leone, Pfeifer (1999) (10 citations) (Correct)
The Diagnosis Frontend of the dlv System - Eiter, Faber, Leone, Pfeifer (1999) (10 citations) (Correct)
Argumentation-Based Abduction in Disjunctive Logic Programming - Wang (2000) (Correct)
The Role of Abductive Reasoning within the Process of Belief.. - Pagnucco (1996) (12 citations) (Correct)
What is in a model? Epistemological ambiguity of Logic Programming - Denecker (Correct)
Security Proofs of Cryptographic Protocols - Jencusova (2002) (Correct)
Abduction with Penalization in Logic programming - Ianni, Leone, al. (2001) (Correct)
Metareasoning Agents For Query-Answering Systems - Barklund, Dell'Acqua.. (Correct)
Rambling Abductive Agents in ALIAS - Ciampolini, Lamma, Mello, Torroni (Correct)
Protocol Specification and Verification by Using.. - Chesani.. (2005) (Correct)
Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2004) (Correct)
Multistrategy Operators for Relational Learning.. - Esposito.. (2006) (Correct)
Automatic Induction of Abduction and Abstraction.. - Ferilli, Basile.. (2005) (Correct)
Towards Program Synthesis From A Small Example Set - Lubo Popelnsk Masaryk (1994) (1 citation) (Correct)
Defeasible Logic Programming - An Argumentative Approach - Garcia, Simari (2003) (2 citations) (Correct)
Ordered Programs as Abductive Systems - Van Nieuwenborgh, Vermeir (2003) (Correct)
Order and Negation as Failure - Van Nieuwenborgh, Vermeir (2003) (Correct)
A Logic Based Approach to Interaction Design in.. - Alberti.. (2004) (1 citation) (Correct)
Interpreting Abduction in CLP - Mello (2003) (Correct)
Abduction Over 3-Valued Extended Logic - Programs Carlos Viegas (Correct)
What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
The Implementation of a System for Generation and.. - Alberti, Chesani (2004) (Correct)
On the Indiscernibility of Individuals in Logic Programming - Eiter, Gottlob, Leone (1996) (Correct)
Learning Qualitative Models for Application to Scientific.. - Garrett, Coghill, King (2001) (Correct)
Lógica y Razonamiento: El Caso de la Lógica Abductiva - Aliseda (2000) (Correct)
Creative Logic Programming - Colton (2003) (1 citation) (Correct)
Computational Logic in Multi-Agent Systems - Dix, Leite, (eds.) (2002) (Correct)
On the Indiscernibility of Individuals in Logic Programming - Eiter, Gottlob, Leone (1997) (Correct)
Semantic Web in the Context Broker Architecture - Harry Chen Tim (7 citations) (Correct)
Hybrid Argumentation Systems for Structured News Reports - Hunter (2001) (2 citations) (Correct)
The Role of Abductive Reasoning within the Process of Belief.. - Pagnucco (1996) (12 citations) (Correct)
An Implementation for Abductive Logic Agents - Ciampolini, Lamma, Mello.. (1999) (2 citations) (Correct)
PROSOCS: a platform for programming software agents in - Computational Logic Kostas Self-citation (Kakas) (Correct)
PROSOCS: a platform for programming software agents in - Kostas (2004) Self-citation (Kakas) (Correct)
Abductive Logic Programming with CIFF.. - Endriss.. (2004) Self-citation (Mancarella) (Correct)
Argumentation-Theoretic Proof Procedures for Default Reasoning - Dung, Kowalski, Toni (2003) (1 citation) Self-citation (Kowalski Toni) (Correct)
Ai Miei Genitori Ii - Acknowledgements First Would Self-citation (Kakas) (Correct)
Abduction in Logic Programming - Denecker, Kakas Self-citation (Kakas) (Correct)
A-System: Problem Solving through Abduction - Kakas, Van Nuffelen, Denecker (2001) (5 citations) Self-citation (Denecker Kakas) (Correct)
Repairing Inconsistent Databases: A.. - Arieli, Denecker, .. (2 citations) Self-citation (Denecker) (Correct)
Coherent Composition of Distributed.. - Arieli, Van.. (2001) Self-citation (Denecker) (Correct)
A Simple Declarative Language For Describing Narratives With.. - Kakas, Miller (1997) (27 citations) Self-citation (Kakas) (Correct)
Viable Non-monotonic Applications - Antonis Kakas Department (1996) Self-citation (Kakas) (Correct)
Abduction in Logic Programming - Kakas, Denecker (2001) (1 citation) Self-citation (Kakas) (Correct)
First 50 documents Next 50
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