( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tractable Interval Temporal Propositional and Description Logics.

, , , и . AAAI, стр. 1417-1423. AAAI Press, (2015)

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.

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

 

Другие публикации лиц с тем же именем

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