2381 search results - page 166 / 477 » On Ordering Descriptions in a Description Logic |
115
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
106
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
111
click to vote
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
An important open question in complexity theory is whether the circuit complexity class TC0 is (strictly) weaker than LOGSPACE. This paper considers this question from the viewpoi...
TAMODIA
2008
15 years 3 months ago
2008
This paper aims to provide thorough discussion of the aspects that compose the state of a Web application user interface, and show how it can be preserved across multiple devices w...
119
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...