Complete Axiomatizations for Reasoning about Knowledge and Branching Time.

Ron van der Meyden Ka-Shu Wong

Published in: Stud Logica (2003)

Keyphrases

temporal logic
cooperative
data mining
information retrieval
artificial intelligence
data structure
model checking
data sets
neural network
high level
preprocessing
knowledge representation
temporal reasoning