Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) ⋆

by Oleg Kiselyov , William E. Byrd , Daniel P. Friedman , Chung-chieh Shan

Active Bibliography

11 Foundations of rule-based query answering – François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007
240 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
LOGIC PROGRAMS AND CARDINALITY CONSTRAINTS Theory and Practice – Tommi Syrjänen, Tommi Syrjänen, Teknillinen Korkeakoulu, C Tommi Syrjänen - 2009
5 Meta-Circular Abstract Interpretation in Prolog – Michael Codish, Harald Søndergaard
1 D.P.: From variadic functions to variadic relations: A miniKanren perspective – William E. Byrd, Daniel P. Friedman - 2006
8 Verification of Logic Programs – Dino Pedreschi, Salvatore Ruggieri - 1997
10 Proving existential termination of normal logic programs – Massimo Marchiori - 1996
1 A machine checked model of MGU axioms: applications of finite maps and functional induction – Sunil Kothari, James Caldwell - 2009
Logic Programming for Healthcare Informatics: an Informal Survey – Terrance Swift
2 On the Indiscernibility of Individuals in Logic Programming – Thomas Eiter, Georg Gottlob, Nicola Leone - 1997
66 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
1 Temporal Disjunctive Logic Programming – Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos - 1997
1 On the Complexity of Data Disjunctions – Thomas Eiter, Helmut Veith, Abteilung Fur Wissensbasierte Systeme - 1999
6 Extending Stratified Datalog to Capture Complexity Classes Ranging from P to QH – Sergio Greco, Domenico Saccà, Carlo Zaniolo - 2001
12 Heterogeneous Active Agents – Thomas Eiter, V. S. Subrahmanian - 1998
3 Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation – Nicola Leone , Francesco Scarcello, V. S. Subrahmanian - 2003
1 Learning SHIQ+log Rules for Ontology Evolution – Francesca A. Lisi, Floriana Esposito
Learning Semantic Web Rules: State of the Art and Directions of Research – Francesca A. Lisi, Floriana Esposito