Taming Strategy Logic: Non-Recurrent Fragments.

Massimo Benerecetti Fabio Mogavero Adriano Peron

Published in: TIME (2022)

Keyphrases

neural network
logic programming
feed forward
real time
modal logic
recurrent neural networks
computational properties
asynchronous circuits
databases
genetic algorithm
selection strategy
probability theory
epistemic logic