BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dekhtyar:Michael_I=

Contributed to:

ICLP 20042004
CL 20002000
ICLP 19991999
JICSLP 19981998
ICLP 19971997
ICLP 19951995
ILPS 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.