5970 search results - page 1059 / 1194 » Management Information Model Engineering |
160
click to vote
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
143
click to vote
GI
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
145
click to vote
AIL
2004
15 years 3 months ago
2004
The paper identi es some of the problems with legal systems and outlines the potential of AI technology for overcoming them. For expository purposes, this outline is based on a si...
125
click to vote
TSE
2002
15 years 3 months ago
2002
CASE (Computer Aided Software Engineering) tools are believed to have played a critical role in improving software productivity and quality by assisting tasks in software developme...
150
click to vote
WADT
2004
Springer
15 years 9 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...