1664 search results - page 24 / 333 » Towards Partial Reasoning |
138
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
Scene understanding from a monocular, moving camera is a challenging problem with a number of applications including robotics and automotive safety. While recent systems have show...
62
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we propose an approach to guide search to sources of conflicts. The principle is the following: the last variable involved in the last conflict is selected in priori...
153
click to vote
LPNMR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
121
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...