Daniil Kozhemiachenko

According to our database, Daniil Kozhemiachenko authored at least 13 papers between 2018 and 2023.

Collaborative distances:

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

2023

Qualitative reasoning in a two-layered framework.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer

Int. J. Approx. Reason., March, 2023

Presumptive Reasoning in a Paraconsistent Setting.

Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Paraconsistent Gödel modal logic on bi-relational frames.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

CoRR, 2023

Two-Layered Logics for Paraconsistent Probabilities.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer

Proceedings of the Logic, Language, Information, and Computation, 2023

Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Non-standard Modalities in Paraconsistent Gödel Logic.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar

Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

2022

Fonctions de croyances interprétées sur la logique de Belnap-Dunn.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari

Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

Paraconsistent Gödel Modal Logic.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

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

2021

Non-distributive Relatives of ETL and NFL.

Daniil Kozhemiachenko

Stud Logica, 2021

Constraint Tableaux for Two-Dimensional Fuzzy Logics.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2018

Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.

Daniil Kozhemiachenko

J. Appl. Non Class. Logics, 2018

Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications.

Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin

FLAP, 2018