Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements.

Agathoklis Kritsimallis

Published in: ICTAC (2017)

Keyphrases

query processing
information retrieval
data access
prefetching
learning algorithm
natural language
customer satisfaction
data sets
databases
genetic algorithm
modal logic
user satisfaction
decision procedures