Practical Magick with C, PDL, and PDL: : PP - a guide to compiled add-ons for PDL.

Craig E. DeForest Karl Glazebrook

Published in: CoRR (2017)

Keyphrases

propositional dynamic logic
deontic logic
dynamic logic
real world
data mining
reasoning about actions
digital images