Login / Signup
Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining.
Christoph Redl
Published in:
AAAI (2017)
Keyphrases
</>
answer set programs
machine learning
orders of magnitude
software engineering
high level
constraint satisfaction
answer set programming