Liveness Properties in Geometric Logic for Domain-Theoretic Streams.

Colin Riba Solal Stern

Published in: CoRR (2023)

Keyphrases

real time
domain specific
logic programming
desirable properties
formal language
domain independent
information systems
multimedia
domain experts
modal logic
geometric structure
neural network
learning algorithm
multiscale
geometric constraints
logical framework