share record
persistent URL:
Piero A. Bonatti : Model Theoretic Semantics for Demo. META 1992 : 220-234 share record
persistent URL:
Annalisa Bossi , Nicoletta Cocco , Sandro Etalle : Transforming Normal Programs by Replacement. META 1992 : 265-279 share record
persistent URL:
Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini : Meta for Modularising Logic Programming. META 1992 : 105-119 share record
persistent URL:
Maurice Bruynooghe , Gerda Janssens : Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. META 1992 : 294-307 share record
persistent URL:
Luis Fariñas del Cerro , Andreas Herzig : Metaprogramming Through Intensional Deduction: Some Examples. META 1992 : 11-25 share record
persistent URL:
Iliano Cervesato , Gianfranco Rossi : Logic Meta-Programming Facilities in 'LOG. META 1992 : 148-161 share record
persistent URL:
Henning Christiansen : A Complete Resolution method for Logical Meta-Programming Languages. META 1992 : 205-219 share record
persistent URL:
Stefania Costantini , Pierangelo Dell'Acqua , Gaetano Aurelio Lanzarone : Reflective Agents in Metalogic Programming. META 1992 : 135-147 share record
persistent URL:
Saumya K. Debray : Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives. META 1992 : 120-134 share record
persistent URL:
Peter Gärdenfors : Belief Revision: A Vade-Mecum. META 1992 : 1-10 export record
dblp key:
conf/meta/GiunchigliaSS92 share record
persistent URL:
Fausto Giunchiglia , Luciano Serafini , Alex K. Simpson : Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. META 1992 : 235-249 share record
persistent URL:
Jan Grabowski : Metaprograms for Change Assumptions, Objects, and Inheritance. META 1992 : 336-351 share record
persistent URL:
Andreas Hamfelt , Åke Hansson : Representation of Fragmentary Multilayered Knowledge. META 1992 : 321-335 share record
persistent URL:
Frank van Harmelen : Definable Naming Relations in Meta-level Systems. META 1992 : 89-104 share record
persistent URL:
Henryk Jan Komorowski : An Introduction to Partial Deduction. META 1992 : 49-69 share record
persistent URL:
Kurt Konolige : An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming. META 1992 : 26-48 share record
persistent URL:
Frédéric Mesnard , Jean-Gabriel Ganascia : CLP(Q) for Proving Interargument Relations. META 1992 : 308-320 share record
persistent URL:
Danny De Schreye , Bern Martens : A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation. META 1992 : 192-204 share record
persistent URL:
Danny De Schreye , Kristof Verschaetse : Tutorial on Termination of Logic Programs. META 1992 : 70-88 share record
persistent URL:
Jesper Larsson Träff , Steven David Prestwich : Meta-Programming for Reordering Literals in Deductive Databases. META 1992 : 280-293 share record
persistent URL:
Geraint A. Wiggins : Negation and Control on Automatically Generated Logic Programs. META 1992 : 250-264 share record
persistent URL:
Alberto Pettorossi : Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Lecture Notes in Computer Science 649, Springer 1992 , ISBN 3-540-56282-6 [contents] 1989 share record
persistent URL:
Harvey Abramson , M. H. Rogers : Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988. MIT Press 1989 , ISBN 0-262-51047-2 [contents] 1988 share record
persistent URL:
Seiki Akama , Akira Ishikawa : Semantically Constrained Parsing and Logic Programming. META 1988 : 157-168 share record
persistent URL:
Jonas Barklund : What Is a Meta-Variable in Prolog? META 1988 : 383-398 share record
persistent URL:
Howard A. Blair : Metalogic Programming and Direct Universal Computability. META 1988 : 53-63 share record
persistent URL:
Andrew Bowles , Paul Wilk : Tracing Requirements for Multi-Layered Meta-Programming. META 1988 : 205-215 share record
persistent URL:
Albert Bruffaerts , Eric Henin : Negation as Failure: Proofs, Inference Rules and Meta-Interpreters. META 1988 : 169-190 share record
persistent URL:
Marco Cavalieri , Evelina Lamma , Paola Mello , Antonio Natali : Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. META 1988 : 399-415 share record
persistent URL:
David Chan , Mark Wallace : A Treatment of Negation during Partial Evaluation. META 1988 : 299-317