Michal Zawidzki

25 papers A* 4A 1B 2C 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction.
AAAI
Michal Sochanski, Przemyslaw Andrzej Walega, Michal Zawidzki
2025 — conf
Deciding Non-fregean Identities: A Dual Tableau Approach.
JELIA (2)
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2025 J jnl
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction.
CoRR
Michal Sochanski, Przemyslaw Andrzej Walega, Michal Zawidzki
2025 — conf
On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order.
JELIA (2)
Andrzej Indrzejczak, Przemyslaw Andrzej Walega, Michal Zawidzki
2024 J jnl
Definite Descriptions and Hybrid Tense Logic.
CoRR
Andrzej Indrzejczak, Michal Zawidzki
2024 J jnl
Hybrid Modal Operators for Definite Descriptions.
CoRR
Przemyslaw Andrzej Walega, Michal Zawidzki
2024 — ed.
Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, NCL 2024, Łódź, Poland, 5-8 September 2024.
NCL
Andrzej Indrzejczak, Michal Zawidzki
2023 A* conf
Computing All Facts Entailed By An LTL Specification.
KR
Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase
2023 J jnl
Finite Materialisability of Datalog Programs with Metric Temporal Operators.
J. Artif. Intell. Res.
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2023 B conf
Hybrid Modal Operators for Definite Descriptions.
JELIA
Przemyslaw Andrzej Walega, Michal Zawidzki
2023 A* conf
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.
AAAI
Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau
2022 — ed.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022.
NCL
Andrzej Indrzejczak, Michal Zawidzki
2022 — conf
Reasoning Techniques in DatalogMTL.
Datalog
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2021 A* conf
Finitely Materialisable Datalog Programs with Metric Temporal Operators.
KR
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2021 J jnl
Subject-oriented spatial logic.
Inf. Comput.
Przemyslaw Andrzej Walega, Michal Zawidzki
2021 A conf
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.
CADE
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2021 J jnl
Tableau-based decision procedure for non-Fregean logic of sentential identity.
CoRR
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2021 B conf
Tableaux for Free Logics with Descriptions.
TABLEAUX
Andrzej Indrzejczak, Michal Zawidzki
2021 J jnl
Tableaux for Free Logics with Descriptions.
CoRR
Andrzej Indrzejczak, Michal Zawidzki
2019 C conf
A Modal Logic for Subject-Oriented Spatial Reasoning.
TIME
Przemyslaw Andrzej Walega, Michal Zawidzki
2019 — conf
From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics.
AI*IA
Yaroslav I. Petrukhin, Michal Zawidzki
2019 — conf
Tableau-based Decision Procedure for the Logic SCI.
OVERLAY@AI*IA
Joanna Golinska-Pilarek, Michal Zawidzki
2016 J jnl
Qualitative Physics in Angry Birds.
IEEE Trans. Comput. Intell. AI Games
Przemyslaw Andrzej Walega, Michal Zawidzki, Tomasz Lechowski
2015 — ed.
Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), Lódz, Poland, September 13-16, 2015
LQMR@FedCSIS
Tomasz Lechowski, Przemyslaw Andrzej Walega, Michal Zawidzki
2013 J jnl
Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete.
Inf. Process. Lett.
Michal Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky