Sign in
Horn Logic Denotations.
Gopal Gupta
Published in:
IJCSLP (1998)
Keyphrases
</>
horn logic
propositional logic
belief change
belief revision
horn contraction
first order logic
artificial intelligence
expert systems
prior knowledge
ontological reasoning