G. Levi. Models, Unfolding Rules and Fixpoint Semantics. In R. A. Kowalski and K. A. Bowen, editors, Proceedings of the Conference and Symposium on Logic Programming, pages 1649--1665, Seattle, 1988. ALP, IEEE, The MIT Press. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Modular Logic Programs over Finite Domains - Maurizio Gabbrielli Cwi (1993) (6 citations) (Correct)
Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (1 citation) (Correct)
The Unfolding Semantics for Constraint Logic - Programs Roberto Giacobazzi (Correct)
Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (1 citation) (Correct)
A Logical Semantics for Depth-First Prolog with Ground Negation - Andrews (1993) (6 citations) (Correct)
Compositional Analysis of Modular Logic Programs - Codish, Debray, Giacobazzi (1993) (27 citations) (Correct)
Oracle Semantics for Prolog - Roberto Barbuti (1992) (9 citations) (Correct)
Oracle Semantics for Prolog - Barbuti, Codish, al. (1992) (9 citations) (Correct)
Abductive Analysis of Modular Logic Programs - Giacobazzi (1994) (1 citation) (Correct)
Oracle Semantics for Prolog - Barbuti, Codish (1992) (9 citations) (Correct)
Modular Logic Programs over Finite Domains - Gabbrielli, Giacobazzi, Montesi (1993) (6 citations) (Correct)
Abductive Analysis of Modular Logic Programs - Roberto Giacobazzi (1994) (1 citation) (Correct)
Semantic Foundations of Concurrent Constraint Programming - Saraswat, Rinard, Panangaden (1991) (192 citations) (Correct)
Compositional Analysis of Modular Logic Programs - Codish, Debray, Giacobazzi (1993) (27 citations) (Correct)
Modular Class Analysis with DATALOG - Besson, Jensen, Spoto (2003) (6 citations) (Correct)
Oracle Semantics for Prolog - Roberto Barbuti Michael (1992) (9 citations) (Correct)
Analyzing Logic Programs Using "Prop"-Ositional Logic.. - Codish, Demoen (1997) (2 citations) (Correct)
Analyzing Logic Programs Using "Prop"-Ositional Logic.. - Codish, Demoen (1995) (2 citations) (Correct)
Modelling Prolog Control - Roberto Barbuti Michael (1992) (9 citations) Self-citation (Levi) (Correct)
Modelling Prolog Control - Barbuti, Codish, Giacobazzi, Levi (1992) (9 citations) Self-citation (Levi) (Correct)
Differential Logic Programming - Bossi, Bugliesi, Gabbrielli, Levi.. (1993) (9 citations) Self-citation (Levi) (Correct)
Modelling Prolog Control - Roberto Barbuti (1992) (9 citations) Self-citation (Levi) (Correct)
S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (7 citations) Self-citation (Levi) (Correct)
Modeling answer constraints in Constraint Logic Programs - Gabbrielli, Levi (1991) (28 citations) Self-citation (Levi) (Correct)
An OR-Compositional Semantics for Logic Programs - Bossi, GABBRIELLI, LEVI, MEO (1993) (2 citations) Self-citation (Levi) (Correct)
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