|
СТ |
Temporal Probabilistic Logic Programs |
1999 |
Dekhtyar A., Dekhtyar M. I., Subrahmanian V. S. |
|
|
|
Logic Programming |
07.03.2001 |
|
СТ |
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs |
1999 |
Dekhtyar M. I., Dikovsky A. J., Valiev M. K. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
02.07.1999 |
|
СТ |
On Homeostatic Behavior of Dynamic Deductive Data Base |
1996 |
Dekhtyar M. I., Dikovsky A. Ja. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
|
П |
Properties of Steady Behavior of Dynamic Deductive Data Bases. Part I. -stability and Promise |
1995 |
Dekhtyar M. I., Dikovsky A. J. |
|
|
Univ. Paris XII-Val de Marne |
|
10.07.1996 |
|
П |
Properties of Steady Behavior of Dynamic Deductive Data Bases. Part II - Homeostaticity |
1996 |
Dekhtyar M. I., Dikovsky A. J. |
|
|
Univ. Paris XII-Val de Marne |
|
10.07.1996 |
|
СТ |
Dynamic Deductive Data Bases with Steady Behaviour |
1995 |
Dekhtyar M. I., Dikovsky A. Ja. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
06.05.1996 |
|
СТ |
Concurrency Problem for Norn Fragment of Girard s Linear Logic |
1994 |
Archangelsky D. A., Dekhtyar M. I., Kruglov E., Musikaev I. Kh., Taitslin M. A. |
|
|
|
Lecture Notes in Computer Science |
27.07.1994 |
