One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past.

Luca Geatti Nicola Gigante Angelo Montanari Mark Reynolds

Published in: GandALF (2018)

Keyphrases

tree shaped
building blocks
database
real world
artificial intelligence
data structure
distributed systems
computer vision
information systems
case study
image segmentation
three dimensional
intelligent systems
learning systems