Login / Signup

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic.

Manuel ClavelJosé MeseguerMiguel Palomino
Published in: Theor. Comput. Sci. (2007)
Keyphrases
  • classical logic
  • horn logic
  • modal logic
  • horn clauses
  • logic programming
  • machine learning
  • training data
  • theorem proving
  • belief change
  • equational theories