Linear-time Temporal Logic with Event Freezing Functions.

Stefano Tonetta

Published in: GandALF (2017)

Keyphrases

linear time temporal logic
artificial intelligence
expert systems
model checking
sequent calculus
cut elimination
natural language
general purpose
euclidean distance
event detection