214 search results - page 25 / 43 » Optimisation of Terminological Reasoning |
HUC
1999
Springer
14 years 27 days ago
1999
Springer
Many novel applications take on the task of moving the personal computer away from the desktop with the approach to merge digital information with physical space and objects. These...
ER
1993
Springer
14 years 21 days ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
IJCAI
2007
13 years 10 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
AAAI
1997
13 years 10 months ago
1997
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...
JOC
2007
13 years 8 months ago
2007
We give an informal analysis and critique of several typical “provable security” results. In some cases there are intuitive but convincing arguments for rejecting the conclusi...