C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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