( en | de | ru )

 

Disambiguation of "Artale, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.

, , , and . BPM, volume 11675 of Lecture Notes in Computer Science, page 139-156. Springer, (2019)

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.

Angelo Artale

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Zivelonghi

Alessandro Nova

Alessandro Topa

 

Other publications of authors with the same name

Full Satisfiability of UML Class Diagrams., , and . ER, volume 6412 of Lecture Notes in Computer Science, page 317-331. Springer, (2010)Representing a robotic domain using temporal description logics., and . Artif. Intell. Eng. Des. Anal. Manuf., 13 (2): 105-117 (1999)Description Logics for Modeling Dynamic Information., , and . Logics for Emerging Applications of Databases, page 239-275. Springer, (2003)Open Problems with Part-Whole Relations., , and . Description Logics, volume WS-96-05 of AAAI Technical Report, page 70-73. AAAI Press, (1996)A Temporal Description Logic for Reasoning about Actions and Plans., and . J. Artif. Intell. Res., (1998)First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications., , and . CoRR, (2022)First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries., , , , , and . CoRR, (2021)Introducing Knowledge Representation Techniques in Database Models., , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 375-384. Springer, (1991)Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)., , , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract)., , , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)