Daniil Kozhemiachenko
Orcid: 0000-0002-1533-8034
According to our database1,
Daniil Kozhemiachenko
authored at least 17 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
2
2
1
2
2
5
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
2023
Int. J. Approx. Reason., March, 2023
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023
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.
Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023
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.
Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023
2022
Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
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.
J. Appl. Non Class. Logics, 2018
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications.
FLAP, 2018