Graded modalities in Strategy Logic.

Benjamin Aminof Vadim Malvone Aniello Murano Sasha Rubin

Published in: Inf. Comput. (2018)

Keyphrases

selection strategy
alternating time temporal logic
modal logic
database
databases
search strategy
multi valued
classical logic
neural network
genetic algorithm
information systems
decision trees
multiscale
programming language
logic programming
model checking