3773 search results - page 84 / 755 » Logical Reasoning |
122
Voted
AUSAI
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
161
click to vote
IJAR
2006
15 years 3 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
104
click to vote
CADE
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
149
click to vote
RULEML
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
136
click to vote
IJCAI
2001
15 years 4 months ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...