3 search results - page 1 / 1 » A contextual reading of conditional commitments |
ECAI
2010
Springer
14 years 3 days ago
2010
Springer
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
SYNTHESE
2008
13 years 11 months ago
2008
The interest of epistemic comparative conditionals comes from the fact that they represent genuine `comparative epistemic relations' between propositions, situations, evidence...
PLDI
2012
ACM
12 years 1 months ago
2012
ACM
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...