The SCEAS System
Navigation Menu

Conferences in DBLP

International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (lopstr)
1994 (conf/lopstr/1994)

  1. David A. Basin
    Logic Frameworks for Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:1-16 [Conf]
  2. N. Bensaou, Irène Guessarian
    An Extended Transformation System for CLP Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:17-35 [Conf]
  3. Dmitri Boulanger, Maurice Bruynooghe
    Using Call/Exit Analysis for Logic Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:36-50 [Conf]
  4. J. Cook, John P. Gallagher
    A Transformation System for Definite Programs Based on Termination Analysis. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:51-68 [Conf]
  5. Pierre Flener, Lubos Popelínsky
    On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:69-87 [Conf]
  6. David Gilbert, Christopher J. Hogger, Jirí Zlatuska
    Transforming Specifications of Observable Behaviour into Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:88-103 [Conf]
  7. Kung-Kiu Lau, Mario Ornaghi
    On Specification Frameworks and Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:104-121 [Conf]
  8. Michael Leuschel
    Partial Evaluation of the "Real Thing". [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:122-137 [Conf]
  9. Emmanuil I. Marakakis, John P. Gallagher
    Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:138-153 [Conf]
  10. Sophie Renault
    Generalizing Extended Execution for Normal Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:154-169 [Conf]
  11. Chiaki Sakama, Hirohisa Seki
    Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:170-182 [Conf]
  12. Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani
    Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:183-198 [Conf]
  13. Christine Solnon, Michel Rueher
    Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:199-214 [Conf]
  14. Paul Tarau, Verónica Dahl
    Logic Programming and Logic Grammars with First-Order Continuations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:215-230 [Conf]
  15. Geraint A. Wiggins
    Improving the Whelk System: A Type-Theoretic Reconstruction. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:231-247 [Conf]
  16. Frank van Harmelen
    A Model of Costs and Benefits of Meta-Level Computation. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:248-261 [Conf]
  17. Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua
    A Basis for a Multi-Level Meta-Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:262-275 [Conf]
  18. Marion Mircheva
    Logic Programs with Tests. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:276-292 [Conf]
  19. Barbara Dunin-Keplicz
    An Architecture with Multiple Meta-Levels for the Development of Correct Programs. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:293-310 [Conf]
  20. Annalisa Bossi, Sandro Etalle
    More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:311-331 [Conf]
  21. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Formal Semantics of Temporal Epistemic Reflection. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:332-352 [Conf]
  22. Jan Treur
    Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:353-376 [Conf]
  23. Antonio Brogi, Simone Contiero
    Gödel as a Meta-Language for Composing Logic Programs. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:377-394 [Conf]
  24. Patricia M. Hill
    A Module System for Meta-Programming. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:395-409 [Conf]
  25. Giuseppe Attardi, Maria Simi
    Building Proofs in Context. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:410-424 [Conf]
  26. Fausto Giunchiglia, Alessandro Cimatti
    Introspective Metatheoretic Reasoning. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:425-439 [Conf]
  27. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Abstract Debugging of Logic Program. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:440-450 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002