Discounting in Strategy Logic.

Munyque Mittelmann Aniello Murano Laurent Perrussel

Published in: CoRR (2023)

Keyphrases

logic programming
real world
database systems
multi valued
artificial intelligence
data structure
search strategy
selection strategy
classical logic
set theory