Degrees of Undecidability in Rewriting

Jörg Endrullis Herman Geuvers Hans Zantema

Published in: CoRR (2009)

Keyphrases

description logics
rewrite rules
query rewriting
answering queries
rewriting systems
query containment
probabilistic planning
database
neural network
rewriting rules
multi agent
regular path queries
presburger arithmetic
queries using views
decision trees
knowledge base
artificial intelligence
real time