Travelled to:1 × Belgium
1 × France
1 × Japan
2 × USA
2 × United Kingdom
Collaborated with:A.J.Dikovsky A.Dekhtyar S.Dudakov V.S.Subrahmanian N.Spyratos
Talks about:logic (3) probabilist (2) constraint (2) behaviour (2) program (2) integr (2) deduct (2) updat (2) dynam (2) data (2)
Person: Michael I. Dekhtyar
DBLP: Dekhtyar:Michael_I=
Contributed to:
2004
200019991998199719951994Wrote 7 papers:
- ICLP-2004-DekhtyarD #logic programming #probability #semantics #source code
- Possible Worlds Semantics for Probabilistic Logic Programs (AD, MID), pp. 137–148.
- CL-2000-DekhtyarDD #complexity #constraints #on the
- On Complexity of Updates through Integrity Constraints (MID, AJD, SD), pp. 867–881.
- ICLP-1999-DekhtyarDS #logic programming #probability #source code
- Temporal Probabilistic Logic Programs (AD, MID, VSS), pp. 109–123.
- JICSLP-1998-DekhtyarDS #on the
- On Logically Justified Updates (MID, AJD, NS), pp. 250–264.
- ICLP-1997-DekhtyarD #constraints #recognition
- Total Homeostaticity and Integrity Constraints Restorability Recognition (MID, AJD), pp. 241–255.
- ICLP-1995-DekhtyarD #behaviour #database #deduction
- Dynamic Deductive Data Bases With Steady Behaviour (MID, AJD), pp. 183–197.
- ILPS-1994-DekhtyarD #behaviour #database #deduction #on the
- On Stable Behaviour of Dynamic Deductive Data Bases (MID, AJD), p. 677.