4573 search results - page 376 / 915 » Automated Reasoning |
146
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
155
click to vote
EWCBR
1998
Springer
15 years 11 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 ...
141
click to vote
ECSQARU
1997
Springer
15 years 11 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. ...
216
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
172
click to vote
KR
1994
Springer
15 years 11 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...