Follow
Michael Dekhtyar
Michael Dekhtyar
Professor Emeritus of Computer Science, Tver State University, Russia
Verified email at tversu.ru
Title
Cited by
Cited by
Year
Categorial dependency grammars
M Dekhtyar, A Dikovsky, B Karlov
Theoretical Computer Science 579, 33-63, 2015
452015
Generalized categorial dependency grammars
M Dekhtyar, A Dikovsky
Pillars of Computer Science, 230-255, 2008
402008
Hybrid probabilistic programs: Algorithms and complexity
MI Dekhtyar, A Dekhtyar, VS Subrahmanian
arXiv preprint arXiv:1301.6691, 2013
372013
Temporal verification of probabilistic multi-agent systems
MI Dekhtyar, AJ Dikovsky, MK Valiev
Pillars of computer science, 256-265, 2008
322008
Possible worlds semantics for probabilistic logic programs
A Dekhtyar, MI Dekhtyar
International Conference on Logic Programming, 137-148, 2004
312004
On the relativization of deterministic and nondeterministic complexity classes
MI Dekhtyar
International Symposium on Mathematical Foundations of Computer Science, 255-259, 1976
311976
Temporal Probabilistic Logic Programs.
A Dekhtyar, MI Dekhtyar, VS Subrahmanian
ICLP 99, 109-123, 1999
241999
Triad pattern algorithm for predicting strong promoter candidates in bacterial genomes
M Dekhtyar, A Morin, V Sakanyan
BMC bioinformatics 9 (1), 1-16, 2008
232008
On homeostatic behavior of dynamic deductive data bases
MI Dekhtyar, AJ Dikovsky
International Andrei Ershov Memorial Conference on Perspectives of System …, 1996
171996
On complexity of verification of interacting agents’ behavior
M Dekhtyar, A Dikovsky, M Valiev
Annals of pure and applied logic 141 (3), 336-362, 2006
162006
Method for the identification and isolation of strong bacterial promoters
V Sakanyan, M Dekhtyar, A Morin, F Braun, L Modina
162004
Dynamic Deductive Data Bases With Steady Behaviour.
MI Dekhtyar, AJ Dikovsky
ICLP, 183-197, 1995
161995
On feasible cases of checking multi-agent Systems Behavior
M Dekhtyar, A Dikovsky, M Valiev
Theoretical Computer Science 303 (1), 63-81, 2003
152003
Revisiting the semantics of interval probabilistic logic programs
A Dekhtyar, MI Dekhtyar
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
142005
On conservative enforced updates
M Dekhtyar, A Dikovsky, N Spyratos
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
141997
Iterated dependencies and Kleene iteration
M Dekhtyar, A Dikovsky, B Karlov
Formal Grammar, 66-81, 2010
132010
Monotone expansion of updates in logical databases
M Dekhtyar, A Dikovsky, S Dudakov, N Spyratos
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999
131999
On Logically Justified Updates.
MI Dekhtyar, AJ Dikovsky, N Spyratos
IJCSLP, 250-264, 1998
121998
Complexity of multi-agent systems behavior
M Dekhtyar, A Dikovsky, M Valiev
European Workshop on Logics in Artificial Intelligence, 125-136, 2002
112002
Maximal expansions of database updates
M Dekhtyar, A Dikovsky, S Dudakov, N Spyratos
International Symposium on Foundations of Information and Knowledge Systems …, 2000
102000
The system can't perform the operation now. Try again later.
Articles 1–20