Weak Logic Theory.

Published in: Theor. Comput. Sci. (1991)

Keyphrases

formal theory
computer algebra
proof theory
commonsense reasoning
set theory
machine learning
theoretical framework
modal logic
general theory
logic programming
default reasoning
formal methods
probabilistic logic
logical framework
classical logic
causal reasoning
description logics
learning algorithm
data sets