Taming Strategy Logic: Non-Recurrent Fragments.

Massimo Benerecetti Fabio Mogavero Adriano Peron

Published in: Inf. Comput. (2023)

Keyphrases

logic programming
expressive power
database
decision trees
multiscale
keywords
search algorithm
modal logic
recurrent neural networks
optimal strategy
nonmonotonic logics
formal theory