Categorical Semantics for Time Travel.

Nicola Pinzani Stefano Gogioso Bob Coecke

Published in: LICS (2019)

Keyphrases

formal semantics
data sets
artificial intelligence
logic programming
neural network
data mining
decision trees
attribute values
conceptual model
schema mappings
categorical data
travel planning