Smodels: A System for Answer Set Programming
暂无分享,去创建一个
[1] Victor W. Marek,et al. Computing with Default Logic , 1999, Artif. Intell..
[2] Ilkka Niemelä,et al. Stable Model Semantics of Weight Constraint Rules , 1999, LPNMR.
[3] Ilkka Niemelä,et al. A Fixpoint Definition of Dynamic Constraint Satisfaction , 1999, CP.
[4] M. de Rijke,et al. Towards feature interaction via stable models , 1999 .
[5] Ilkka Niemelä,et al. DES: a Challenge Problem for Nonmonotonic Reasoning Systems , 2000, ArXiv.
[6] Tommi Syrjanen,et al. A Rule-Based Formal Model For Software Configuration , 1999 .
[7] Keijo Heljanko. Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets , 1999, Fundam. Informaticae.
[8] Ilkka Niemelä,et al. Developing a Declarative Rule Language for Applications in Product Configuration , 1999, PADL.
[9] Danny De Schreye,et al. Answer Set Planning , 1999 .
[10] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.
[11] Patrik Simons,et al. Extending the Stable Model Semantics with More Expressive Rules , 1999, LPNMR.
[12] Bernhard Nebel,et al. Encoding Planning Problems in Nonmonotonic Logic Programs , 1997, ECP.
[13] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[14] C. R. Ramakrishnan,et al. Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) , 1998, TACAS.