An Experimental CLP Platform for Integrity Constraints and Abduction
暂无分享,去创建一个
[1] Editors , 1986, Brain Research Bulletin.
[2] Paolo Mancarella,et al. Database Updates through Abduction , 1990, VLDB.
[3] José Júlio Alferes,et al. Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.
[4] Jorge Lobo,et al. Foundations of disjunctive logic programming , 1992, Logic Programming.
[5] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[6] Antonis C. Kakas,et al. Integrating Abductive and Constraint Logic Programming , 1995 .
[7] Hendrik Decker,et al. An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases , 1996, Joint International Conference and Symposium on Logic Programming.
[8] Slim Abdennadher,et al. Operational Semantics and Confluence of Constraint Propagation Rules , 1997, CP.
[9] Francesca Toni,et al. Executing Suspended Logic Programs , 1998, Fundam. Informaticae.
[10] Henning Christiansen,et al. Automated Reasoning with a Constraint-Based Metainterpreter , 1998, J. Log. Program..
[11] Francesca Toni,et al. Semantic Query Optimization through Abduction and Constraint Handling , 1998, FQAS.
[12] Slim Abdennadher,et al. Chr _ : a Flexible Query Language , 2022 .
[13] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[14] Henning Christiansen,et al. Integrity Constraints and Constraint Logic Programming , 1999 .
[15] Gabriel M. Kuper,et al. Constraint Databases , 2010, Springer Berlin Heidelberg.
[16] Thom W. Frühwirth,et al. A prolog constraint handling rules compiler and runtime system , 2000, Appl. Artif. Intell..
[17] Henning Christiansen,et al. Symbolic constraints for meta-logic programming , 2000, Appl. Artif. Intell..
[18] J. van Leeuwen,et al. Logic Programming , 2002, Lecture Notes in Computer Science.