1285 search results - page 176 / 257 » Description Logic Reasoner: System Description |
188
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
202
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Scalable query answering over Description Logic (DL) based ontologies plays an important role for the success of the Semantic Web. Towards tackling the scalability problem, we prop...
194
click to vote
LCTRTS
2005
Springer
16 years 19 hour ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
165
click to vote
ECBS
2007
IEEE
16 years 26 days ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
157
click to vote
AAAI
1998
15 years 7 months ago
1998
The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do wit...