Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints.

Andreas Teucke Christoph Weidenbach

Published in: CoRR (2017)

Keyphrases

automata theoretic
linear constraints
datalog queries
description logics
query containment
information extraction
higher order
first order logic
constraint satisfaction
temporal logic
natural language processing
closed form
straight line
constrained optimization
mixed integer