Tabling with Sound Answer Subsumption.

Alexander Vandenbroucke Maciej Piróg Benoit Desouter Tom Schrijvers

Published in: CoRR (2016)

Keyphrases

logic programming
description logics
np complete
real time
databases
relational databases
data sets
information retrieval
email
transitive closure
answering queries