Program Tactics and Logic Tactics (1994)

Cached

Download Links

by Fausto Giunchiglia , Paolo Traverso
Venue:IN PROCEEDINGS 5TH INTNL. CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING (LPAR'94
Citations:19 - 10 self

Active Bibliography

22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
1 Towards provably correct system synthesis and extension – Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando - 1996
3 Computational Reflection Via Mechanized Logical Deduction – A. Cimatti, P. Traverso, Mw Z. Manna, R. Waldinger, The Deductive, Synthesis Imperative Lisp - 1993
La Deduzione Automatica – F. Giunchiglia, Paolo Traverso, L. Serafini, La Deduzione Automatica, La Deduzione Automatica, Fausto Giunchiglia, Paolo Traverso, Luciano Serafini
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
4 Bidirectional Natural Deduction – Alessandro Agostini - 1993
23 Reflective Reasoning With and Between a Declarative Metatheory and the Implementation Code – Fausto Giunchiglia, Paolo Traverso - 1994
16 Experience with FS 0 as a framework theory – Sean Matthews, Alan Smaill, David Basin - 1993
178 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
8 A Multi-context Architecture for Formalizing Complex Reasoning – E. Giunchiglia, P. Traverso, Istituto Trentino Di Cultura, Enrico Giunchiglia, Paolo Traverso - 1995
Valid Extensions of Introspective Systems: A Foundation for Reflective Theorem Provers – Arno Schönegge - 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
Open Mechanized Reasoning Systems – John McCarthy, Fausto Giunchiglia, Carolyn Talcott - 1992
Bidirectional Reasoning – Alessandro Agostini, Fausto Giunchiglia, Povo Trento
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 A general purpose reasoner for abstraction – Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh - 1993
1 The OMRS Project: State of the Art – Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio - 1998
13 Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics – Fausto Giunchiglia , Luciano Serafini, Alex Simpson - 1991