Ordered Resolution for Coalition Logic.

Ullrich Hustadt Paul Gainer Clare Dixon Cláudia Nalon Lan Zhang

Published in: TABLEAUX (2015)

Keyphrases

coalition logic
model checking
modal logic
logical framework
heuristic search
artificial intelligence
search algorithm
probabilistic model
programming language
pattern matching
partially ordered