Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system., and . Intelligenza Artificiale, 2 (3): 45-51 (2005)Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes., , , , , and . Fundam. Inform., 102 (3-4): 325-361 (2010)Exploiting Inductive Logic Programming Techniques for Declarative Process Mining., , , , , and . Trans. Petri Nets and Other Models of Concurrency, (2009)A Retrospective on the Reactive Event Calculus and Commitment Modeling Language., , , and . DALT, volume 7169 of Lecture Notes in Computer Science, page 120-127. Springer, (2011)Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation., , and . ISMIS, volume 10352 of Lecture Notes in Computer Science, page 3-16. Springer, (2017)A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening., , , , and . ISMIS, volume 4203 of Lecture Notes in Computer Science, page 338-343. Springer, (2006)Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems., , , , , and . RuleML America, volume 7018 of Lecture Notes in Computer Science, page 267-281. Springer, (2011)Distributed Compliance Monitoring of Business Processes over MapReduce Architectures., , , and . ICPE Companion, page 79-84. ACM, (2017)A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules., , , and . RR, volume 6333 of Lecture Notes in Computer Science, page 227-230. Springer, (2010)A Game-Based Competition as Instrument for Teaching Artificial Intelligence., , , and . AI*IA, volume 10640 of Lecture Notes in Computer Science, page 72-84. Springer, (2017)