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