A Complete Proof System for Timed Observations.

Yolanda Ortega-Mallén David de Frutos-Escrig

Published in: TAPSOFT, Vol.1 (1991)

Keyphrases

petri net
modal logic
artificial intelligence
image processing
probabilistic model
real time
data sets
databases
computer vision