Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving.

Yuliya Lierler Shaden Smith Miroslaw Truszczynski Alex Westlund

Published in: PADL (2012)

Keyphrases

answer set programming
data sets
real time
information systems
expert systems
dynamic programming
solving problems