Verifying Strategies in Dialogue Games.

Magdalena Kacprzak Anna Sawicka Katarzyna Budzynska Marcin Dziubinski

Published in: CS&P (2014)

Keyphrases

dialogue games
model checking
artificial intelligence
inference rules
situation calculus