3005 search results - page 96 / 601 » Logical Information Systems: from Taxonomies to Logics |
170
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
144
click to vote
AAAI
1996
15 years 7 months ago
1996
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...
165
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
177
click to vote
DOLAP
2006
ACM
16 years 11 days ago
2006
ACM
Multidimensional modeling requires specialized design techniques. Though a lot has been written about how a data warehouse should be designed, there is no consensus on a design me...
174
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...