4617 search results - page 206 / 924 » Automation of Diagrammatic Reasoning |
184
click to vote
DLOG
2000
15 years 7 months ago
2000
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...
154
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
