A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.

Pedro Cabalar Jorge Fandinno Torsten Schaub Philipp Wanko

Published in: KR (2020)

Keyphrases

linear constraints
answer set programming
constraint satisfaction
data streams
constraint programming
anti monotone
website
relational databases
query language
knowledge representation
health care
constrained optimization
hybrid approaches
multiple constraints
medical treatment