Daniil Kozhemiachenko

35 papers A* 3A 1B 6C 2Journal 19Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Abductive Reasoning in Expansions of Belnap-Dunn Logic.
J. Artif. Intell. Res.
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2026 J jnl
Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics.
J. Artif. Intell. Res.
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
2025 A* conf
Complexity of Abduction in Łukasiewicz Logic.
KR
Katsumi Inoue, Daniil Kozhemiachenko
2025 J jnl
Complexity of Abduction in Łukasiewicz Logic.
CoRR
Katsumi Inoue, Daniil Kozhemiachenko
2025 B conf
Complexity of Łukasiewicz Modal Probabilistic Logics.
TARK
Daniil Kozhemiachenko, Igor Sedlár
2025 J jnl
Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion.
Log. J. IGPL
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2025 J jnl
Filter-induced entailment relations in paraconsistent Gödel logics.
Fuzzy Sets Syst.
Sabine Frittella, Daniil Kozhemiachenko
2025 J jnl
Fuzzy bi-Gödel modal logic and its paraconsistent relatives.
J. Log. Comput.
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2025 J jnl
Knowledge and ignorance in Belnap-Dunn logic.
Log. J. IGPL
Daniil Kozhemiachenko, Liubov Vashentseva
2025 B conf
Modal Logic for Reasoning About Uncertainty and Confusion.
TARK
Marta Bílková, Thomas M. Ferguson, Daniil Kozhemiachenko
2025 C conf
Paraconsistent Constructive Modal Logic.
WoLLIC
Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
2025 J jnl
Paraconsistent Constructive Modal Logic.
CoRR
Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
2025 B conf
Tableaux for Epistemic Gödel Logic.
PRIMA
Marta Bílková, Thomas Macaulay Ferguson, Daniil Kozhemiachenko
2025 J jnl
Two-layered logics for probabilities and belief functions over Belnap-Dunn logic.
Math. Struct. Comput. Sci.
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2024 A* conf
Abductive Reasoning in a Paraconsistent Framework.
KR
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2024 J jnl
Abductive Reasoning in a Paraconsistent Framework.
CoRR
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2024 J jnl
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss.
CoRR
Daniil Kozhemiachenko
2024 J jnl
Non-contingency in a paraconsistent setting.
Log. J. IGPL
Daniil Kozhemiachenko, Liubov Vashentseva
2024 A* conf
Queries With Exact Truth Values in Paraconsistent Description Logics.
KR
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
2024 J jnl
Queries With Exact Truth Values in Paraconsistent Description Logics.
CoRR
Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko
2024 J jnl
Reasoning with belief functions over Belnap-Dunn logic.
Ann. Pure Appl. Log.
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
2023 — conf
Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory.
ISIPTA
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
2023 — conf
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
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
2023 B conf
Non-standard Modalities in Paraconsistent Gödel Logic.
JELIA
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2023 J jnl
Paraconsistent Gödel modal logic on bi-relational frames.
CoRR
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2023 — —
Paraconsistent and fuzzy modal logics for reasoning about uncertainty. (Logiques modales paraconsistantes et floues pour le raisonnement sur l'incertitude).
Daniil Kozhemiachenko
2023 B conf
Presumptive Reasoning in a Paraconsistent Setting.
TARK
Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
2023 J jnl
Qualitative reasoning in a two-layered framework.
Int. J. Approx. Reason.
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2023 C conf
Two-Layered Logics for Paraconsistent Probabilities.
WoLLIC
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2022 — conf
Fonctions de croyances interprétées sur la logique de Belnap-Dunn.
JIAF
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
2022 A conf
Paraconsistent Gödel Modal Logic.
IJCAR
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2021 B conf
Constraint Tableaux for Two-Dimensional Fuzzy Logics.
TABLEAUX
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2021 J jnl
Non-distributive Relatives of ETL and NFL.
Stud Logica
Daniil Kozhemiachenko
2018 J jnl
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.
J. Appl. Non Class. Logics
Daniil Kozhemiachenko
2018 J jnl
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications.
FLAP
Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin