Login / Signup
A model building framework for Answer Set Programming with external computations.
Thomas Eiter
Michael Fink
Giovambattista Ianni
Thomas Krennwallner
Christoph Redl
Peter Schüller
Published in:
CoRR (2015)
Keyphrases
</>
answer set programming
logic programs
logic programming
answer sets
stable model semantics
machine learning
answer set programs
database systems
relational databases
constraint logic programming
update semantics
haplotype inference