Search results for "META"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Patricia M. Hill	A Module System for Meta-Programming.	META	1994	DBLP DOI BibTeX RDF
1	Marco Comini, Giorgio Levi, Giuliana Vitiello	Abstract Debugging of Logic Program.	META	1994	DBLP DOI BibTeX RDF
1	Fausto Giunchiglia, Alessandro Cimatti	Introspective Metatheoretic Reasoning.	META	1994	DBLP DOI BibTeX RDF
1	Frank van Harmelen	A Model of Costs and Benefits of Meta-Level Computation.	META	1994	DBLP DOI BibTeX RDF
1	Barbara Dunin-Keplicz	An Architecture with Multiple Meta-Levels for the Development of Correct Programs.	META	1994	DBLP DOI BibTeX RDF
1	Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua	A Basis for a Multi-Level Meta-Logic Programming Language.	META	1994	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Sandro Etalle	More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics.	META	1994	DBLP DOI BibTeX RDF
1	Giuseppe Attardi, Maria Simi	Building Proofs in Context.	META	1994	DBLP DOI BibTeX RDF
1	Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur	Formal Semantics of Temporal Epistemic Reflection.	META	1994	DBLP DOI BibTeX RDF
1	Jan Treur	Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning.	META	1994	DBLP DOI BibTeX RDF
1	Marion Mircheva	Logic Programs with Tests.	META	1994	DBLP DOI BibTeX RDF
1	Antonio Brogi, Simone Contiero	Gödel as a Meta-Language for Composing Logic Programs.	META	1994	DBLP DOI BibTeX RDF
1	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Meta for Modularising Logic Programming.	META	1992	DBLP DOI BibTeX RDF
1	Jan Grabowski	Metaprograms for Change Assumptions, Objects, and Inheritance.	META	1992	DBLP DOI BibTeX RDF
1	Andreas Hamfelt, Åke Hansson	Representation of Fragmentary Multilayered Knowledge.	META	1992	DBLP DOI BibTeX RDF
1	Alberto Pettorossi (eds.)	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings	META	1992	DBLP DOI BibTeX RDF
1	Jesper Larsson Träff, Steven David Prestwich	Meta-Programming for Reordering Literals in Deductive Databases.	META	1992	DBLP DOI BibTeX RDF
1	Peter Gärdenfors	Belief Revision: A Vade-Mecum.	META	1992	DBLP DOI BibTeX RDF
1	Frank van Harmelen	Definable Naming Relations in Meta-level Systems.	META	1992	DBLP DOI BibTeX RDF
1	Piero A. Bonatti	Model Theoretic Semantics for Demo.	META	1992	DBLP DOI BibTeX RDF
1	Frédéric Mesnard, Jean-Gabriel Ganascia	CLP(Q) for Proving Interargument Relations.	META	1992	DBLP DOI BibTeX RDF
1	Geraint A. Wiggins	Negation and Control on Automatically Generated Logic Programs.	META	1992	DBLP DOI BibTeX RDF
1	Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson	Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.	META	1992	DBLP DOI BibTeX RDF
1	Reem Bahgat	The Pandora Deadlock Handler Meta-Level Relation.	META	1992	DBLP DOI BibTeX RDF
1	Henning Christiansen 0001	A Complete Resolution method for Logical Meta-Programming Languages.	META	1992	DBLP DOI BibTeX RDF
1	Saumya K. Debray	Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives.	META	1992	DBLP DOI BibTeX RDF
1	Kerima Benkerimi, Patricia M. Hill	Object-Oriented Programming in Gödel: An Experiment.	META	1992	DBLP DOI BibTeX RDF
1	Luis Fariñas del Cerro, Andreas Herzig	Metaprogramming Through Intensional Deduction: Some Examples.	META	1992	DBLP DOI BibTeX RDF
1	Henryk Jan Komorowski	An Introduction to Partial Deduction.	META	1992	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Gianfranco Rossi	Logic Meta-Programming Facilities in 'LOG.	META	1992	DBLP DOI BibTeX RDF
1	Kurt Konolige	An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming.	META	1992	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Reflective Agents in Metalogic Programming.	META	1992	DBLP DOI BibTeX RDF
1	Danny De Schreye, Kristof Verschaetse	Tutorial on Termination of Logic Programs.	META	1992	DBLP DOI BibTeX RDF
1	Maurice Bruynooghe, Gerda Janssens	Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs.	META	1992	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Nicoletta Cocco, Sandro Etalle	Transforming Normal Programs by Replacement.	META	1992	DBLP DOI BibTeX RDF
1	Harvey Abramson, M. H. Rogers (eds.)	Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988.	META	1989	DBLP BibTeX RDF
1	Seiki Akama, Akira Ishikawa	Semantically Constrained Parsing and Logic Programming.	META	1988	DBLP BibTeX RDF
1	Albert Bruffaerts, Eric Henin	Negation as Failure: Proofs, Inference Rules and Meta-Interpreters.	META	1988	DBLP BibTeX RDF
1	Thom W. Frühwirth	Type Inference by Program Transformation and Partial Evaluation.	META	1988	DBLP BibTeX RDF
1	Francesca Rossi 0001, Ugo Montanari	Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.	META	1988	DBLP BibTeX RDF
1	Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali	Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.	META	1988	DBLP BibTeX RDF
1	Verónica Dahl, Pierre Massicotte	Processing Techniques for Dsicontinuous Grammars.	META	1988	DBLP BibTeX RDF
1	Jonas Barklund	What Is a Meta-Variable in Prolog?	META	1988	DBLP BibTeX RDF
1	Fausto Giunchiglia, Alan Smaill	Reflection in Constructive and Non-constructive Automated Reasoning.	META	1988	DBLP BibTeX RDF
1	Frank van Harmelen	A Classification of Meta-level Architectures.	META	1988	DBLP BibTeX RDF
1	John Hannan, Dale Miller 0001	A Meta-Logic for Functional Programming.	META	1988	DBLP BibTeX RDF
1	David Chan, Mark Wallace 0001	A Treatment of Negation during Partial Evaluation.	META	1988	DBLP BibTeX RDF
1	L. Ümit Yalçinalp, Leon Sterling	An Integrated Interpreter for Explaining Prolog's Successes and Failures.	META	1988	DBLP BibTeX RDF
1	Brian J. Ross	The Partial Evaluation of Imperative Programs Using Prolog.	META	1988	DBLP BibTeX RDF
1	John Staples, Peter J. Robinson 0001, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis	Qu-Prolog: An Extended Prolog for Meta Level Programming.	META	1988	DBLP BibTeX RDF
1	Paul J. Voda	The Logical Reconstruction of Cuts as One Solution Operators.	META	1988	DBLP BibTeX RDF
1	Howard A. Blair	Metalogic Programming and Direct Universal Computability.	META	1988	DBLP BibTeX RDF
1	Patricia M. Hill, John W. Lloyd	Analysis of Meta-Programs.	META	1988	DBLP BibTeX RDF
1	Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski	Algorithmic Debugging with Assertions.	META	1988	DBLP BibTeX RDF
1	Ilyas Cicekli	Design and Implementation of An Abstract MetaProlog Engine for MetaProlog.	META	1988	DBLP BibTeX RDF
1	Lynette Hirschman	A Meta-Rule Treatment for Englich Wh-Constructions.	META	1988	DBLP BibTeX RDF
1	V. S. Subrahmanian	A Simple Formulation of the Theory of Metalogic Programming.	META	1988	DBLP BibTeX RDF
1	Yue Jun Jiang, Nader Azarmi	Meta Logic Programming for Epistemic Notions.	META	1988	DBLP BibTeX RDF
1	Andrew Bowles, Paul Wilk	Tracing Requirements for Multi-Layered Meta-Programming.	META	1988	DBLP BibTeX RDF
1	Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper	Complete Sets of Frontiers in Logic-Based Program Transformation.	META	1988	DBLP BibTeX RDF
1	Danny De Schreye, Maurice Bruynooghe	The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation.	META	1988	DBLP BibTeX RDF
1	Paul Tarau, Michel Boyer	Prolog Meta-Programming with Soft Databases.	META	1988	DBLP BibTeX RDF
1	Michael Codish, John P. Gallagher, Ehud Shapiro	Using Safe Approximations of Fixed Points for Analysis of Logic Programs.	META	1988	DBLP BibTeX RDF
1	Stephen Owen	Issues in the Partial Evaluation of Meta-Interpreters.	META	1988	DBLP BibTeX RDF

Publications at "META"( http://dblp.L3S.de/Venues/META )