Proving Epistemic and Temporal Properties from Knowledge Based Programs.

Mario R. F. Benevides Carla A. D. M. Delgado Michel Carlini

Published in: SBIA (2008)

Keyphrases

temporal properties
model checking
epistemic logic
formal methods
possibility theory
temporal logic
belief change
expert systems
data mining
knowledge base
mobile robot
theoretical framework
belief revision
computer programs