The Triguarded Fragment with Transitivity.

Emanuel Kieronski Adam Malinowski

Published in: LPAR (2020)

Keyphrases

neural network
database
real time
databases
real world
database systems
pattern recognition
multiresolution
equivalence relation