Michael J. Maher. Equivalences of logic programs. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 627--658. Morgan Kaufmann, Los Altos, CA, 1988. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2002) (1 citation) (Correct)
Correction of Functional Logic Programs - Alpuente, Ballis, Correa, Falaschi (2003) (Correct)
A Debugging Scheme for Functional Logic Programs - Alpuente (2002) (1 citation) (Correct)
Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
Explanation-Based Interpretation of Open-Textured Concepts .. - Costantini, Lanzarone (Correct)
Declarative Interpretations Reconsidered - Apt, Gabbrielli (1994) (7 citations) (Correct)
Observable Behaviors and Equivalences of Logic Programs - Gabbrielli, Levi, Meo (1992) (6 citations) (Correct)
On Normal Forms and Equivalence for Logic Programs - Harland (1992) (Correct)
Structural Properties of Logic Programs - Harland (Correct)
A Note on the Relationships between Logic Programs and Neural.. - Hitzler, Seda (2000) (1 citation) (Correct)
Ontology Learning as a Use-Case for Neural-Symbolic.. - Hitzler, Bader, Garcez (2005) (Correct)
On the Semantics of Logic Program Composition - Antonio Brogi Department (Correct)
An Algebraic Semantics of Prolog Control - Ross (1992) (1 citation) (Correct)
Constraint Logic Programming - Copyright Fran Cois (Correct)
A Hierarchy of Semantics for Normal Constraint Logic Programs - Francois Fages And (1996) (3 citations) (Correct)
Eliminating Disjunction from Propositional Logic.. - Eiter, Fink, Tompits, .. (2003) (Correct)
Simplifying Logic Programs under Uniform and Strong.. - Eiter, Fink, Tompits, al. (2004) (Correct)
Corollaries on the fixpoint completion: studying the stable.. - Hitzler (2004) (Correct)
Logic Programs, Iterated Function Systems, and Recurrent.. - Bader, Hitzler (Correct)
On Eliminating Disjunctions in Stable Logic Programming - Eiter (2003) (Correct)
Uniform Equivalence of Logic Programs under the Stable Model.. - Eiter, Fink (2003) (2 citations) (Correct)
A General Framework for Semantics-based Bottom-up.. - Barbuti, Giacobazzi.. (1993) (26 citations) (Correct)
Reasoning about Stable Models (and other Unstable Semantics) - Maher Self-citation (Maher) (Correct)
A CLP View of Logic Programming - Maher (1992) (8 citations) Self-citation (Maher) (Correct)
A Logic Programming View of CLP - Maher (1993) (49 citations) Self-citation (Maher) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC