Login / Signup

HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions.

Guido Vanackere
Published in: J. Appl. Non Class. Logics (2000)
Keyphrases
  • classical logic
  • special case
  • valued semantics
  • closely related
  • valued logic
  • possibilistic logic
  • integrity checking
  • sound and complete with respect
  • e learning
  • knowledge base
  • relational databases