A Dynamic Logic for Termgraph Rewriting.

Philippe Balbiani Rachid Echahed Andreas Herzig

Published in: ICGT (2010)

Keyphrases

dynamic logic
modal logic
reasoning about actions
query rewriting
imperative programs
conjunctive queries
rewrite rules
rewriting rules
queries using views
propositional dynamic logic
rewriting systems
agent programming
classical first order logic
mobile robot
datalog programs
query answering
multi dimensional