Login / Signup

A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks.

Hans van DitmarschÉric GoubaultMarijana LazicJérémy LedentSergio Rajsbaum
Published in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
  • dynamic epistemic logic
  • bayesian networks
  • image analysis
  • machine learning
  • artificial intelligence
  • expert systems