Login / Signup

Higher-Order Coalition Logic.

Guido BoellaDov M. GabbayValerio GenoveseLeendert W. N. van der Torre
Published in: ECAI (2010)
Keyphrases
  • higher order
  • coalition logic
  • logical framework
  • model checking
  • modal logic
  • markov random field
  • pairwise
  • pspace complete
  • cl pc
  • temporal logic
  • expert systems
  • reasoning tasks