Sign in

Taming Strategy Logic: Non-Recurrent Fragments.

Massimo BenerecettiFabio MogaveroAdriano 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