Login / Signup

Flat algebras and the translation of universal Horn logic to equational logic.

Marcel Jackson
Published in: J. Symb. Log. (2008)
Keyphrases
  • horn logic
  • propositional logic
  • belief change
  • horn clauses
  • theorem proving
  • belief revision
  • horn contraction
  • multi valued
  • inductive logic programming
  • theorem prover
  • relation algebra