Dependences in Strategy Logic.

Patrick Gardy Patricia Bouyer Nicolas Markey

Published in: CoRR (2017)

Keyphrases

logic programming
modal logic
selection strategy
computer vision
search algorithm
probability theory
classical logic
computational properties