( en | de | ru )

 

Disambiguation of "Zawidzki, Michal"

Author of the publication

copydeleteadd this publication to your clipboard
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.

, , , and . AAAI, page 6566-6574. AAAI Press, (2023)

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.

Susanne Zawidzki

Michal Pejko

Michal Olszewski

Michal Goldmann

Michal Vorel

 

Other publications of authors with the same name

Hybrid Modal Operators for Definite Descriptions., and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 712-726. Springer, (2023)Finite Materialisability of Datalog Programs with Metric Temporal Operators., , and . J. Artif. Intell. Res., (2023)From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics., and . AI*IA, volume 11946 of Lecture Notes in Computer Science, page 116-131. Springer, (2019)A Modal Logic for Subject-Oriented Spatial Reasoning., and . TIME, volume 147 of LIPIcs, page 4:1-4:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Qualitative Physics in Angry Birds., , and . IEEE Trans. Comput. Intellig. and AI in Games, 8 (2): 152-165 (2016)Subject-oriented spatial logic., and . Inf. Comput., (2021)Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity., , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 41-57. Springer, (2021)Tableau-based Decision Procedure for the Logic SCI., and . OVERLAY@AI*IA, volume 2509 of CEUR Workshop Proceedings, page 23-28. CEUR-WS.org, (2019)Computing All Facts Entailed By An LTL Specification., , and . KR, page 679-689. (2023)Finitely Materialisable Datalog Programs with Metric Temporal Operators., , and . KR, page 619-628. (2021)