Login / Signup
Partial Horn logic and cartesian categories.
Erik Palmgren
Steven J. Vickers
Published in:
Ann. Pure Appl. Log. (2007)
Keyphrases
</>
horn logic
propositional logic
belief change
domain knowledge
knowledge representation