( en | de | ru )

 

Disambiguation of "Giacomo, Giuseppe De"

Author of the publication

copydeleteadd this publication to your clipboard
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.

, , , and . ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 369-374. IOS Press, (2014)

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.

Giacomo Ricciarelli

Giacomo D'Antonio

Giacomo Fornari

Giacomo Gazzaniga

Giacomo D'Antonio

 

Other publications of authors with the same name

Decidable containment of recursive queries., , and . Theor. Comput. Sci., 336 (1): 33-56 (2005)Data Integration in Data Warehousing., , , , and . Int. J. Cooperative Inf. Syst., 10 (3): 237-271 (2001)Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes., , , , and . PMAI@IJCAI, volume 3310 of CEUR Workshop Proceedings, page 101-104. CEUR-WS.org, (2022)Verification of Generic, Relational Transition Systems., , , and . PMAI@IJCAI, volume 3310 of CEUR Workshop Proceedings, page 93-96. CEUR-WS.org, (2022)sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties., , , , , and . EUMAS, volume 14282 of Lecture Notes in Computer Science, page 263-279. Springer, (2023)EQL-Lite: Effective First-Order Query Processing in Description Logics., , , , and . IJCAI, page 274-279. (2007)Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach., , , , and . DBPL, volume 3774 of Lecture Notes in Computer Science, page 90-105. Springer, (2005)DL-Lite: Tractable Description Logics for Ontologies., , , , and . AAAI, page 602-607. AAAI Press / The MIT Press, (2005)Tackling Inconsistencies in Data Integration through Source Preferences., , , and . IQIS, page 27-34. ACM, (2004)Information Integration: Conceptual Modeling and Reasoning Support., , , , and . CoopIS, page 280-291. IEEE Computer Society, (1998)