2414 search results - page 129 / 483 » Reasoning Support for OWL-E |
185
click to vote
CLIMA
2009
15 years 3 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
187
click to vote
TPHOL
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
146
click to vote
TPHOL
2008
IEEE
16 years 9 days ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
113
click to vote
CAV
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
140
click to vote
ICCBR
2007
Springer
16 years 2 days ago
2007
Springer
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...