Daniil Kozhemiachenko

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 16

Top Topics

Qualitative Reasoning

Belief Functions

Combination Rule

Top Venues

Int. J. Approx. Reason.

Publications

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
Reasoning with belief functions over Belnap-Dunn logic. Ann. Pure Appl. Log. 175 (9) (2024)
Daniil Kozhemiachenko, Liubov Vashentseva
Non-contingency in a paraconsistent setting. Log. J. IGPL 32 (3) (2024)
Daniil Kozhemiachenko
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss. CoRR (2024)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Two-Layered Logics for Paraconsistent Probabilities. WoLLIC (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Qualitative reasoning in a two-layered framework. Int. J. Approx. Reason. 154 (2023)
Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
Presumptive Reasoning in a Paraconsistent Setting. TARK (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Non-standard Modalities in Paraconsistent Gödel Logic. JELIA (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
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. JIAF (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Paraconsistent Gödel modal logic on bi-relational frames. CoRR (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. ISIPTA (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
Fonctions de croyances interprétées sur la logique de Belnap-Dunn. JIAF (2022)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Paraconsistent Gödel Modal Logic. IJCAR (2022)
Daniil Kozhemiachenko
Non-distributive Relatives of ETL and NFL. Stud Logica 109 (1) (2021)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Constraint Tableaux for Two-Dimensional Fuzzy Logics. TABLEAUX (2021)
Daniil Kozhemiachenko
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss. J. Appl. Non Class. Logics 28 (4) (2018)
Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. FLAP 5 (1) (2018)