Typed Horn Logic.

Published in: MFCS (1990)

Keyphrases

horn logic
propositional logic
belief change
horn contraction
belief revision
machine learning
artificial intelligence
knowledge representation
co occurrence
possibilistic logic