Exploring the Bidimensional Space: A Dynamic Logic Point of View.

Philippe Balbiani David Fernández-Duque Emiliano Lorini

Published in: AAMAS (2017)

Keyphrases

dynamic logic
neural network
higher dimensional
artificial intelligence
search space
low dimensional
propositional dynamic logic
imperative programs