Login / Signup

Towards a Formalisation of Justification and Justifiability.

Willem Hagemann
Published in: FMAS (2021)
Keyphrases
  • formal analysis
  • high level
  • knowledge based systems
  • np complete
  • constraint satisfaction problems
  • database design