An Implementation of Propositional Plausible Logic.

Andrew Rock David Billington

Published in: ACSC (2000)

Keyphrases

multi valued
sound and complete axiomatization
real time
efficient implementation
horn clauses
probabilistic logic
deductive reasoning
artificial intelligence
multi agent systems
logic programming
modal logic
knowledge compilation
predicate logic