Sciweavers

3773 search results - page 22 / 755
» Logical Reasoning
Sort
View
97
Voted
CADE
2008
Springer
16 years 3 months ago
Evaluation of Systems for Higher-order Logic (ESHOL)
Christoph Benzmüller, Florian Rabe, Carsten S...
115
Voted
CADE
2006
Springer
16 years 3 months ago
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
Allen Van Gelder, Geoff Sutcliffe
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 3 months ago
Reasoning About Knowledge of Unawareness
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...
Joseph Y. Halpern, Leandro Chaves Rêgo
104
Voted
CADE
2008
Springer
16 years 3 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...