Sciweavers

13 search results - page 2 / 3
» tark 1998
Sort
View
TARK
1998
Springer
13 years 10 months ago
Using Counterfactuals in Knowledge-Based Programming
Joseph Y. Halpern, Yoram Moses
TARK
1998
Springer
13 years 10 months ago
Conditional, Hierarchical, Multi-Agent Preferences
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...
Pierfrancesco La Mura, Yoav Shoham
TARK
1998
Springer
13 years 10 months ago
Hypothetical Knowledge and Counterfactual Reasoning
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
Joseph Y. Halpern
TARK
1998
Springer
13 years 10 months ago
The Learning Power of Belief Revision
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...
Kevin T. Kelly
TARK
1998
Springer
13 years 10 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema