PDL with Intersection and Converse is 2EXP-complete.

Stefan Göller Markus Lohrey Carsten Lutz

Published in: Algorithmic-Logical Theory of Infinite Structures (2007)

Keyphrases

knowledge representation
database
databases
neural network
data mining
cooperative
artificial neural networks
special case