R. O'Keefe. Towards an algebra for constructing logic programs. In J. Cohen and J. Conery, editors, Proceedings of IEEE Symposium on Logic Programming, pages 152--160. IEEE Computer Society Press, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Differential Logic Programs: Semantics and.. - Bossi, Bugliesi.. (Correct)
Multi-paradigm Languages Supporting Multi-Agent Development - Amandi, Zunino, Iturregui (1999) (Correct)
Inheritance in Object Oriented Datalog: A Modular Logic.. - Afrati, Karali, Mitakos (1997) (Correct)
Observable Behaviors and Equivalences of Logic Programs - Gabbrielli, Levi, Meo (1992) (6 citations) (Correct)
Modular Logic Programming - Brogi, Mancarella, Pedreschi, Turini (1994) (13 citations) (Correct)
Implementing a Notion of Modules in the Logic Programming .. - Kwon, Nadathur, Wilson (1993) (2 citations) (Correct)
A Parameterised Module System for Constructing Typed Logic Programs - Hill (1993) (6 citations) (Correct)
Logic Modules for Communicating Distributed Agents - Zunino, Amandi (Correct)
A Logic Based Language for Parametric Inheritance - Jamil (2000) (Correct)
F1.059e+06>The Journal of Functional and Logic.. - Volume Article April (1999) (Correct)
Compositional Semantics for Unification-based Linguistic Formalisms - Wintner (Correct)
An efficient validation mechanism for Inductive Logic.. - Lallouet, Martin (1995) (Correct)
A Transformation System for Modular CLP Programs - Sandro Etalle (1995) (3 citations) (Correct)
A Modal Extension of Logic Programming: Modularity.. - Baldoni, Giordano.. (1995) (4 citations) (Correct)
Transformations of CLP Modules - Etalle, Gabbrielli (1995) (2 citations) (Correct)
Logic Program Modules for Interoperable Information Systems - Cremers, Lemke, Rohen (1994) (1 citation) (Correct)
Modularity In Logic Programming - Bugliesi, Lamma, Mello (1993) (54 citations) (Correct)
A Semantics for Modular General Logic Programs - Etalle (1998) (1 citation) (Correct)
A Comositional Semantics for Conditional Term Rewriting Systems - Alpuente, al. (Correct)
On the Correctness of the Replacement Operation for CLP Modules - Sandro Etalle (1996) (Correct)
A Compositional Semantics for Normal Open Programs - Etalle, Teusink (1996) (14 citations) (Correct)
Differential Logic Programs: Programming.. - Bossi, Bugliesi.. (Correct)
A Compositional Proof Method of Partial Correctness for.. - Ferrand, Lallouet (1995) (10 citations) (Correct)
Realizing Modularity in lamdaProlog - Nadathur, Tong (1997) (Correct)
Transactions and Updates in Deductive Databases - Montesi, Bertino, Martelli (1995) (Correct)
First 50 documents
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