Michal Zawidzki

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 15

Top Topics

Situation Calculus

Datalog Programs

Top Venues

J. Artif. Intell. Res.

Publications

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Finite Materialisability of Datalog Programs with Metric Temporal Operators. J. Artif. Intell. Res. 76 (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki
Hybrid Modal Operators for Definite Descriptions. JELIA (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. AAAI (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase
Computing All Facts Entailed By An LTL Specification. KR (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Reasoning Techniques in DatalogMTL. Datalog (2022)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Finitely Materialisable Datalog Programs with Metric Temporal Operators. KR (2021)
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
Tableau-based decision procedure for non-Fregean logic of sentential identity. CoRR (2021)
Andrzej Indrzejczak, Michal Zawidzki
Tableaux for Free Logics with Descriptions. CoRR (2021)
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. CADE (2021)
Andrzej Indrzejczak, Michal Zawidzki
Tableaux for Free Logics with Descriptions. TABLEAUX (2021)
Przemyslaw Andrzej Walega, Michal Zawidzki
Subject-oriented spatial logic. Inf. Comput. 280 (2021)
Przemyslaw Andrzej Walega, Michal Zawidzki
A Modal Logic for Subject-Oriented Spatial Reasoning. TIME (2019)
Yaroslav I. Petrukhin, Michal Zawidzki
From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics. AI*IA (2019)
Joanna Golinska-Pilarek, Michal Zawidzki
Tableau-based Decision Procedure for the Logic SCI. OVERLAY@AI*IA (2019)
Przemyslaw Andrzej Walega, Michal Zawidzki, Tomasz Lechowski
Qualitative Physics in Angry Birds. IEEE Trans. Comput. Intell. AI Games 8 (2) (2016)
Michal Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky
Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. Inf. Process. Lett. 113 (1-2) (2013)