Formula Synthesis in Propositional Dynamic Logic with Shuffle.

Sophie Pinchinat Sasha Rubin François Schwarzentruber

Published in: AAAI (2022)

Keyphrases

propositional dynamic logic
reasoning about actions
dynamic logic
program synthesis
relational databases
texture synthesis
neural network
artificial intelligence
case study
high level
database
machine learning
information systems
multiscale