Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism.

Konstantinos Mamouras

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

logic synthesis
classical logic
databases
set theory
database
data sets
machine learning
learning algorithm
multi agent
orders of magnitude
multi valued
logical framework
selection strategies
program synthesis