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:
Theory Pract. Log. Program. (2016)
Keyphrases
</>
description logics
logic programming
answering queries
artificial intelligence
database
decision making
correct answers
answering questions
data sets
relational databases
special case
model checking
answer questions