Detection and exploitation of functional dependencies for model generation
暂无分享,去创建一个
[1] Peter Baumgartner,et al. Model Evolution with equality - Revised and implemented , 2012, J. Symb. Comput..
[2] Miroslaw Truszczynski,et al. The Second Answer Set Programming Competition , 2009, LPNMR.
[3] Eugenia Ternovska,et al. A logic of nonmonotone inductive definitions , 2008, TOCL.
[4] Philipp Rümmer,et al. A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic , 2008, LPAR.
[5] Martin Gebser,et al. Constraint Answer Set Solving , 2009, ICLP.
[6] Vladimir Lifschitz,et al. Logic Programs with Intensional Functions , 2012, KR.
[7] Pedro Cabalar. Functional answer set programming , 2011, Theory Pract. Log. Program..
[8] C. Peota. Novel approach. , 2011, Minnesota medicine.
[9] Marc Denecker,et al. Model Expansion in the Presence of Function Symbols Using Constraint Programming , 2013, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence.
[10] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[11] Peter J. Stuckey,et al. Semantics of Logic Programs with Aggregates , 1991, ISLP.
[12] Maurice Bruynooghe,et al. Constraint Propagation for First-Order Logic and Inductive Definitions , 2013, TOCL.
[13] Ilkka Niemelä. Answer Set Programming: A Declarative Approach to Solving Search Problems , 2006, JELIA.
[14] Torsten Schaub,et al. ASP modulo CSP: The clingcon system , 2012, Theory and Practice of Logic Programming.
[15] Peter J. Stuckey,et al. The Design of the Zinc Modelling Language , 2008, Constraints.
[16] Giovambattista Ianni,et al. The Answer Set Programming Competition , 2012, AI Mag..
[17] Marcello Balduccini,et al. A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions , 2012, Correct Reasoning.
[18] Giovambattista Ianni,et al. The third open answer set programming competition , 2012, Theory and Practice of Logic Programming.
[19] Allen Van Gelder,et al. The Alternating Fixpoint of Logic Programs with Negation , 1993, J. Comput. Syst. Sci..
[20] Pedro Cabalar,et al. Setting the stage for ASP functions , 2013 .
[21] Marcello Balduccini,et al. Industrial-Size Scheduling with ASP+CP , 2011, LPNMR.
[22] Yuliya Lierler,et al. On the Relation of Constraint Answer Set Programming Languages and Algorithms , 2012, AAAI.
[23] Joohyung Lee,et al. Stable Models of Formulas with Intensional Functions , 2012, KR.
[24] W. W. Armstrong,et al. Dependency Structures of Data Base Relationships , 1974, IFIP Congress.
[25] Fangzhen Lin,et al. Answer Set Programming with Functions , 2008, KR.
[26] Krzysztof R. Apt,et al. Principles of constraint programming , 2003 .
[27] Ilkka Niemelä,et al. Computing Stable Models via Reductions to Difference Logic , 2009, LPNMR.
[28] Sheila A. McIlraith,et al. Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 , 2012, KR.