Computing stable models in parallel
暂无分享,去创建一个
Victor W. Marek | Miroslaw Truszczynski | Raphael A. Finkel | Neil C. A. Moore | R. Finkel | V. Marek | M. Truszczynski | Neil Moore
[1] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[2] Miroslaw Truszczynski,et al. DATALOG with Constraints - An Answer-Set Programming System , 2000, AAAI/IAAI.
[3] Vladimir Lifschitz,et al. Answer Set Planning (Abstract) , 1999, LPNMR.
[4] J. Spencer. Ramsey Theory , 1990 .
[5] Jack Minker,et al. Logic-Based Artificial Intelligence , 2000 .
[6] Brendan D. McKay,et al. R(4, 5) = 25 , 1995, J. Graph Theory.
[7] Vladimir Lifschitz,et al. Action Languages, Answer Sets, and Planning , 1999, The Logic Programming Paradigm.
[8] Joachim Lambek. What is a deductive system , 1994 .
[9] Gerald Pfeifer,et al. A Deductive System for Non-Monotonic Reasoning , 1997, LPNMR.
[10] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.
[11] Bart Selman,et al. Planning as Satisfiability , 1992, ECAI.
[12] Ramsey Theory,et al. Ramsey Theory , 2020, Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic.
[13] Ilkka Niemelä,et al. Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.
[14] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.
[15] Victor W. Marek,et al. The Logic Programming Paradigm: A 25-Year Perspective , 2011 .
[16] Enrico Pontelli. Experiments in Parallel Execution of Answer Set Programs , 2001, IPDPS.
[17] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.
[18] I. Niemelä,et al. Extending the Smodels system with cardinality and weight constraints , 2001 .
[19] Udi Manber,et al. DIB—a distributed implementation of backtracking , 1987, TOPL.
[20] P. Simons. Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics , 1997 .
[21] Tommi Syrjanen,et al. A Rule-Based Formal Model For Software Configuration , 1999 .
[22] Victor W. Marek,et al. The Logic Programming Paradigm , 1999, Artificial Intelligence.