( en | de | ru )

 

Disambiguation of "Galliani, Pietro"

Author of the publication

copydeleteadd this publication to your clipboard
Sensible Semantics of Imperfect Information - On a Formal Feature of Meanings.

. ICLA, volume 6521 of Lecture Notes in Computer Science, page 79-89. Springer, (2011)

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.

Pietro Cortona

Pietro Moretto

Stefano Pietro

Pietro Cavallotti

Pietro Tierno

 

Other publications of authors with the same name

The Dynamification of Modal Dependence Logic.. J. Log. Lang. Inf., 22 (3): 269-295 (2013)Sensible Semantics of Imperfect Information - On a Formal Feature of Meanings.. ICLA, volume 6521 of Lecture Notes in Computer Science, page 79-89. Springer, (2011)Safe dependency atoms and possibility operators in team semantics.. Inf. Comput., (2021)Doubly Strongly First Order Dependencies.. WoLLIC, volume 13038 of Lecture Notes in Computer Science, page 47-63. Springer, (2021)Strongly First Order, Domain Independent Dependencies: The Union-Closed Case.. WoLLIC, volume 13468 of Lecture Notes in Computer Science, page 263-279. Springer, (2022)On Knowledge Dependence in Weighted Description Logic., , , , and . GCAI, volume 65 of EPiC Series in Computing, page 68-80. EasyChair, (2019)Almost Certain Termination for ALC Weakening., , , , , and . EPIA, volume 13566 of Lecture Notes in Computer Science, page 663-675. Springer, (2022)Team Semantics for Spatial Reasoning: Locality and Separability.. TriCoLore (C3GI/ISD/SCORE), volume 2347 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Towards Knowledge-driven Distillation and Explanation of Black-box Models., , , , , and . DAO-XAI, volume 2998 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Hierarchies in independence logic., , and . CSL, volume 23 of LIPIcs, page 263-280. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)