Sign in

Models of agent interaction based on modal logics.

Matteo BaldoniCristina BaroglioElisa MarengoViviana PattiClaudio Schifanella
Published in: Intelligenza Artificiale (2011)
Keyphrases
  • modal logic
  • agent interactions
  • temporal logic
  • decision procedures
  • artificial intelligence
  • bayesian networks
  • computational complexity
  • case based reasoning
  • probabilistic reasoning
  • epistemic logic