The SCEAS System
Navigation Menu

Conferences in DBLP

International Workshop on Meta-Programming in Logic (META) (meta)
1992 (conf/meta/1992)

  1. Peter Gärdenfors
    Belief Revision: A Vade-Mecum. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:1-10 [Conf]
  2. Luis Fariñas del Cerro, Andreas Herzig
    Metaprogramming Through Intensional Deduction: Some Examples. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:11-25 [Conf]
  3. Kurt Konolige
    An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:26-48 [Conf]
  4. Henryk Jan Komorowski
    An Introduction to Partial Deduction. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:49-69 [Conf]
  5. Danny De Schreye, Kristof Verschaetse
    Tutorial on Termination of Logic Programs. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:70-88 [Conf]
  6. Frank van Harmelen
    Definable Naming Relations in Meta-level Systems. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:89-104 [Conf]
  7. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Meta for Modularising Logic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:105-119 [Conf]
  8. Saumya K. Debray
    Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:120-134 [Conf]
  9. Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
    Reflective Agents in Metalogic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:135-147 [Conf]
  10. Iliano Cervesato, Gianfranco Rossi
    Logic Meta-Programming Facilities in 'LOG. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:148-161 [Conf]
  11. Reem Bahgat
    The Pandora Deadlock Handler Meta-Level Relation. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:162-176 [Conf]
  12. Kerima Benkerimi, Patricia M. Hill
    Object-Oriented Programming in Gödel: An Experiment. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:177-191 [Conf]
  13. Danny De Schreye, Bern Martens
    A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:192-204 [Conf]
  14. Henning Christiansen
    A Complete Resolution method for Logical Meta-Programming Languages. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:205-219 [Conf]
  15. Piero A. Bonatti
    Model Theoretic Semantics for Demo. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:220-234 [Conf]
  16. Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson
    Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:235-249 [Conf]
  17. Geraint A. Wiggins
    Negation and Control on Automatically Generated Logic Programs. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:250-264 [Conf]
  18. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
    Transforming Normal Programs by Replacement. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:265-279 [Conf]
  19. Jesper Larsson Träff, Steven David Prestwich
    Meta-Programming for Reordering Literals in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:280-293 [Conf]
  20. Maurice Bruynooghe, Gerda Janssens
    Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:294-307 [Conf]
  21. Frédéric Mesnard, Jean-Gabriel Ganascia
    CLP(Q) for Proving Interargument Relations. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:308-320 [Conf]
  22. Andreas Hamfelt, Åke Hansson
    Representation of Fragmentary Multilayered Knowledge. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:321-335 [Conf]
  23. Jan Grabowski
    Metaprograms for Change Assumptions, Objects, and Inheritance. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:336-351 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002