2291 search results - page 231 / 459 » Representational Reasoning and Verification |
123
click to vote
KR
2010
Springer
15 years 5 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
89
Voted
EWCBR
1998
Springer
15 years 5 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 ...
121
click to vote
LICS
1994
IEEE
15 years 4 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...
107
Voted
KR
1992
Springer
15 years 4 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
AIMSA
2006
Springer
15 years 4 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...