421 search results - page 19 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
CADE
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
TPHOL
2000
IEEE
15 years 3 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
ICCBR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents extensions and improvements of previous work, where we defined a CBR system for action selection in the robot soccer domain. We show empirical result...
140
click to vote
ICWL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
ASWC
2006
Springer
15 years 2 months ago
2006
Springer
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...