Automatic verification of epistemic specifications under convergent equational theories.

Ioana Boureanu Andrew V. Jones Alessio Lomuscio

Published in: AAMAS (2012)

Keyphrases

equational theories
theorem proving
delay insensitive
high level
finite state machines
formal specification
database systems
general purpose
belief change
specification language
function symbols
knowledge base
search space
first order logic