Login / Signup
Conflict-driven ASP Solving with External Sources and Program Splits.
Christoph Redl
Published in:
IJCAI (2017)
Keyphrases
</>
answer set programming
data driven
conflict resolution
computer vision
answer set programs
computer programs
program execution
data sets
databases
neural network
information retrieval
search engine
decision making
website
static analysis
programming environment