META - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 54 from 54

1992

The Pandora Deadlock Handler Meta-Level RelationReem Bahgat. meta 1992: 162-176

Object-Oriented Programming in Gödel: An ExperimentKerima Benkerimi, Patricia M. Hill. meta 1992: 177-191

Model Theoretic Semantics for DemoPiero A. Bonatti. meta 1992: 220-234

Transforming Normal Programs by ReplacementAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. meta 1992: 265-279

Meta for Modularising Logic ProgrammingAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. meta 1992: 105-119

Propagation: A New Operation in a Framework for Abstract Interpretation of Logic ProgramsMaurice Bruynooghe, Gerda Janssens. meta 1992: 294-307

Logic Meta-Programming Facilities in LOGIliano Cervesato, Gianfranco Rossi. meta 1992: 148-161

A Complete Resolution method for Logical Meta-Programming LanguagesHenning Christiansen. meta 1992: 205-219

Reflective Agents in Metalogic ProgrammingStefania Costantini, Pierangelo Dell Acqua, Gaetano Aurelio Lanzarone. meta 1992: 135-147

Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog PrimitivesSaumya K. Debray. meta 1992: 120-134

Metaprogramming Through Intensional Deduction: Some ExamplesLuis Fariñas del Cerro, Andreas Herzig. meta 1992: 11-25

Hierarchical Meta-Logics: Intuitions, Proof Theory and SemanticsFausto Giunchiglia, Luciano Serafini, Alex K. Simpson. meta 1992: 235-249

Metaprograms for Change Assumptions, Objects, and InheritanceJan Grabowski. meta 1992: 336-351

Belief Revision: A Vade-MecumPeter Gärdenfors. meta 1992: 1-10

Representation of Fragmentary Multilayered KnowledgeAndreas Hamfelt, Åke Hansson. meta 1992: 321-335

An Introduction to Partial DeductionHenryk Jan Komorowski. meta 1992: 49-69

An Autoepistemic Analysis of Metalevel Reasoning in Logic ProgrammingKurt Konolige. meta 1992: 26-48

CLP(Q) for Proving Interargument RelationsFrédéric Mesnard, Jean-Gabriel Ganascia. meta 1992: 308-320

Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, ProceedingsAlberto Pettorossi, editor, Volume 649 of Lecture Notes in Computer Science, Springer, 1992.

Tutorial on Termination of Logic ProgramsDanny De Schreye, Kristof Verschaetse. meta 1992: 70-88

A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of AmalgamationDanny De Schreye, Bern Martens. meta 1992: 192-204

Meta-Programming for Reordering Literals in Deductive DatabasesJesper Larsson Träff, Steven David Prestwich. meta 1992: 280-293

Definable Naming Relations in Meta-level SystemsFrank van Harmelen. meta 1992: 89-104

Negation and Control on Automatically Generated Logic ProgramsGeraint A. Wiggins. meta 1992: 250-264

1989

Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988Harvey Abramson, M. H. Rogers, editors, MIT Press, 1989.

1988

META1988.

Semantically Constrained Parsing and Logic ProgrammingSeiki Akama, Akira Ishikawa. meta 1988: 157-168

What Is a Meta-Variable in Prolog?Jonas Barklund. meta 1988: 383-398

Metalogic Programming and Direct Universal ComputabilityHoward A. Blair. meta 1988: 53-63

Tracing Requirements for Multi-Layered Meta-ProgrammingAndrew Bowles, Paul Wilk. meta 1988: 205-215

Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation TechniquesMarco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali. meta 1988: 399-415

A Treatment of Negation during Partial EvaluationDavid Chan, Mark Wallace. meta 1988: 299-317

Complete Sets of Frontiers in Logic-Based Program TransformationMantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper. meta 1988: 283-297

Design and Implementation of An Abstract MetaProlog Engine for MetaPrologIlyas Cicekli. meta 1988: 417-433

Using Safe Approximations of Fixed Points for Analysis of Logic ProgramsMichael Codish, John P. Gallagher, Ehud Y. Shapiro. meta 1988: 233-261

Processing Techniques for Dsicontinuous GrammarsVerónica Dahl, Pierre Massicotte. meta 1988: 141-156

Algorithmic Debugging with AssertionsWlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski. meta 1988: 501-521

Type Inference by Program Transformation and Partial EvaluationThom W. Frühwirth. meta 1988: 263-282

Reflection in Constructive and Non-constructive Automated ReasoningFausto Giunchiglia, Alan Smaill. meta 1988: 123-140

A Meta-Logic for Functional ProgrammingJohn Hannan, Dale Miller. meta 1988: 453-476

Analysis of Meta-ProgramsPatricia M. Hill, John W. Lloyd. meta 1988: 23-51

Meta Logic Programming for Epistemic NotionsYue Jun Jiang, Nader Azarmi. meta 1988: 477-499

Issues in the Partial Evaluation of Meta-InterpretersStephen Owen. meta 1988: 319-339

The Partial Evaluation of Imperative Programs Using PrologBrian J. Ross. meta 1988: 341-363

Hypergraph Grammars and Networks of Constraints versus Logic Programming and MetaprogrammingFrancesca Rossi, Ugo Montanari. meta 1988: 531-544

The Compilation of Forward Checking Regimes through Meta-Interpretation and TransformationDanny De Schreye, Maurice Bruynooghe. meta 1988: 217-231

Qu-Prolog: An Extended Prolog for Meta Level ProgrammingJohn Staples, Peter J. Robinson, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis. meta 1988: 435-452

A Simple Formulation of the Theory of Metalogic ProgrammingV. S. Subrahmanian. meta 1988: 65-101

Prolog Meta-Programming with Soft DatabasesPaul Tarau, Michel Boyer. meta 1988: 365-381

A Classification of Meta-level ArchitecturesFrank van Harmelen. meta 1988: 103-122

The Logical Reconstruction of Cuts as One Solution OperatorsPaul J. Voda. meta 1988: 523-530

An Integrated Interpreter for Explaining Prolog s Successes and FailuresL. Ümit Yalçinalp, Leon Sterling. meta 1988: 191-203

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

META (meta)

Viewing Publication 1 - 54 from 54

1992

1989

1988

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

META (meta)

Viewing Publication 1 - 54 from 54

1992

1989

1988

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1