421 search results - page 49 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
100
click to vote
EWCBR
2008
Springer
15 years 26 days ago
2008
Springer
The domain of cookery has been of interest for Case-Based Reasoning (CBR) research for many years since the CHEF case-based planning system in the mid 1980s. This paper returns to ...
180
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
PPSWR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
91
Voted
DLOG
2003
15 years 15 days ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
TPHOL
1999
IEEE
15 years 3 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...