( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Logic-Based Method for Business Process Knowledge Base Management.

, , , и . SEBD, стр. 170-181. Esculapio Editore, (2010)

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.

Maurizio Podda

Maurizio Venturini

Maurizio Zanazzi

Maurizio Serva

Maurizio Podda

 

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

Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach., и . CoRR, (2014)Totally correct logic program transformations via well-founded annotations., и . High. Order Symb. Comput., 21 (1-2): 235 (2008)Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates., , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 83-102. Springer, (2020)Preface., , и . Fundam. Informaticae, (2020)Analysis and Transformation of Constrained Horn Clauses for Program Verification., , , , , и . Theory Pract. Log. Program., 22 (6): 974-1042 (2022)Multiple Query Satisfiability of Constrained Horn Clauses., , , и . PADL, том 13880 из Lecture Notes in Computer Science, стр. 125-143. Springer, (2023)QuBPAL: Querying Business Process Knowledge., , и . Process Querying Methods, Springer, (2022)Lemma Generation for Horn Clause Satisfiability: A Preliminary Study., , , и . VPT@Programming, том 299 из EPTCS, стр. 4-18. (2019)Knowledge-Based Support to Business Innovation., , и . NGEBIS, том 864 из CEUR Workshop Proceedings, стр. 37-44. CEUR-WS.org, (2012)ABALearn: An Automated Logic-Based Learning System for ABA Frameworks., , и . AI*IA, том 14318 из Lecture Notes in Computer Science, стр. 3-16. Springer, (2023)