Login / Signup
Discounting in Strategy Logic.
Munyque Mittelmann
Aniello Murano
Laurent Perrussel
Published in:
IJCAI (2023)
Keyphrases
</>
search strategy
digital circuits
logic programming
modal logic
classical logic
computer vision
image sequences
natural language
expert systems
evolutionary algorithm
optimal strategy
automated reasoning
computational properties
deontic logic