Dependences in Strategy Logic.

Patrick Gardy Patricia Bouyer Nicolas Markey

Published in: Theory Comput. Syst. (2020)

Keyphrases

logic programming
selection strategy
proof theory
optimal strategy
multi valued
classical logic
databases
artificial intelligence
data structure
automated reasoning
probabilistic logic
asynchronous circuits
delay insensitive
sound and complete axiomatization