| Constraint tableaux for two-dimensional fuzzy logics M Bílková, S Frittella, D Kozhemiachenko International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 29 | 2021 |
| Qualitative reasoning in a two-layered framework M Bílková, S Frittella, D Kozhemiachenko, O Majer International Journal of Approximate Reasoning 154, 84-108, 2023 | 16 | 2023 |
| Reasoning with belief functions over Belnap–Dunn logic M Bílková, S Frittella, D Kozhemiachenko, O Majer, S Nazari Annals of Pure and Applied Logic 175 (9), 103338, 2024 | 15 | 2024 |
| Paraconsistent Gödel modal logic M Bílková, S Frittella, D Kozhemiachenko International Joint Conference on Automated Reasoning, 429-448, 2022 | 12 | 2022 |
| Crisp bi-Gödel modal logic and its paraconsistent expansion M Bílková, S Frittella, D Kozhemiachenko Logic Journal of the IGPL, jzad017, 2023 | 7 | 2023 |
| Non-contingecy in a paraconsistent setting D Kozhemiachenko, L Vashentseva Logic Journal of the IGPL, jzac081, 2023 | 5 | 2023 |
| Non-standard modalities in paraconsistent Gödel logic M Bílková, S Frittella, D Kozhemiachenko European Conference on Logics in Artificial Intelligence, 420-436, 2023 | 4 | 2023 |
| Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory M Bı́lková, S Frittella, D Kozhemiachenko, O Majer, K Manoorkar International Symposium on Imprecise Probability: Theories and Applications …, 2023 | 3 | 2023 |
| Paracomplete logic Kl: natural deduction, its automation, complexity and applications A Bolotov, D Kozhemiachenko, V Shangin Journal of Applied Logics-IfCoLog Journal of Logics and their Applications 5 …, 2018 | 3 | 2018 |
| Two-layered logics for paraconsistent probabilities M Bílková, S Frittella, D Kozhemiachenko, O Majer Lecture Notes in Computer Science 13923, 101-117, 2023 | 2 | 2023 |
| A simulation of natural deduction and Gentzen sequent calculus D Kozhemiachenko Logic and Logical Philosophy 27 (1), 67-84, 2018 | 2 | 2018 |
| Knowledge and ignorance in Belnap--Dunn logic D Kozhemiachenko, L Vashentseva Logic Journal of the IGPL, jzad027, 2023 | 1 | 2023 |
| Paraconsistent Gödel modal logic on bi-relational frames M Bilkova, S Frittella, D Kozhemiachenko arXiv e-prints, arXiv: 2303.14164, 2023 | 1 | 2023 |
| Fonctions de croyances interprétées sur la logique de Belnap-Dunn. M Bílková, S Frittella, D Kozhemiachenko, O Majer, S Nazari JIAF, 133-134, 2022 | 1 | 2022 |
| Queries With Exact Truth Values in Paraconsistent Description Logics M Bienvenu, C Bourgaux, D Kozhemiachenko 21st International Conference on Principles of Knowledge Representation and …, 2024 | | 2024 |
| Abductive Reasoning in a Paraconsistent Framework M Bienvenu, K Inoue, D Kozhemiachenko 21st International Conference on Principles of Knowledge Representation and …, 2024 | | 2024 |
| Filter-induced entailment relations in paraconsistent Gödel logics S Frittella, D Kozhemiachenko arXiv e-prints, arXiv: 2405.18262, 2024 | | 2024 |
| Fuzzy bi-G\"{o}del modal logic and its paraconsistent relatives M Bilkova, S Frittella, D Kozhemiachenko Journal of Logic and Computation, exae011, 2024 | | 2024 |
| Two-layered logics for probabilities and belief functions over Belnap--Dunn logic M Bilkova, S Frittella, D Kozhemiachenko, O Majer arXiv preprint arXiv:2402.12953, 2024 | | 2024 |
| Simple tableaux for two expansions of G\" odel modal logic M Bilkova, T Ferguson, D Kozhemiachenko arXiv preprint arXiv:2401.15395, 2024 | | 2024 |
Sabine FrittellaINSA Centre Val de Loire在 insa-cvl.fr 的电子邮件经过验证
