Sciweavers

214 search results - page 7 / 43
» Reasoning about Bargaining Situations
Sort
View
99
Voted
KR
2000
Springer
15 years 4 months ago
Iterated Belief Change in the Situation Calculus
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
Steven Shapiro, Maurice Pagnucco, Yves Lespé...
98
Voted
ICAIL
2005
ACM
15 years 6 months ago
Dialogues about the burden of proof
This paper analyses the phenomenon of a shift of the burden of proof in legal persuasion dialogues. Some sample dialogues are analysed of types of situations where such a shift ma...
Henry Prakken, Chris Reed, Douglas Walton
93
Voted
AI
2001
Springer
15 years 4 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel
89
Voted
ATAL
2007
Springer
15 years 6 months ago
Knowledge and observations in the situation calculus
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
Ryan F. Kelly, Adrian R. Pearce
AMAI
2004
Springer
15 years 14 days ago
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
Paula Gouveia, Jaime Ramos