Propositional dynamic logic with recursive programs.

Christof Löding Carsten Lutz Olivier Serre

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

recursive programs
propositional dynamic logic
program synthesis
logic programs
transformation rules
dynamic logic
reasoning about actions
logic programming
database
databases
database systems
information extraction
data driven
inductive logic programming
optimization process