Michal Sochanski

According to our database, Michal Sochanski authored at least 5 papers between 2018 and 2026.

Collaborative distances:

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

2026

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction.

Michal Sochanski, Przemyslaw Andrzej Walega, Michal Zawidzki

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2022

Representing Formulas of Propositional Logic by Cographs, Permutations and Tables.

Michal Sochanski

Proceedings of the Diagrammatic Representation and Inference, 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

2020

Experimenting with Diagrams in Mathematics.

Michal Sochanski

Proceedings of the Diagrammatic Representation and Inference, 2020

2018

Interpreting Diagrammatic Reasoning - Between Empiricism and Realism.

Michal Sochanski

Proceedings of the Diagrammatic Representation and Inference, 2018