Stable Model Semantics of Weight Constraint Rules
暂无分享,去创建一个
[1] Luigi Palopoli,et al. NP-SPEC: an executable specification language for solving all problems in NP , 1999, Comput. Lang..
[2] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[3] Ilkka Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.
[4] Sergio Greco,et al. Dynamic Programming in Datalog with Aggregates , 1999, IEEE Trans. Knowl. Data Eng..
[5] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.
[6] Daniel Sabin,et al. Product Configuration Frameworks - A Survey , 1998, IEEE Intell. Syst..
[7] Francesco Buccafurri,et al. Strong and Weak Constraints in Disjunctive Datalog , 1997, LPNMR.
[8] Anil Nerode,et al. Hybrid Knowledge Bases , 1996, IEEE Trans. Knowl. Data Eng..
[9] V. S. Subrahmanian,et al. Stable Semantics for Probabilistic Deductive Databases , 1994, Inf. Comput..
[10] Patrik Simons,et al. Extending the Stable Model Semantics with More Expressive Rules , 1999, LPNMR.
[11] Ilkka Niemelä,et al. Developing a Declarative Rule Language for Applications in Product Configuration , 1999, PADL.
[12] Thomas Eiter,et al. Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..
[13] Ilkka Niemelä,et al. Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.