Login / Signup
ExpTime Tableaux with Global Caching for Hybrid PDL.
Linh Anh Nguyen
Published in:
CoRR (2017)
Keyphrases
</>
description logics
upper bound
data access
global information
artificial intelligence
query processing
data management
access patterns
tree automata
knowledge base
knowledge representation
database applications
modal logic
prefetching