( en | de | ru )

 

Disambiguation of "Artale, Alessandro"

Author of the publication

copydeleteadd this publication to your clipboard
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).

, , , , , and . IJCAI, page 5703-5707. ijcai.org, (2022)

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 Nova

Alessandro Zivelonghi

Alessandro Manfredini

 

Other publications of authors with the same name

First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic., , , , , and . CoRR, (2020)Complexity of Safety and coSafety Fragments of Linear Temporal Logic., , , , and . CoRR, (2022)Evolving objects in temporal information systems., , and . Ann. Math. Artif. Intell., 50 (1-2): 5-38 (2007)A survey of temporal extensions of description logics., and . Ann. Math. Artif. Intell., 30 (1-4): 171-210 (2000)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)Editorial., , , and . J. Log. Comput., 14 (1): 1 (2004)Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions., , , , and . AAAI, page 6193-6201. AAAI Press, (2021)Tractable Interval Temporal Propositional and Description Logics., , , and . AAAI, page 1417-1423. AAAI Press, (2015)Automated Reasoning in Temporal DL-Lite (Extended Abstract)., , , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)