Michael Dekhtyar
Michael Dekhtyar
Professor Emeritus of Computer Science, Tver State University, Russia
Bestätigte E-Mail-Adresse bei tversu.ru
Titel
Zitiert von
Zitiert von
Jahr
Categorial dependency grammars
M Dekhtyar, A Dikovsky, B Karlov
Theoretical Computer Science 579, 33-63, 2015
442015
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
352013
On the relativization of deterministic and nondeterministic complexity classes
MI Dekhtyar
International Symposium on Mathematical Foundations of Computer Science, 255-259, 1976
311976
Temporal verification of probabilistic multi-agent systems
MI Dekhtyar, AJ Dikovsky, MK Valiev
Pillars of computer science, 256-265, 2008
292008
Possible worlds semantics for probabilistic logic programs
A Dekhtyar, MI Dekhtyar
International Conference on Logic Programming, 137-148, 2004
292004
Triad pattern algorithm for predicting strong promoter candidates in bacterial genomes
M Dekhtyar, A Morin, V Sakanyan
BMC bioinformatics 9 (1), 1-16, 2008
212008
Temporal Probabilistic Logic Programs.
A Dekhtyar, MI Dekhtyar, VS Subrahmanian
ICLP 99, 109-123, 1999
211999
Method for the identification and isolation of strong bacterial promoters
V Sakanyan, M Dekhtyar, A Morin, F Braun, L Modina
162004
On homeostatic behavior of dynamic deductive data bases
MI Dekhtyar, AJ Dikovsky
International Andrei Ershov Memorial Conference on Perspectives of System …, 1996
161996
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
152006
On feasible cases of checking multi-agent Systems Behavior
M Dekhtyar, A Dikovsky, M Valiev
Theoretical Computer Science 303 (1), 63-81, 2003
142003
Iterated dependencies and Kleene iteration
M Dekhtyar, A Dikovsky, B Karlov
Formal Grammar, 66-81, 2010
132010
Revisiting the semantics of interval probabilistic logic programs
A Dekhtyar, MI Dekhtyar
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005
132005
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 conservative enforced updates
M Dekhtyar, A Dikovsky, N Spyratos
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
131997
Dynamic Deductive Data Bases With Steady Behaviour.
MI Dekhtyar, AJ Dikovsky
ICLP, 183-197, 1995
131995
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20