Definable Naming Relations in Meta-level Systems (1992)

Cached

Download Links

by Frank Van Harmelen
Venue:Proceedings of the Third Workshop on Meta-programming in Logic (META'92), volume 649 of Lecture Notes in Computer Science
Citations:13 - 5 self

Active Bibliography

4 Knowledge-level Reflection – Frank van Harmelen, Bob Wielinga, Bert Bredeweg, Guus Schreiber, Werner Karbach, Martin Reinders, Angi Voß, Hans Akkermans, Brigitte Bartsch­Spörl, Brigitte Bartsch-spsrl, Erik Vinkhuyzen, I Problem Statement - 1992
9 Meta-reasoning: a Survey – Stefania Costantini - 2002
22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
35 (ML)²: A formal language for KADS models of expertise – Frank Van Harmelen, John Balder - 1993
17 Metaprogramming in Logic – Jonas Barklund, Computer Science, Edited Allen Kent - 1994
1 Concurrent Metareasoning – Shahriar Pourazin, Ahmad Abdollahzadeh Barforoush
31 Reflection in logic, functional and object-oriented programming: a Short Comparative Study – François-Nicola Demers, Jacques Malenfant - 1995
12 Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics – Fausto Giunchiglia , Luciano Serafini, Alex Simpson - 1991
11 Logic Meta-Programming Facilities in 'LOG – I. Cervesato, G.F. Rossi - 1992
43 Meta-Programming in Logic Programming – P.M. Hill, J.G. Gallagher, P. M. Hill, J. Gallagher - 1994
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
163 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
4 Reflection Mechanisms for Combining Prolog Databases – Evelina Lamma, Paola Mello, Antonio Natali - 1991
3 Computational Reflection Via Mechanized Logical Deduction – A. Cimatti, P. Traverso, Mw Z. Manna, R. Waldinger, The Deductive, Synthesis Imperative Lisp - 1993
4 A reflective extension of ELAN – Hélène Kirchner, Pierre-etienne Moreau - 1996
23 Reflective Reasoning With and Between a Declarative Metatheory and the Implementation Code – Fausto Giunchiglia, Paolo Traverso - 1994
8 A Multi-context Architecture for Formalizing Complex Reasoning – E. Giunchiglia, P. Traverso, Istituto Trentino Di Cultura, Enrico Giunchiglia, Paolo Traverso - 1995
Lollipops taste of Vanilla too (extended abstract) – S. Margherita Ligure, Iliano Cervesato, Iliano Cervesato - 1994
2 On Knowledge, Strings, and Paradoxes – Manfred Kerber, Manfred Kerber - 1998