A relative interpolation theorem for infinitary universal Horn logic and its applications.

Alexej P. Pynko

Published in: Arch. Math. Log. (2006)

Keyphrases

horn logic
propositional logic
belief change
machine learning
domain knowledge
belief revision
desirable properties
ontological reasoning
horn contraction