Found: 9
Select item for more details and to access through your institution.
Unleashing textual descriptions of business processes.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 6, p. 2131, doi. 10.1007/s10270-021-00886-x
- By:
- Publication type:
- Article
Soundness of data-aware, case-centric processes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 535, doi. 10.1007/s10009-016-0417-2
- By:
- Publication type:
- Article
A Computational Logic Application Framework for Service Discovery and Contracting.
- Published in:
- International Journal of Web Services Research, 2011, v. 8, n. 3, p. 1, doi. 10.4018/jwsr.2011070101
- By:
- Publication type:
- Article
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 158, doi. 10.1017/S1471068422000023
- By:
- Publication type:
- Article
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.
- Published in:
- Theory & Practice of Logic Programming, 2019, v. 19, n. 4, p. 536, doi. 10.1017/S1471068418000479
- By:
- Publication type:
- Article
Description Logic Knowledge and Action Bases.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 651, doi. 10.1613/jair.3826
- By:
- Publication type:
- Article
SMT-based verification of data-aware processes: a model-theoretic approach.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 3, p. 271, doi. 10.1017/S0960129520000067
- By:
- Publication type:
- Article
Special Issue on Multi-Level Modeling Process Challenge: Editorial.
- Published in:
- Enterprise Modelling & Information Systems Architectures, 2022, v. 17, n. 4, p. 1, doi. 10.18417/emisa.17.4
- By:
- Publication type:
- Article
Verifying the manipulation of data objects according to business process and data models.
- Published in:
- Knowledge & Information Systems, 2020, v. 62, n. 7, p. 2653, doi. 10.1007/s10115-019-01431-5
- By:
- Publication type:
- Article