Sciweavers

40

TARK
1998
Springer

136views Automated Reasoning» more TARK 1998»

Belief Revision and Rationalizability

14 years 3 months ago

Belief Revision and Rationalizability

Download www.pitt.edu

Oliver J. Board

claim paper

Read More »

28

TARK
1998
Springer

81views Automated Reasoning» more TARK 1998»

Using Counterfactuals in Knowledge-Based Programming

14 years 3 months ago

Using Counterfactuals in Knowledge-Based Programming

Download www.cs.math.ist.utl.pt

Joseph Y. Halpern, Yoram Moses

claim paper

Read More »