Login / Signup

Dynamic Epistemic Logic of Finite Identification.

Minghui Ma
Published in: LORI (2009)
Keyphrases
  • dynamic epistemic logic
  • multi agent
  • epistemic logic
  • cooperative
  • software engineering
  • logic programs