Login / Signup

A Dynamic Epistemic Logic Analysis of the Equality Negation Task.

Éric GoubaultMarijana LazicJérémy LedentSergio Rajsbaum
Published in: DaLí (2019)
Keyphrases
  • logic programs
  • model checking
  • incomplete information
  • image analysis
  • domain independent