ExpTime Tableaux with Global Caching for Hybrid PDL.

Linh Anh Nguyen

Published in: J. Autom. Reason. (2020)

Keyphrases

upper bound
description logics
first order logic
data access
query processing
modal logic
case based reasoning
mobile environments
decision procedures