Sergey M. Dudakov

dblp:82/5127 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
1since 2021 · last 2021
0000-0003-2659-265XORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 1
YearPublicationVenuePosition
2021 On Decidability of Theories of Regular Languages
Sergey M. Dudakov, Boris Karlov
Theory Comput. Syst.1
1999 Monotone Expansion of Updates in Logical Databases
Michael I. Dekhtyar, Alexandre Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
LPNMR3
1999 On the Complexity of Perfect Models of Logic Programs
abstract
In this paper we investigate computational complexity of the PERF-consistency and PERF-entailment problems for ground normal logic programs. In [3] it is proved that these problems belong to Σ 2 P and II 2 P correspondingly. The question of obtaining more accurate results was left as open. We prove that both problems belong to Δ 2 P . Lower bounds on the complexity of these problems are also established in terms of a new complexity class D 2 which is a subset of Δ 2 P . It is shown that PERF-consistency is a D 2 -complete problem and PERF-entailment is co-D 2 -complete.
Sergey M. Dudakov
Fundam. Informaticae1