Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICTL
1994
12 years 2 months ago
A Decision Procedure for a Temporal Belief Logic
This paper presents a temporal belief logic called
Michael Wooldridge, Michael Fisher
TIME
1994
IEEE
12 years 2 months ago
Belief Revision in a Discrete Temporal Probability-Logic
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...
books