![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
3. META 1992: Uppsala, Sweden
- 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
Invited Papers
- Peter Gärdenfors:
Belief Revision: A Vade-Mecum. 1-10 - Luis Fariñas del Cerro, Andreas Herzig:
Metaprogramming Through Intensional Deduction: Some Examples. 11-25 - Kurt Konolige:
An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming. 26-48
Advanced Tutorials
- Henryk Jan Komorowski
:
An Introduction to Partial Deduction. 49-69 - Danny De Schreye
, Kristof Verschaetse:
Tutorial on Termination of Logic Programs. 70-88
Languages and Applications I
- Frank van Harmelen
:
Definable Naming Relations in Meta-level Systems. 89-104 - Antonio Brogi
, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
Meta for Modularising Logic Programming. 105-119 - Saumya K. Debray:
Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives. 120-134 - Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone:
Reflective Agents in Metalogic Programming. 135-147
Languages and Applications II
- Iliano Cervesato, Gianfranco Rossi:
Logic Meta-Programming Facilities in 'LOG. 148-161 - Reem Bahgat:
The Pandora Deadlock Handler Meta-Level Relation. 162-176 - Kerima Benkerimi, Patricia M. Hill:
Object-Oriented Programming in Gödel: An Experiment. 177-191
Logical Foundations
- Danny De Schreye
, Bern Martens:
A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation. 192-204 - Henning Christiansen
:
A Complete Resolution method for Logical Meta-Programming Languages. 205-219 - Piero A. Bonatti:
Model Theoretic Semantics for Demo. 220-234 - Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson:
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. 235-249
Transformation and Analysis I
- Geraint A. Wiggins:
Negation and Control on Automatically Generated Logic Programs. 250-264 - Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Transforming Normal Programs by Replacement. 265-279
Transformation and Analysis II
- Jesper Larsson Träff, Steven David Prestwich:
Meta-Programming for Reordering Literals in Deductive Databases. 280-293 - Maurice Bruynooghe, Gerda Janssens:
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. 294-307 - Frédéric Mesnard, Jean-Gabriel Ganascia:
CLP(Q) for Proving Interargument Relations. 308-320
Knowledge Representation
- Andreas Hamfelt, Åke Hansson:
Representation of Fragmentary Multilayered Knowledge. 321-335 - Jan Grabowski:
Metaprograms for Change Assumptions, Objects, and Inheritance. 336-351
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.