Computational Reflection Via Mechanized Logical Deduction (1993)

Cached

Download Links

by A. Cimatti , P. Traverso
Citations:3 - 0 self

Documents Related by Co-Citation

7 Formalizing motivational attitudes of agents – Meyer - 1995
317 A formal theory of knowledge and action – R C Moore - 1990
66 A Representationalist Theory of Intention – Kurt Konolige, Martha E. Pollack - 1990
869 Intention is Choice with Commitment – P Cohen, H Levesque - 1990
35 The Semantics of Intention Maintenance for Rational Agents – Michael P. Georgeff , Anand S. Rao - 1995
1 METAFOL: una Metateoria Meccanizzata per un Sistema Deduttivo Auto-riflessivo – M Benerecetti - 1995
25 The GETFOL Manual - GETFOL version 1 – F Giunchiglia - 1992
4 Architetture Riflessive per la Deduzione Automatica – A Armando - 1993
15 Introspective Metatheoretic Reasoning – Fausto Giunchiglia, Alessandro Cimatti - 1994
5 HGKM Manual - a revised version – F Giunchiglia, A Cimatti - 1989
212 Semantical considerations on Floyd-Hoare Logic – Vaughan R. Pratt - 1976
45 Control flow semantics – J de Bakker, E de Vink - 1996
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
196 Modal and Temporal Logics – C Stirling - 1992
1 Cross-level planning – Richard Bartle - 1988
1 Reasoning about concurrent action, prioritized interrupts, and exogenous actions in the situation calculus – GG De Giacomo, Y L'esperance, HL Levesque - 1997
1 Transformational planning of reactive behaviour. Research report YALEU/DCS/RR-941 – Drew McDermott - 1992
5 Robot Planning, Execution, and Monitoring in an Uncertain Environment – John H Munson - 1971
2 Actions on belief – SWD Steel - 1994