Temporal Stream Logic modulo Theories.

Bernd Finkbeiner Philippe Heim Noemi Passing

Published in: CoRR (2021)

Keyphrases

modulo theories
temporal reasoning
logic programming
temporal constraints
answer set programming
automated reasoning
special case
temporal information
modal logic
optimal solution
multi valued