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

Documents Related by Co-Citation

61 Directions for meta-programming – J Lloyd - 1988
255 The Gödel Programming Language – Patricia M Hill, John W Lloyd - 1994
115 Amalgamating language and metalanguage in logic programming – K Bowen, R Kowalski - 1982
154 Prolegomena to a theory of mechanized formal reasoning – R W Weyhrauch - 1980
11 Logic Meta-Programming Facilities in 'LOG – I. Cervesato, G.F. Rossi - 1992
149 Computational reflection – P Maes - 1987
28 A metalogic programming language – S Costantini, G A Lanzarone - 1989
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
148 KADS: A modelling approach to knowledge engineering – B Wielinga, G Schreiber, J Breuker - 1992
35 (ML)²: A formal language for KADS models of expertise – Frank Van Harmelen, John Balder - 1993
16 Meta-Level Inference Systems – F van Harmelen - 1991
959 Negation as failure – K L Clark - 1978
20 de Velde, editors. CommonKADS Library for Expertise Modelling Reusable Problem Solving Components – J Breuker, W V - 1994
61 Problem Solving Methods for Diagnosis – V R Benjamins - 1993
35 ML) 2 : a formal language for KADS models of expertise – F van Harmelen, J R Balder - 1992
9 Meta-Programming through a Truth Predicate – T Sato - 1992
8 A Basis for a Multilevel Metalogic Programming Language – Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua - 1994
8 Efficient and Complete Demo Predicates for Definite Clause Languages – H Christiansen - 1994
18 Model-based Diagnosis Preferences and Strategies Representation with Logic Meta-programming – Carlos V. Damásio, Wolfgang Nejdl, Luís M. Pereira, Michael Schroeder - 1995