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:
Theory Pract. Log. Program. (2016)
Keyphrases
</>
answer set programming
logic programming
logic programs
constraint logic programming
databases
answer sets
modulo theories
database
expert systems
orders of magnitude
deductive databases
reasoning tasks
tree decomposition