Constraint Propagation for Extended First-Order Logic
作者： Johan Wittocx , Maurice Bruynooghe , Marc Denecker
DOI:
关键词:
摘要:
参考文章(49)
Eugenia Ternovska, David G. Mitchell, A framework for representing and solving NP search problems national conference on artificial intelligence. pp. 430- 435 ,(2005)
Eugenia Ternovska, David G. Mitchell, Declarative programming of search problems with built-in arithmetic international joint conference on artificial intelligence. pp. 942- 947 ,(2009)
Anderson Faustino da Silva, Vítor Santos Costa, The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages Journal of Universal Computer Science. ,vol. 12, pp. 764- 787 ,(2006)
Ofer Arieli, Álvaro Cortés-Calabuig, Maurice Bruynooghe, Marc Denecker, Approximate query answering in locally closed databases national conference on artificial intelligence. pp. 397- 402 ,(2007)
Johan Wittocx, Marc Denecker, Maarten Mariën, Approximate reasoning in first-order logic theories principles of knowledge representation and reasoning. pp. 103- 111 ,(2008)
Maurice Bruynooghe, A practical framework for the abstract interpretation of logic programs Journal of Logic Programming. ,vol. 10, pp. 91- 124 ,(1991) , 10.1016/0743-1066(91)80001-T
P. G. Kolaitis, M. Y. Vardi, L. Libkin, J. Spencer, E. Grädel, M. Marx, Finite model theory and its applications. Texts in Theoretical Computer Science ,(2010)
H. Rasiowa, Introduction to Metamathematics ,(1952)
Álvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe, Representation of partial knowledge and query answering in locally complete databases international conference on logic programming. ,vol. 4246, pp. 407- 421 ,(2006) , 10.1007/11916277_28
Terrance Swift, An Engine for Computing Well-Founded Models international conference on logic programming. pp. 514- 518 ,(2009) , 10.1007/978-3-642-02846-5_45