Conflict-driven ASP Solving with External Sources

Thomas Eiter Michael Fink Thomas Krennwallner Christoph Redl

Published in: CoRR (2012)

Keyphrases

answer set programming
conflict resolution
data driven
web applications
combinatorial optimization
neural network
decision making
multiscale
relational databases
multiresolution
resolving conflicts