7335 search results - page 208 / 1467 » Scene Based Reasoning |
158
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
150
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
104
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
130
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
138
click to vote
UAI
1993
15 years 4 months ago
1993
In this paper some initialwork towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reas...