A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.

Pedro Cabalar Jorge Fandinno Torsten Schaub Philipp Wanko

Published in: CoRR (2020)

Keyphrases

np complete
constrained optimization
constraint satisfaction
answer set programming
real time
machine learning
web applications
constraint programming
hybrid learning
linear constraints
lower bound
global constraints
temporal aggregation