5086 search results - page 228 / 1018 » The Power of Comparative Reasoning |
181
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
176
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
146
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents the results of an investigation into the suitability of a Virtual Reality (VR) environment for case-based reasoning (CBR). The paper will show that for problem ...
135
click to vote
ECSQARU
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
185
click to vote
APPINF
2003
15 years 8 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...