316 search results - page 11 / 64 » paste 2004 |
KR
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
SAS
2004
Springer
15 years 2 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
72
Voted
BIRTHDAY
2004
Springer
15 years 1 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
64
Voted
UAI
2004
14 years 11 months ago
2004
We consider the challenge of preference elicitation in systems that help users discover the most desirable item(s) within a given database. Past work on preference elicitation foc...
AAI
2004
14 years 9 months ago
2004
In open environments in which autonomous agents can break contracts, computational models of trust have an important role to play in determining who to interact with and how inter...