On the initialization of clocks in timed formalisms.

Marcello M. Bersani Matteo Rossi Pierluigi San Pietro

Published in: Theor. Comput. Sci. (2020)

Keyphrases

petri net
logic programming
nonmonotonic reasoning
k means
knowledge representation formalisms
computer vision
discrete event
artificial intelligence
search engine
image processing
multi agent
expert systems
hidden markov models
knowledge representation
reasoning tasks