736 search results - page 14 / 148 » A Science of Reasoning (Extended Abstract) |
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
PSSS
2003
13 years 9 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
CSL
2004
Springer
14 years 29 days ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
AIL
2002
13 years 7 months ago
2002
er is an extended abstract of an article submitted to Artificial Intelligence and Law 26-10-00. I thank Trevor Bench-Capon and Giovanni Sartor for their comments on earlier version...
APWEB
2006
Springer
13 years 11 months ago
2006
Springer
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...