Logic and the Discursive Intellect.

Published in: Notre Dame J. Formal Log. (1999)

Keyphrases

classical logic
logic programming
modal logic
automated reasoning
data sets
case study
multi valued
predicate logic
sound and complete axiomatization
database
machine learning
genetic algorithm
bayesian networks
computational properties
formal theory
proof theory