Problem solving in ID-logic with aggregates: some experiments
暂无分享,去创建一个
[1] Antonis C. Kakas,et al. Integrating Abductive and Constraint Logic Programming , 1995 .
[2] Marc Denecker,et al. Extending Classical Logic with Inductive Definitions , 2000, Computational Logic.
[3] Danny De Schreye,et al. Scheduling by ''abductive execution'' of a classical logic specification , 1997 .
[4] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[5] Mats Carlsson,et al. An Open-Ended Finite Domain Constraint Solver , 1997, PLILP.
[6] Danny De Schreye,et al. SLDNFA: An Abductive Procedure for Abductive Logic Programs , 1998, J. Log. Program..
[7] Marc Denecker,et al. The Well-Founded Semantics Is the Principle of Inductive Definition , 1998, JELIA.
[8] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[9] Bert Van Nuffelen,et al. Experiments for integration CLP and abduction , 1999 .
[10] Peter Gordon,et al. Solitaire Battleships: 108 Challenging Logic Puzzles , 1998 .
[11] Peter J. Stuckey,et al. Semantics of Logic Programs with Aggregates , 1991, ISLP.
[12] Danny De Schreye,et al. SLDNFA: An Abductive Procedure for Normal Abductive Programs , 1992, JICSLP.
[13] Marc Denecker,et al. A Terminological Interpretation of (Abductive) Logic Programming , 1995, LPNMR.
[14] Gerda Janssens,et al. Prescriptive type inference as an application of abduction , 1999 .
[15] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.
[16] Victor W. Marek,et al. Fixpoint 3-Valued Semantics for Autoepistemic Logic , 1998, AAAI/IAAI.
[17] Kenneth A. Ross,et al. Monotonic aggregation in deductive databases , 1992, J. Comput. Syst. Sci..
[18] Paolo Mancarella,et al. Abductive Logic Programming , 1992, LPNMR.
[19] Antonis C. Kakas,et al. ACLP: Abductive Constraint Logic Programming , 2000, J. Log. Program..
[20] Allen Van Gelder,et al. The well-founded semantics of aggregation , 1992, PODS.