ActHEX: Implementing HEX Programs with Action Atoms.

Michael Fink Stefano Germano Giovambattista Ianni Christoph Redl Peter Schüller

Published in: LPNMR (2013)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
fixpoint
reasoning about actions
stable models
automatic programming
efficient implementation
semantics of logic programs
database
intermediate level
linear combination
expert systems
e learning
computer vision
databases