Characterizing Evolutionary Trends in Temporal Knowledge Graphs with Linear Temporal Logic.

Valeria Fionda Giuseppe Pirrò

Published in: BigData (2023)

Keyphrases

temporal knowledge
temporal logic
linear temporal logic
model checking
temporal information
temporal reasoning
temporal constraints
formal representation
learning algorithm
reinforcement learning
first order logic
transition systems