Author of the publication

Doubly Strongly First Order Dependencies.

. WoLLIC, volume 13038 of Lecture Notes in Computer Science, page 47-63. Springer, (2021)

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

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)Team Semantics for Spatial Reasoning: Locality and Separability.. TriCoLore (C3GI/ISD/SCORE), volume 2347 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)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)Towards Knowledge-driven Distillation and Explanation of Black-box Models., , , , , and . DAO-XAI, volume 2998 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Almost Certain Termination for ALC Weakening., , , , , and . EPIA, volume 13566 of Lecture Notes in Computer Science, page 663-675. Springer, (2022)On Knowledge Dependence in Weighted Description Logic., , , , and . GCAI, volume 65 of EPiC Series in Computing, page 68-80. EasyChair, (2019)Hierarchies in independence logic., , and . CSL, volume 23 of LIPIcs, page 263-280. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)