On Skolemization in Constrained Logics.

Hans-Jürgen Bürckert Bernhard Hollunder Armin Laux

Published in: Ann. Math. Artif. Intell. (1996)

Keyphrases

expressive power
modal logic
inference rules
data sets
three dimensional
bayesian networks
learning environment
proof theory
propositional calculus