Satisfiability Checking of Strategy Logic with Simple Goals.

Magdalena Kacprzak Artur Niewiadomski Wojciech Penczek

Published in: KR (2021)

Keyphrases

real world
modal logic
learning algorithm
predicate logic
database
genetic algorithm
computer vision
multiscale
objective function
optimal solution
expert systems
highly reliable