A Tutorial on Hybrid Answer Set Solving with clingo.

Roland Kaminski Torsten Schaub Philipp Wanko

Published in: Reasoning Web (2017)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
fixpoint
database
information retrieval
combinatorial optimization
deductive databases
answer set programs
information systems
sat solvers