4573 search results - page 377 / 915 » Automated Reasoning |
177
click to vote
KR
1992
Springer
15 years 11 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...
158
click to vote
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...
159
click to vote
PLILP
1990
Springer
15 years 11 months ago
1990
Springer
Languages with polymorphic types (e.g. ML) have traditionally been implemented using Lisp-like data representations--everything has to fit in one word, if necessary by being heap-...
153
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
The paper outlines an approach to the formal representation of signalling conventions, emphasising the prominent role played therein by a particular type of normative modality. It ...
173
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the development of the generic collaboration support architecture CAKE incorporating case-based reasoning (CBR). CAKE provides unified access to knowledge avai...