Author of the publication

Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.

. TIME, page 79-86. IEEE Computer Society, (2004)

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

Subsumption Computation on an Object-Oriented Data Model., , and . PDK, volume 567 of Lecture Notes in Computer Science, page 124-140. Springer, (1991)Do You Need Infinite Time?., , and . IJCAI, page 1516-1522. ijcai.org, (2019)First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic., , , , , and . CoRR, (2020)Editorial., , , and . J. Log. Comput., 14 (1): 1 (2004)Automated Reasoning in Temporal DL-Lite (Extended Abstract)., , , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)On Free Description Logics with Definite Descriptions., , , and . KR, page 63-73. (2021)Tractable Interval Temporal Propositional and Description Logics., , , and . AAAI, page 1417-1423. AAAI Press, (2015)Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions., , , , and . AAAI, page 6193-6201. AAAI Press, (2021)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)Enriching Data Models with Behavioral Constraints., , , and . Ontology Makes Sense, volume 316 of Frontiers in Artificial Intelligence and Applications, page 257-277. IOS Press, (2019)