Degrees of Undecidability in Term Rewriting.

Jörg Endrullis Herman Geuvers Hans Zantema

Published in: CSL (2009)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
description logics
knuth bendix
answering queries
first order logic
database
expert systems
training data
inference rules
online learning
probabilistic model
query processing
cooperative