Rewrite Techniques for Transitive Relations

Leo Bachmair Harald Ganzinger

Published in: LICS (1994)

Keyphrases

preference relations
attribute values
real time
transitive closure
website
case study
natural language
data mining
machine learning
decision making
mobile robot
background knowledge
binary relations
causal relations