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