Sciweavers

214 search results - page 9 / 43
» Reasoning about Bargaining Situations
Sort
View
ISMIS
2005
Springer
15 years 3 months ago
The Chisholm Paradox and the Situation Calculus
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
Robert Demolombe, Maria del Pilar Pozos Parra
MDM
2007
Springer
111views Communications» more  MDM 2007»
15 years 4 months ago
Situation Inference for Mobile Users: A Rule Based Approach
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
Laurent-Walter Goix, Massimo Valla, Laura Cerami, ...
AAAI
2008
15 years 4 days ago
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
Stavros Vassos, Hector J. Levesque
AAAI
2007
15 years 4 days ago
Reasoning from Desires to Intentions: A Dialectical Framework
Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a...
Nicolás D. Rotstein, Alejandro Javier Garc&...
KR
2010
Springer
15 years 2 months ago
Characterizing Updates in Dynamic Epistemic Logic
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
Guillaume Aucher