2082 search results - page 137 / 417 » Change Paths in Reasoning! |
372
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...
118
click to vote
ICCBR
2007
Springer
15 years 10 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...
118
Voted
TPHOL
2005
IEEE
15 years 9 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...
123
click to vote
FLOPS
2004
Springer
15 years 9 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...
163
Voted
KR
2004
Springer
15 years 9 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-...