Introspective Metatheoretic Reasoning (1994)

Cached

Download Links

by Fausto Giunchiglia , Alessandro Cimatti
Venue:IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC
Citations:15 - 6 self

Active Bibliography

3 Computational Reflection Via Mechanized Logical Deduction – A. Cimatti, P. Traverso, Mw Z. Manna, R. Waldinger, The Deductive, Synthesis Imperative Lisp - 1993
22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
19 Program Tactics and Logic Tactics – 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
1 Towards provably correct system synthesis and extension – Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando - 1996
178 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
1 A System for Multi-Level Mathematical Reasoning – F. Giunchiglia, Paolo Traverso, Istituto Trentino Di Cultura, Fausto Giunchiglia, Paolo Traverso - 1990
6 Automating Meta-Theory Creation and System Extension – David Basin, Fausto Giunchiglia, Paolo Traverso - 1991
La Deduzione Automatica – F. Giunchiglia, Paolo Traverso, L. Serafini, La Deduzione Automatica, La Deduzione Automatica, Fausto Giunchiglia, Paolo Traverso, Luciano Serafini
First Steps Towards Correct System Synthesis of System Code – Fausto Giunchiglia, Alessandro Armando, Alessandro Cimatti, Paolo Traverso - 1995
4 A reflective extension of ELAN – Hélène Kirchner, Pierre-etienne Moreau - 1996
Open Mechanized Reasoning Systems – John McCarthy, Fausto Giunchiglia, Carolyn Talcott - 1992
23 Reflective Reasoning With and Between a Declarative Metatheory and the Implementation Code – Fausto Giunchiglia, Paolo Traverso - 1994
3 MRG: Building planners for real world complex applications – Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Enrico Giunchiglia, Alessandro Armando - 1994
73 Contextual Reasoning – Fausto Giunchiglia - 1992
3 Hierarchical Meta-Logics for Belief and Provability: How We Can Do Without Modal Logics – F. Giunchiglia, L. Serafini, Istituto Trentino Di Cultura, Fausto Giunchiglia, Luciano Serafini - 1992
13 A Foundation for Metareasoning, Part I: The Proof Theory – Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini - 1997
Using Abstraction Interactively – Roberto Sebastiani, Mauro Di Manzo, Fausto Giunchiglia
2 Proving Theorems By Using Abstraction Interactively – Roberto Sebastiani, Adolfo Villafiorita, Fausto Giunchiglia - 1994