Michał Zawidzki : Publications
-
[1]
Finitely Materialisable Datalog Programs with Metric Temporal Operators
Bernardo Cuenca Grau Przemysław A. Wałęga Michał Zawidzki
In Meghyn Bienvenu‚ Gerhard Lakemeyer and Esra Erdem, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning — Full Papers — Main Track. Pages 619–628. IJCAI Organization. 2021.
Details about Finitely Materialisable Datalog Programs with Metric Temporal Operators | BibTeX data for Finitely Materialisable Datalog Programs with Metric Temporal Operators | DOI (10.24963/kr.2021/59)
-
[2]
Subject−oriented spatial logic
Michał Zawidzki Przemysław A. Wałęga
In Information and Computation. Vol. 280. Pages 104643. 2021.
Details about Subject−oriented spatial logic | BibTeX data for Subject−oriented spatial logic | DOI (10.1016/j.ic.2020.104643)
-
[3]
Tableaux for Free Logics with Descriptions
Andrzej Indrzejczak and Michał Zawidzki
In Anupam Das and Sara Negri, editors, Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021. Vol. 12842 of Lecture Notes in Computer Science. Pages 56−73. Cham. 2021. Springer.
Details about Tableaux for Free Logics with Descriptions | BibTeX data for Tableaux for Free Logics with Descriptions | DOI (10.1007/978-3-030-86059-2_4)
-
[4]
Tableau−based Decision Procedure for Non−Fregean Logic of Sentential Identity
Joanna Golińska−Pilarek‚ Michał Zawidzki and Taneli Huuskonen
In André Platzer and Geoff Sutcliffe, editors, Automated Deduction – CADE 28. CADE 2021. Vol. 12699 of Lecture Notes in Computer Science. Pages 41−57. Cham. 2021. Springer.
Details about Tableau−based Decision Procedure for Non−Fregean Logic of Sentential Identity | BibTeX data for Tableau−based Decision Procedure for Non−Fregean Logic of Sentential Identity | DOI (10.1007/978-3-030-79876-5_3)