2082 search results - page 137 / 417 » Change Paths in Reasoning! |
145
click to vote
Book
"The book is written for looking things up but do not expect all things to be present. Use your on-line manual if you do not see what you need in the book. Look for additional...
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
TPHOL
2005
IEEE
14 years 3 months ago
2005
IEEE
We show that delaying fully-expansive proof reconstruction for non-interactive decision procedures can result in a more efficient workflow. In contrast with earlier work, our appr...
FLOPS
2004
Springer
14 years 3 months ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
KR
2004
Springer
14 years 3 months ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...