First-Order Sketch Conditions and Constraints - A Category Independent Approach.

Published in: CoRR (2021)

Keyphrases

sufficient conditions
first order logic
initial conditions
constraint satisfaction
higher order
environmental conditions
linear constraints
database
real time
databases
description logics
geometric constraints
constrained optimization
resource constraints
mixed integer
stochastic dominance