Szymon Chlebowski

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 9

Top Topics

Asked Questions

Natural Deduction

Intuitionistic Logic

Theorem Proving

Top Venues

ACM Trans. Comput. Log.

Publications

Szymon Chlebowski, Marta Gawek, Agata Tomczyk
Natural Deduction Systems for Intuitionistic Logic with Identity. Stud Logica 110 (6) (2022)
Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz
Synthetic Tableaux: Minimal Tableau Search Heuristics. IJCAR (2022)
Szymon Chlebowski, Andrzej Gajda, Mariusz Urbanski
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC. Stud Logica 110 (2) (2022)
Dorota Leszczynska-Jasion, Mateusz Ignaszak, Szymon Chlebowski
Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study. Stud Logica 107 (2) (2019)
Dorota Leszczynska-Jasion, Szymon Chlebowski
Synthetic Tableaux with Unrestricted Cut for First-Order Theories. Axioms 8 (4) (2019)
Szymon Chlebowski
Sequent Calculi for SCI. Stud Logica 106 (3) (2018)
Szymon Chlebowski, Maciej Komosinski, Adam Kups
Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction. ACM Trans. Comput. Log. 18 (2) (2017)
Szymon Chlebowski, Andrzej Gajda
Abductive Question-Answer System ( \mathsf AQAS ) for Classical Propositional Logic. FQAS (2017)
Szymon Chlebowski, Dorota Leszczynska-Jasion
Dual Erotetic Calculi and the Minimal LFI. Stud Logica 103 (6) (2015)