Declarative specification and verification of service choreographiess
Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …
business collaborations within and across organizational boundaries, is currently of interest …
[图书][B] Specification and verification of declarative open interaction models: a logic-based approach
M Montali - 2010 - books.google.com
Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …
service composition are characterized by a distribution of activities and resources, and by …
Probabilistic declarative process mining
The management of business processes is receiving much attention, since it can support
significant efficiency improvements in organizations. One of the most interesting problems is …
significant efficiency improvements in organizations. One of the most interesting problems is …
Incremental declarative process mining
Business organizations achieve their mission by performing a number of processes. These
span from simple sequences of actions to complex structured sets of activities with complex …
span from simple sequences of actions to complex structured sets of activities with complex …
[PDF][PDF] Probabilistic Logic-Based Process Mining.
The management of business processes has recently received much attention, since it can
support significant efficiency improvements in organizations. One of the most interesting …
support significant efficiency improvements in organizations. One of the most interesting …
25 Years of Applications of Logic Programming in Italy
A Dal Palù, P Torroni - A 25-Year Perspective on Logic Programming …, 2010 - Springer
We present a review of practical applications of Logic Programming appeared in Italy since
1985. We classify them according to their area of application and discuss some trends …
1985. We classify them according to their area of application and discuss some trends …
25 years of applications of logic programming in Italy
We present a review of practical applications of Logic Programming appeared in Italy since
1985. We classify them according to their area of application and discuss some trends …
1985. We classify them according to their area of application and discuss some trends …
Runtime addition of integrity constraints in an abductive proof procedure
Abstract Abductive Logic Programming is a computationally founded representation of
abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific …
abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific …
[PDF][PDF] Runtime Addition of Integrity Constraints in SCIFF.
Abductive Logic Programming is a computationally founded representation of abductive
reasoning. In most ALP frameworks, integrity constraints express domain-specific logical …
reasoning. In most ALP frameworks, integrity constraints express domain-specific logical …