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