Temporal Stream Logic modulo Theories.

Bernd Finkbeiner Philippe Heim Noemi Passing

Published in: FoSSaCS (2022)

Keyphrases

modulo theories
temporal information
temporal constraints
logic programming
temporal reasoning
answer set programming
multi valued
computational properties
optimal solution
computational complexity
data model
logic programs
modal logic
automated reasoning