Interpolation in propositional Horn logic.

Gerard R. Renardel de Lavalette

Published in: J. Log. Comput. (2018)

Keyphrases

propositional logic
horn logic
first order logic
belief revision
belief change
horn contraction
belief base
possibilistic logic
expressive power
computational complexity
expert systems
prior knowledge
wordnet
semi automatic