7335 search results - page 431 / 1467 » Scene Based Reasoning |
140
Voted
CSL
1995
Springer
15 years 9 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
157
Voted
DLOG
2007
15 years 8 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
170
click to vote
AAAI
1997
15 years 7 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
151
click to vote
IJCAI
1989
15 years 7 months ago
1989
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
160
Voted
AIPS
2010
15 years 6 months ago
2010
When using a planner-based agent architecture, many things can go wrong. First and foremost, an agent might fail to execute one of the planned actions for some reasons. Even more ...