2414 search results - page 109 / 483 » Reasoning Support for OWL-E |
183
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
164
click to vote
LOGCOM
2008
15 years 5 months ago
2008
We describe a two-layer architecture for supporting semantic interpretation and domain reasoning in dialogue systems. Building systems that support both semantic interpretation an...
201
click to vote
CEFP
2007
Springer
15 years 12 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
172
click to vote
TPHOL
2008
IEEE
16 years 5 days ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
146
click to vote
ISMB
1993
15 years 7 months ago
1993
Wesurvey and discuss issues required of intelligent systems to support research efforts in locus mapping. In particular wefocus on the issues of order, on howone can automate the ...