Resource-bounded ATL: the Quest for Tractable Fragments.

Francesco Belardinelli Stéphane Demri

Published in: AAMAS (2019)

Keyphrases

resource bounded
multi agent systems
information gathering
autonomous agents
model checking
alternating time temporal logic
meta level
temporal logic
decision making
information fusion
rational agents
object level
artificial intelligence
special case
fuzzy logic
coalition formation