An ASP semantics for Constraints involving Conditional Aggregates.
Pedro CabalarJorge FandinnoTorsten SchaubPhilipp WankoPublished in: CoRR (2020)
Keyphrases
- semantic properties
- conditional logic
- constraint satisfaction
- answer set programming
- derivation rules
- constraint programming
- logic programming
- web applications
- global constraints
- operational semantics
- structural constraints
- constraint satisfaction problems
- expressive power
- database
- constrained optimization
- linear constraints
- query processing
- data streams
- constraint language
- anti monotone
- databases