Skip to Main Content (Press Enter)

Logo UNIPD
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze

UNI-FIND
Logo UNIPD

|

UNI-FIND

unipd.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze
  1. Pubblicazioni

Mining temporal networks: Results and open problems

Contributo in Atti di convegno
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:
https://www.research.unipd.it/handle/11577/3493349
Link al Full Text:
https://www.research.unipd.it//retrieve/handle/11577/3493349/910692/OVERLAY-2021-mining-CSTNUD.pdf
Titolo del libro:
OVERLAY 21: Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2021
Pubblicato in:
CEUR WORKSHOP PROCEEDINGS
Journal
CEUR WORKSHOP PROCEEDINGS
Series
  • Dati Generali

Dati Generali

URL

https://ceur-ws.org/Vol-2987/paper6.pdf
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0