3776 search results - page 133 / 756 » Partition-Based Logical Reasoning |
164
click to vote
TIME
2003
IEEE
15 years 8 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
155
Voted
COSIT
1999
Springer
15 years 7 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
134
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
165
Voted
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
129
click to vote
UAI
1993
15 years 4 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...