Exploring the bidimensional space: A dynamic logic point of view.

Philippe Balbiani David Fernández-Duque Emiliano Lorini

Published in: CoRR (2017)

Keyphrases

dynamic logic
data sets
space time
multiple input
genetic algorithm
high dimensional
software engineering
low dimensional
modal logic
reasoning about actions