Sciweavers

ICTL
1994
15 years 27 days ago
A Decision Procedure for a Temporal Belief Logic
This paper presents a temporal belief logic called
Michael Wooldridge, Michael Fisher