( en | de | ru )

 

Disambiguierung von "Montali, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On First-Order mu-Calculus over Situation Calculus Action Theories

, , , und . Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., Seite 411--420. (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marco Montali

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

 

Weitere Publikationen von Autoren mit dem selben Namen

From DB-nets to Coloured Petri Nets with Priorities (Extended Version)., und . CoRR, (2019)From DB-nets to Coloured Petri Nets with Priorities., und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 449-469. Springer, (2019)Combined Covers and Beth Definability., , , , und . CoRR, (2019)Semantic Enrichment of GSM-Based Artifact-Centric Models, , , und . Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR, AAAI Press, (2014)Semantics and Analysis of DMN Decision Tables., , , , , und . EMISA Forum, 37 (1): 49-51 (2017)Human Behavior as a Process Model: Which Language to Use?, , und . ITBPM@BPM, Volume 2952 von CEUR Workshop Proceedings, Seite 18-25. CEUR-WS.org, (2021)Optimising Business Process Discovery Using Answer Set Programming., , , , , , , , und . LPNMR, Volume 13416 von Lecture Notes in Computer Science, Seite 498-504. Springer, (2022)Conformance Checking with Uncertainty via SMT., , , , und . BPM, Volume 13420 von Lecture Notes in Computer Science, Seite 199-216. Springer, (2022)A Tool for Computing Probabilistic Trace Alignments., , , und . CAiSE Forum, Volume 424 von Lecture Notes in Business Information Processing, Seite 118-126. Springer, (2021)Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata., , und . AAAI, Seite 10525-10534. AAAI Press, (2024)