Login / Signup
Logics of First-Order Constraints - A Category Independent Approach.
Uwe Wolter
Published in:
CoRR (2021)
Keyphrases
</>
first order logic
expressive power
global constraints
constrained optimization
linear constraints
conditional logic
data sets
cardinality constraints
higher order
constraint satisfaction
inference rules
propositional logic
default reasoning
valued logic