dcs: An Implementation of DATALOG with Constraints
暂无分享,去创建一个
[1] Ilkka Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.
[2] Victor W. Marek,et al. The Logic Programming Paradigm: A 25-Year Perspective , 2011 .
[3] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[4] Jacques Carlier,et al. SAT versus UNSAT , 1993, Cliques, Coloring, and Satisfiability.
[5] Patrik Simons,et al. Extending the Stable Model Semantics with More Expressive Rules , 1999, LPNMR.