Bisimilar and Logically Equivalent Programs in PDL.

Mario R. F. Benevides

Published in: LSFA (2013)

Keyphrases

dynamic logic
information retrieval
machine learning
search algorithm
propositional dynamic logic
real time
prolog programs
control program
java programs
automatic programming
relational databases
expert systems
similarity measure
image segmentation
image processing
genetic algorithm
databases
data sets