3891 search results - page 596 / 779 » A logic for strategic reasoning |
175
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
178
click to vote
KR
2004
Springer
15 years 12 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...
177
click to vote
ISIPTA
2003
IEEE
15 years 12 months ago
2003
IEEE
Dempster’s rule for combining two belief functions assumes the independence of the sources of information. If this assumption is questionable, I suggest to use the least speci...
201
Voted
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
184
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...