Data di Pubblicazione:
2021
Abstract:
The design of temporal networks typically follows a top-down approach where a designer handcrafts a temporal network to model some concrete plan of interest. Instead, the bottom-up approach of mining is the process of building a temporal network from a set of execution traces of some (typically unknown) underlying process. Recent research showed that, due to the structural properties of temporal networks, such a task can be done in polynomial time. In this paper, we give an overview of the current status of our research and highlight open problems concerning Formal Methods and Artificial Intelligence.
Tipologia CRIS:
04.01 - Contributo in atti di convegno
Keywords:
Mining temporal networks, cstnud, uncertainty, formal methods for AI
Elenco autori:
Sciavicco, G.; Villa, T.; Zavatteri, M.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
OVERLAY 21: Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2021
Pubblicato in: