| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Michael I. Dekhtyar Alex Dekhtyar , Michael I. Dekhtyar: Possible Worlds Semantics for Probabilistic Logic Programs. ICLP 2004 : 137-148 Ionut Emil Iacob , Alex Dekhtyar , Michael I. Dekhtyar: Checking Potential Validity of XML Documents. WebDB 2004 : 91-96 Michael I. Dekhtyar, Alexander Ja. Dikovsky , Mars K. Valiev : On feasible cases of checking multi-agent systems behavior. Theor. Comput. Sci. 1 (303): 63-81 (2003) Michael I. Dekhtyar, Alexander Ja. Dikovsky , Mars K. Valiev : Complexity of Multi-agent Systems Behavior. JELIA 2002 : 125-136 Michael I. Dekhtyar, Alexander Ja. Dikovsky , Sergey Dudakov , Nicolas Spyratos : Maximal state independent approximations to minimal real change. Ann. Math. Artif. Intell. 33 (2-4): 157-204 (2001) Michael I. Dekhtyar, Alexander Ja. Dikovsky , Sergey Dudakov : On Complexity of Updates through Integrity Constraints. Computational Logic 2000 : 867-881 Michael I. Dekhtyar, Alexander Ja. Dikovsky , Sergey Dudakov , Nicolas Spyratos : Maximal Expansions of Database Updates. FoIKS 2000 : 72-87 Michael I. Dekhtyar, Alexander Ja. Dikovsky , Mars K. Valiev : Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. Ershov Memorial Conference 1999 : 228-234 Alex Dekhtyar , Michael I. Dekhtyar, V. S. Subrahmanian : Temporal Probabilistic Logic Programs. ICLP 1999 : 109-123 Michael I. Dekhtyar, Alexander Ja. Dikovsky , Nicolas Spyratos : Incremental Expansion of Database Updates Through Integrity Constraints. JFPLC 1999 : 189-204 Michael I. Dekhtyar, Alexander Ja. Dikovsky , Sergey Dudakov , Nicolas Spyratos : Monotone Expansion of Updates in Logical Databases. LPNMR 1999 : 132-146 Michael I. Dekhtyar, Alex Dekhtyar , V. S. Subrahmanian : Hybrid Probabilistic Programs: Algorithms and Complexity. UAI 1999 : 160-169 Michael I. Dekhtyar, Alexander Ja. Dikovsky , Nicolas Spyratos : On Logically Justified Updates. IJCSLP 1998 : 250-264 Michael I. Dekhtyar, Alexander Ja. Dikovsky : Total Homeostaticity and Integrity Constraints Restorability Recognition. ICLP 1997 : 241-255 Michael I. Dekhtyar, Alexander Ja. Dikovsky : Recognition of Deductive Data Base Stability. LFCS 1997 : 67-77 Michael I. Dekhtyar, Alexander Ja. Dikovsky , Nicolas Spyratos : On Conservative Enforced Updates. LPNMR 1997 : 244-257 Michael I. Dekhtyar, Alexander Ja. Dikovsky : On Homeostatic Behavior of Dynamic Deductive Data Bases. Ershov Memorial Conference 1996 : 420-432 Dmitry A. Archangelsky , Michael I. Dekhtyar, Mikhail A. Taitslin : Linear Logic for Nets with Bounded Resources. Ann. Pure Appl. Logic 78 (1-3): 3-28 (1996) Michael I. Dekhtyar, Alexander Ja. Dikovsky : Dynamic Deductive Data Bases With Steady Behaviour. ICLP 1995 : 183-197 Dmitry A. Archangelsky , Michael I. Dekhtyar, Evgeny Kruglov , Ilmir Kh. Musikaev , Mikhail A. Taitslin : Concurrency Problem for Horn Fragment of Girard's Linear Logic. LFCS 1994 : 18-22 Michael I. Dekhtyar, Alexander Ja. Dikovsky : On Stable Behaviour of Dynamic Deductive Data Bases. SLP 1994 : 677 Michael I. Dekhtyar: Bounds on Computational Complexity and Approximability of Initial Segments of Recursive Sets. MFCS 1979 : 277-283 Michael I. Dekhtyar: On the Relativization of Deterministic and Nondeterministic Complexity Classes. MFCS 1976 : 255-259 1 [ 4 ] [ 6 ] 2 [ 12 ] [ 15 ] [ 22 ] [ 23 ] 3 [ 3 ] [ 5 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 13 ] [ 14 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] 4 [ 13 ] [ 17 ] [ 18 ] [ 19 ] 5 [ 22 ] 6 [ 4 ] 7 [ 4 ] 8 [ 8 ] [ 11 ] [ 13 ] [ 14 ] [ 17 ] [ 19 ] 9 [ 12 ] [ 15 ] 10 [ 4 ] [ 6 ] 11 [ 16 ] [ 20 ] [ 21 ]  ©2005 Association for Computing Machinery |
