Author

A. Vatian

h-index 2 View on Semantic Scholar

We have 2 of 17 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Aug 2026

Benchmarking Normative AI Assistants Under Inconsistent Evidence with Paraconsistent Trace Semantics

Results indicate that contradiction-aware trace evaluation provides diagnostic information beyond final-answer accuracy under the evaluated fixed-evidence conditions, while not establishing causal architectural superiority, logical non-triviality, or end-to-end RAG performance.

M. Ulizko, Aleksandr V. Chernikov, I. Tomilov et al. · Applied Informatics · 0 citations

Open access Sep 2026

Proof-Carrying Neuro-Symbolic Reasoning for Non-Monotonic Legal Decision Support with LLMs

A proof-carrying neuro-symbolic method for non-monotonic legal reasoning that is restricted to source-linked extraction of facts, defeasible rules, defeaters, priorities, citations, and operational confidence scores, while a deterministic symbolic engine computes the conclusion.

Maxim Ulizko, Tatiana Polevaya, I. Tomilov et al. · Big Data and Cognitive Compu... · 0 citations