Sciweavers

93

Voted

TARK
1998
Springer

136views Automated Reasoning» more TARK 1998»

Belief Revision and Rationalizability

15 years 4 months ago

Belief Revision and Rationalizability

Download www.pitt.edu

Oliver J. Board

claim paper

Read More »

64

Voted

TARK
1998
Springer

81views Automated Reasoning» more TARK 1998»

Using Counterfactuals in Knowledge-Based Programming

15 years 4 months ago

Using Counterfactuals in Knowledge-Based Programming

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

Joseph Y. Halpern, Yoram Moses

claim paper

Read More »