Review of Reasoning About Knowledge by Ronald Fagin, Joseph Halpern, Yoram Moses and Moshe Verdi.

Alexander Dekhtyar

Published in: SIGACT News (1997)

Keyphrases

temporal logic
causal models
real time
systematic review
information systems
database systems
image sequences
face recognition
bayesian networks
digital libraries
control system