Distributivity in [Lstrok][aleph]0 and Other Sentential Logics.

Kenneth Harris Branden Fitelson

Published in: J. Autom. Reason. (2001)

Keyphrases

expressive power
inductive logic programming
modal logic
inference rules
relational learning
classical logic
proof theory
conditional logic
machine learning
learning algorithm
computational properties
propositional calculus
database
epistemic logic
nonmonotonic logics
sentence level
higher order
data sets