SLDNFA-system

The SLDNFA-system results from the LP+ project at the K.U.Leuven, which investigates logics and proof procedures for these logics for declarative knowledge representation. Within this project inductive definition logic (ID-logic) is used as representation logic. Different solvers are being developed for this logic and one of these is SLDNFA. A prototype of the system is available and used for investigating how to solve efficiently problems represented in ID-logic.

[1]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[2]  Maurice Bruynooghe,et al.  A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems , 2000, ArXiv.

[3]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[4]  Victor W. Marek,et al.  Fixpoint 3-Valued Semantics for Autoepistemic Logic , 1998, AAAI/IAAI.

[5]  Marc Denecker,et al.  The Well-Founded Semantics Is the Principle of Inductive Definition , 1998, JELIA.

[6]  Bert Van Nuffelen,et al.  Experiments for integration CLP and abduction , 1999 .

[7]  Bert Van Nuffelen,et al.  Problem solving in ID-logic with aggregates: some experiments , 2000, arXiv.org.

[8]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[9]  Gerda Janssens,et al.  Prescriptive type inference as an application of abduction , 1999 .

[10]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Normal Abductive Programs , 1992, JICSLP.

[11]  Marc Denecker,et al.  Extending Classical Logic with Inductive Definitions , 2000, Computational Logic.

[12]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[13]  Marc Denecker,et al.  A Terminological Interpretation of (Abductive) Logic Programming , 1995, LPNMR.

[14]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[15]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Abductive Logic Programs , 1998, J. Log. Program..