Publications in Math-Net.Ru
-
Argumentation semantics for steps theory of active logic with granulation time
Artificial Intelligence and Decision Making, 2015, no. 3, 3–9
-
Reasonings on knowledge and the omniscience problem. A part 2: introduction temporal parameter in a meta language
Artificial Intelligence and Decision Making, 2014, no. 1, 3–10
-
Reasonings on knowledge and the logical omniscience problem. Part I. Modal approach
Artificial Intelligence and Decision Making, 2011, no. 4, 3–13
-
Temporal nonmonotonic logic systems: interrelations and computing complexity
Artificial Intelligence and Decision Making, 2008, no. 4, 19–25
© , 2024