VLDB 2026 Research / reviewers in the wild / expert
Sergey M. Dudakov
dblp:82/5127
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
LPNMR | 3 |
| 1999 | On the Complexity of Perfect Models of Logic ProgramsabstractIn 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. Informaticae | 1 |