Login / Signup

Partial Horn logic and cartesian categories.

Erik PalmgrenSteven J. Vickers
Published in: Ann. Pure Appl. Log. (2007)
Keyphrases
  • horn logic
  • propositional logic
  • belief change
  • domain knowledge
  • knowledge representation