( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On First-Order mu-Calculus over Situation Calculus Action Theories

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

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

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

 

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

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness., , и . Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, стр. 1027-1033. AAAI Press, (2014)Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines, , , , , , и . Knowledge Representation for Health-Care. Data, Processes and Guidelines, Springer, (2010)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)The biggest business process management problems to solve before we die., , , , , , , , , и 32 other автор(ы). Comput. Ind., (апреля 2023)Model Completeness, Covers and Superposition (Abridged Version)., , , , и . CILC, том 2396 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Mapping Patterns for Virtual Knowledge Graphs., , , , , и . CoRR, (2020)Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version)., , и . CoRR, (2023)