Complexity Results of STIT Fragments.

François Schwarzentruber

Published in: Stud Logica (2012)

Keyphrases

multi agent systems
logical framework
worst case
computational cost
special case
decision makers
automated reasoning