Login / Signup
On the Succinctness of RoCTL*.
John Christopher McCabe-Dansted
Published in:
CATS (2011)
Keyphrases
</>
modal logic
knowledge compilation
database
database systems
database management systems
np hard
computational complexity
management system
natural language processing
search algorithm
data management
user defined