A Metatheory of a Mechanized Object Theory (1994)

Cached

Download Links

by Fausto Giunchiglia , Paolo Traverso
Citations:22 - 10 self

Active Bibliography

19 Program Tactics and Logic Tactics – Fausto Giunchiglia, Paolo Traverso - 1994
La Deduzione Automatica – F. Giunchiglia, Paolo Traverso, L. Serafini, La Deduzione Automatica, La Deduzione Automatica, Fausto Giunchiglia, Paolo Traverso, Luciano Serafini
13 Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics – Fausto Giunchiglia , Luciano Serafini, Alex Simpson - 1991
23 Reflective Reasoning With and Between a Declarative Metatheory and the Implementation Code – Fausto Giunchiglia, Paolo Traverso - 1994
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
3 Computational Reflection Via Mechanized Logical Deduction – A. Cimatti, P. Traverso, Mw Z. Manna, R. Waldinger, The Deductive, Synthesis Imperative Lisp - 1993
Open Mechanized Reasoning Systems – John McCarthy, Fausto Giunchiglia, Carolyn Talcott - 1992
47 Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems – Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott - 1994
7 Structuring Metatheory on Inductive Definitions – David Basin, Seán Matthews - 2000
13 A Foundation for Metareasoning, Part I: The Proof Theory – Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini - 1997
1 Towards provably correct system synthesis and extension – Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando - 1996
8 A Multi-context Architecture for Formalizing Complex Reasoning – E. Giunchiglia, P. Traverso, Istituto Trentino Di Cultura, Enrico Giunchiglia, Paolo Traverso - 1995
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
10 Meta-reasoning: a Survey – Stefania Costantini - 2002
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
Valid Extensions of Introspective Systems: A Foundation for Reflective Theorem Provers – Arno Schönegge - 1994
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
Povo (Trento), Italy Tel.: +39 0461 314312 Fax: +39 0461 302040 e-mail: prdoc@itc.it - url: http://www.itc.it CONFORMANT PLANNING VIA MODEL CHECKING Cimatti A., Roveri M. – August Limited Distribution, Scientifica E Tecnologica, Cimatti A, Roveri M, Istituto Trentino Di Cultura, Alessandro Cimatti, Marco Roveri
6 Automating Meta-Theory Creation and System Extension – David Basin, Fausto Giunchiglia, Paolo Traverso - 1991