Szymon Chlebowski

According to our database, Szymon Chlebowski authored at least 9 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC.

Szymon Chlebowski, Andrzej Gajda, Mariusz Urbanski

Stud Logica, 2022

Natural Deduction Systems for Intuitionistic Logic with Identity.

Szymon Chlebowski, Marta Gawek, Agata Tomczyk

Stud Logica, 2022

Synthetic Tableaux: Minimal Tableau Search Heuristics.

Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2019

Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study.

Dorota Leszczynska-Jasion, Mateusz Ignaszak, Szymon Chlebowski

Stud Logica, 2019

Synthetic Tableaux with Unrestricted Cut for First-Order Theories.

Dorota Leszczynska-Jasion, Szymon Chlebowski

Axioms, 2019

2018

Sequent Calculi for SCI.

Szymon Chlebowski

Stud Logica, 2018

2017

Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction.

Szymon Chlebowski, Maciej Komosinski, Adam Kups

ACM Trans. Comput. Log., 2017

Abductive Question-Answer System ( \mathsf AQAS ) for Classical Propositional Logic.

Szymon Chlebowski, Andrzej Gajda

Proceedings of the Flexible Query Answering Systems - 12th International Conference, 2017

2015

Dual Erotetic Calculi and the Minimal LFI.

Szymon Chlebowski, Dorota Leszczynska-Jasion

Stud Logica, 2015