Towards Encoding of the Transition Relation in Dialogue Games Model Checking.

Anna Sawicka Magdalena Kacprzak Andrzej Zbrzezny

Published in: Fundam. Informaticae (2019)

Keyphrases

modal logic
temporal logic
model checking
dialogue games
epistemic logic
formal verification
model checker
computation tree logic
finite state
verification method
dialogue system
formal methods
defeasible logic
domain independent
rough set theory