Propositional Dynamic Logic with Recursive Programs.

Christof Löding Olivier Serre

Published in: FoSSaCS (2006)

Keyphrases

propositional dynamic logic
recursive programs
logic programs
program synthesis
transformation rules
reasoning about actions
logic programming
dynamic logic
background knowledge
artificial intelligence
data model
open source
data driven
metamodel
model driven