Constructive Plausible Logic Is Relatively Consistent.

David Billington Andrew Rock

Published in: Australian Conference on Artificial Intelligence (2003)

Keyphrases

modal logic
multi valued
classical logic
computational properties
data sets
neural network
computer vision
logic programming
logical framework
formal theory
database
databases
data mining
decision making
inference rules
predicate logic