Dependences in Strategy Logic.

Patrick Gardy Patricia Bouyer Nicolas Markey

Published in: STACS (2018)

Keyphrases

logic programming
classical logic
modal logic
databases
information systems
neural network
machine learning
genetic algorithm
computer vision
multi agent
programming language
expressive power
optimal strategy
predicate logic
deontic logic
sound and complete axiomatization