Computational Reflection Via Mechanized Logical Deduction (1993)

View PDF

Download Links

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

Documents Related by Co-Citation

942 Intention is choice with commitment – P Cohen, H Levesque - 1990
335 A formal theory of knowledge and action – R Moore - 1985
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
1616 Unified theories of cognition – A Newell - 1990
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1581 Reasoning about Knowledge – R Fagin, J Y Halpern, Y Moses, M Y Vardi - 1995
3430 Communication and Concurrency – R Milner - 1989
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
70 A Representationalist Theory of Intention – Kurt Konolige, Martha E. Pollack - 1990