Login / Signup
The undecidability of propositional adaptive logic.
Leon Horsten
Philip D. Welch
Published in:
Synth. (2009)
Keyphrases
</>
multi valued
sound and complete axiomatization
propositional logic
logic programming
probabilistic logic
neural network
proof procedure
knowledge base
belief revision
horn clauses
deductive reasoning
description logics
default logic
logical framework
autoepistemic logic
predicate calculus