An ASP Semantics for Constraints Involving Conditional Aggregates.

Pedro Cabalar Jorge Fandinno Torsten Schaub Philipp Wanko

Published in: ECAI (2020)

Keyphrases

conditional logic
formal semantics
constraint satisfaction
web applications
answer set programming
constrained optimization
logic programming
semantic information
constraint programming
geometric constraints
global constraints
linear constraints
structural constraints
xml keys
derivation rules