Antonis Kakas  Home/Search
Context Related
| cs.ucy.ac.cy/aclp/nmr2000.ps 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: cs.ucy.ac.cy/aclp/aclp_papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ACLP is a system which combines abductive reasoning and constraint solving by integrating the frameworks of Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). It forms a general highlevel knowledge representation environment for abductive problems in Artificial Intelligence and other areas. In ACLP, the task of abduction is supported and enhanced by its non-trivial integration with constraint solving facilitating its application to complex problems. The ACLP... (Update)
Context of citations to this paper: More
...logic programming systems are in development and have been used in recent experiments and initial applications. 13 The ACLP system [52, 42], developed at the University of Cyprus, implements the ACLP framework of ALP for a restricted sub language of the full ACLP...
.... is not strictly bound to the KM proof procedure: the same high level features of the system could exploit di erent abduction algorithms ([7, 13]. In this context, local means performed within the agent that demonstrates the query. 8 plus all negated literals. The two agents...
Cited by: More
Abduction in Logic Programming - Denecker, Kakas (Correct)
Distributed Medical Diagnosis with Abductive Logic Agents - Ciampolini, Mello, Storari (Correct)
Using Abductive Logic Agents for Legal Justification - Ciampolini, Torroni (2002) (Correct)
Active bibliography (related documents): More All
0.4: Extending Constraint Logic Programming with Open Functions - Pelov, Bruynooghe (2000) (Correct)
0.4: Combining Abductive Reasoning and Inductive Learning .. - Garcez, Russo.. (2003) (Correct)
0.3: Logic Programming Approaches for Representing and Solving .. - Pelov, De Mot, Denecker (2000) (Correct)
Similar documents based on text: More All
2.1: ACLP: Abductive Constraint Logic Programming - Kakas, Michael, Mourlas (2000) (Correct)
0.8: A-system: Declarative Programming with Abduction - Van Nuffelen, Kakas (2001) (Correct)
0.8: ACLP: Flexible Solutions to Complex Problems - Kakas, Mourlas (1997) (Correct)
Related documents from co-citation: More All
4: Representing Incomplete Knowledge in Abductive Logic Programming - Denecker, de Schreye - 1993
4: A Query Evaluation Method for Abductive Logic Programming (context) - Satoh, Iwayama - 1992
4: Theorist: A Logical Reasoning System for Defaults and Diagnosis (context) - Poole, Goebel et al. - 1987
BibTeX entry: (Update)
A. C. Kakas. ACLP: Integrating Abduction and Constraint Solving. In Proceedings of NMR http://citeseer.ist.psu.edu/article/kakas00aclp.html More
@article{ kakas00aclp,
author = "Antonis C. Kakas and A. Michael and C. Mourlas",
title = "{ACLP}: Abductive Constraint Logic Programming",
journal = "Journal of Logic Programming",
volume = "44",
number = "1-3",
pages = "129-177",
year = "2000",
url = "citeseer.ist.psu.edu/article/kakas00aclp.html" }
Citations (may not include all citations):373 Constraint logic programming: A survey - Jaffar, Maher - 1998
117 Abduction compared with Negation by Failure (context) - Eshghi, Kowalski - 1989
66 The role of abduction in logic programming - Kakas, Kowalski et al. - 1998
66 Theory and practice of constraint handling rules - Fruhwirth - 1998
37 Integrating abductive and constraint logic programming (context) - Kakas, Michael - 1995
31 Applications of abduction: Knowledgelevel modeling - Menzies - 1996
15 Aclp: Flexible solutions to complex problems - Kakas, Mourlas - 1997
5 Aclp: a case for non-monotonic reasoning - Kakas, Michael et al. - 1998
4 Semantic integration of disparate information sources over t.. (context) - Bressan, Goh - 1997
3 A comparison of logic programming approaches for representat.. (context) - Pelov, Mot et al. - 2000
3 An abductive approach for handling inconsistencies in scr sp.. (context) - Russo, Miller et al. - 1999
3 Air-crew scheduling through abduction - Kakas, Michael - 1999
1 Optimization Programming Language (context) - Hentenryck - 1999
1 Improving optical music recognition by means of abductive co.. - Ferrand, Leite et al. - 1999
Documents on the same site (http://www.cs.ucy.ac.cy/aclp/aclp_papers.html):
ACLP: Abductive Constraint Logic Programming - Kakas, Michael, Mourlas (2000) (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