Decidable First-Order Theories of One-Step Rewriting in Trace Monoids.

Dietrich Kuske Markus Lohrey

Published in: Theory Comput. Syst. (2005)

Keyphrases

first order logic
theory revision
higher order
action theories
datalog programs
classical first order logic
artificial intelligence
expressive power
databases
knowledge base
theoretical framework
regular expressions
regular path queries
propositional theories