Propositional Plausible Logic: Introduction and Implementation.

David Billington Andrew Rock

Published in: Stud Logica (2001)

Keyphrases

multi valued
modal logic
sound and complete axiomatization
neural network
propositional logic
horn clauses
proof procedure
data sets
first order logic
probabilistic logic
computational properties
autoepistemic logic
asynchronous circuits