Login / Signup

Inconsistency-Adaptive Dialogical Logic.

Mathieu BeirlaenMatthieu Fontaine
Published in: Logica Universalis (2016)
Keyphrases
  • classical logic
  • logic programming
  • modal logic
  • artificial intelligence
  • automated reasoning
  • nonmonotonic logics
  • predicate logic
  • integrity checking
  • sound and complete axiomatization