Is observational congruence on µ-expressions axiomatisable in equational Horn logic?

Michael Mendler Gerald Lüttgen

Published in: Inf. Comput. (2010)

Keyphrases

horn logic
propositional logic
belief change
theorem proving
natural language
facial expressions
equational theories
belief revision
theorem prover
horn clauses
horn contraction
multi agent
first order logic
machine learning