Eliminating Unfounded Set Checking for HEX-Programs

Thomas Eiter Michael Fink Thomas Krennwallner Christoph Redl Peter Schüller

Published in: CoRR (2013)

Keyphrases

answer sets
database
logic programs
real time
search engine
logic programming
fixpoint
finite state machines
convex hull
input data
probability distribution
np hard
lower bound
computational complexity
search algorithm
information systems
databases