Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.
Bernard BoigelotPascal FontaineBaptiste VergainPublished in: CoRR (2023)
Keyphrases
- modal logic
- computational properties
- decision procedures
- pairwise
- description logics
- horn clauses
- logical formulas
- classical logic
- constraint databases
- automated reasoning
- automata theoretic
- multi valued
- query answering
- logic programming
- quantifier free
- databases
- logical framework
- inference rules
- datalog programs
- nonmonotonic logics
- database systems