Login / Signup
ExpTime Tableaux for Type PDL.
Agathoklis Kritsimallis
Ioannis Refanidis
Published in:
CoRR (2019)
Keyphrases
</>
upper bound
description logics
case study
reinforcement learning
database systems
database design
modal logic