On the Decidability of Verifying LTL Properties of Golog Programs.

Benjamin Zarrieß Jens Claßen

Published in: AAAI Spring Symposia (2014)

Keyphrases

model checking
agent programming
description logics
desirable properties
database
temporal logic
structural properties
situation calculus
knowledge base
fixpoint
control flow