Equational Semantics.

Loïc Correnson Étienne Duris Didier Parigot Gilles Roussel

Published in: SAS (1999)

Keyphrases

formal semantics
theorem proving
semantic information
expert systems
logic programming
learning algorithm
high level
horn clauses
model theoretic
abstract argumentation
equational theories