Login / Signup
A Decidable Fragment of Strategy Logic
Fabio Mogavero
Aniello Murano
Giuseppe Perelli
Moshe Y. Vardi
Published in:
CoRR (2012)
Keyphrases
</>
automata theoretic
search strategy
neural network
first order logic
temporal logic
selection strategy
datalog programs
databases
expert systems
logic programming