Login / Signup
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable.
Stefan Borgwardt
Rafael Peñaloza
Published in:
Description Logics (2012)
Keyphrases
</>
logic programs
datalog programs
sufficient conditions
computational complexity
logic programming
case study
consistency checking
databases
machine learning
information retrieval
search algorithm
np complete
deductive databases
path consistency