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
502015
Generalized categorial dependency grammars
M Dekhtyar, A Dikovsky
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot …, 2008
432008
Hybrid probabilistic programs: Algorithms and complexity
MI Dekhtyar, A Dekhtyar, VS Subrahmanian
arXiv preprint arXiv:1301.6691, 2013
382013
Temporal verification of probabilistic multi-agent systems
MI Dekhtyar, AJ Dikovsky, MK Valiev
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot …, 2008
362008
Possible worlds semantics for probabilistic logic programs
A Dekhtyar, MI Dekhtyar
International Conference on Logic Programming, 137-148, 2004
332004
On the relativization of deterministic and nondeterministic complexity classes
MI Dekhtyar
Mathematical Foundations of Computer Science 1976: Proceedings, 5th …, 1976
321976
Triad pattern algorithm for predicting strong promoter candidates in bacterial genomes
M Dekhtyar, A Morin, V Sakanyan
BMC bioinformatics 9, 1-16, 2008
262008
Temporal Probabilistic Logic Programs.
A Dekhtyar, MI Dekhtyar, VS Subrahmanian
ICLP 99, 109-123, 1999
261999
On homeostatic behavior of dynamic deductive data bases
MI Dekhtyar, AJ Dikovsky
International Andrei Ershov Memorial Conference on Perspectives of System …, 1996
191996
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
172006
Iterated dependencies and Kleene iteration
M Dekhtyar, A Dikovsky, B Karlov
Formal Grammar: 15th and 16th International Conferences, FG 2010, Copenhagen …, 2012
162012
Method for the identification and isolation of strong bacterial promoters
V Sakanyan, M Dekhtyar, A Morin, F Braun, L Modina
162004
Revisiting the semantics of interval probabilistic logic programs
A Dekhtyar, MI Dekhtyar
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
152005
On feasible cases of checking multi-agent Systems Behavior
M Dekhtyar, A Dikovsky, M Valiev
Theoretical Computer Science 303 (1), 63-81, 2003
152003
On conservative enforced updates
M Dekhtyar, A Dikovsky, N Spyratos
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997
141997
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
131998
Dynamic deductive data bases with steady behaviour
MI Dekhtyar, AJ Dikovsky
131995
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
112000
The system can't perform the operation now. Try again later.
Articles 1–20