7335 search results - page 207 / 1467 » Scene Based Reasoning |
123
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...
125
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
134
click to vote
KES
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents an integrated knowledge-based system, which combines fuzzy rule-based reasoning with case-based reasoning, for turbomachinery diagnosis. By incorporating a case...
112
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable mode...
101
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...