Michal Zawidzki

According to our database, Michal Zawidzki authored at least 16 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications.

Andrzej Indrzejczak, Michal Zawidzki

CoRR, 2024

Definite Descriptions and Hybrid Tense Logic.

Andrzej Indrzejczak, Michal Zawidzki

CoRR, 2024

2023

Finite Materialisability of Datalog Programs with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

J. Artif. Intell. Res., 2023

Computing All Facts Entailed By An LTL Specification.

Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Hybrid Modal Operators for Definite Descriptions.

Przemyslaw Andrzej Walega, Michal Zawidzki

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.

Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Reasoning Techniques in DatalogMTL.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

Subject-oriented spatial logic.

Przemyslaw Andrzej Walega, Michal Zawidzki

Inf. Comput., 2021

Tableaux for Free Logics with Descriptions.

Andrzej Indrzejczak, Michal Zawidzki

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Finitely Materialisable Datalog Programs with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.

Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki

Proceedings of the Automated Deduction - CADE 28, 2021

2019

A Modal Logic for Subject-Oriented Spatial Reasoning.

Przemyslaw Andrzej Walega, Michal Zawidzki

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics.

Yaroslav I. Petrukhin, Michal Zawidzki

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

Tableau-based Decision Procedure for the Logic SCI.

Joanna Golinska-Pilarek, Michal Zawidzki

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2016

Qualitative Physics in Angry Birds.

Przemyslaw Andrzej Walega, Michal Zawidzki, Tomasz Lechowski

IEEE Trans. Comput. Intell. AI Games, 2016

2013

Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete.

Michal Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky

Inf. Process. Lett., 2013