Pushing Goal Derivation in DLP Computations
暂无分享,去创建一个
[1] Wolfgang Faber,et al. The Diagnosis Frontend of the dlv System , 1999, AI Commun..
[2] Gerald Pfeifer,et al. A Deductive System for Non-Monotonic Reasoning , 1997, LPNMR.
[3] Donald E. Knuth,et al. The Stanford GraphBase - a platform for combinatorial computing , 1993 .
[4] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.
[5] Vladimir Lifschitz,et al. Action Languages, Answer Sets, and Planning , 1999, The Logic Programming Paradigm.
[6] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.
[7] P. Simons. Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics , 1997 .
[8] Francesco Scarcello,et al. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation , 1997, Inf. Comput..
[9] Victor W. Marek,et al. The Logic Programming Paradigm: A 25-Year Perspective , 2011 .
[10] Gerald Pfeifer,et al. Progress Report on the Disjunctive Deductive Database System dlv , 1998, FQAS.
[11] Ilkka Niemelä,et al. Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.
[12] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[13] Esra Erdem,et al. Applications of Logic Programming to Planning: Computational Experiments , 1999 .
[14] Melvin Fitting,et al. A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..
[15] David Scott Warren,et al. Computation of Stable Models and Its Integration with Logical Query Processing , 1996, IEEE Trans. Knowl. Data Eng..