( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints.

, , , , , , , , и . CILC, том 3204 из CEUR Workshop Proceedings, стр. 201-216. CEUR-WS.org, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Marco Montali

Monika Marcotty

Carlos Javier Marcos Navas

Johannes Marcour

Hans-Ernst Marcolin

 

Другие публикации лиц с тем же именем

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version)., , и . CoRR, (2023)Mapping Patterns for Virtual Knowledge Graphs., , , , , и . CoRR, (2020)Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review., , и . CoRR, (2023)Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge., , , и . Theory Pract. Log. Program., 19 (4): 536-573 (2019)Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines, , , , , , и . Knowledge Representation for Health-Care. Data, Processes and Guidelines, Springer, (2010)Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness., , и . Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, стр. 1027-1033. AAAI Press, (2014)Fifty Shades of Green: How Informative is a Compliant Process Trace?, , , и . CAiSE, том 11483 из Lecture Notes in Computer Science, стр. 611-626. Springer, (2019)Model Completeness, Covers and Superposition., , , , и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 142-160. Springer, (2019)Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis., , , и . IJCAI, стр. 4247-4253. AAAI Press, (2015)Exploiting Inductive Logic Programming Techniques for Declarative Process Mining., , , , , и . Trans. Petri Nets Other Model. Concurr., (2009)