Alexander Dekhtyar Ph. D., July 2000, Department of Computer Science University of Maryland At College Park	email : dekhtyar@cs.umd.edu phone : (301) 405 7388 (office) fax : (301) 405 6707
	Assistant Professor, Department of Computer Science, University of Kentucky	email : dekhtyar@cs.uky.edu phone : ? fax : ?

Preliminary exam	passed	May 21, 1999	proposal text (.ps, ~1Meg)
Advancement to candidacy	Advanced	February 2000
Ph.D. Thesis defense	Defended	July 26, 2000
Advisor	V.S. Subrahmanian

...About...

Resume	[HTML]	[Postscript]	[Text]
Research Statement	[HTML]	[Postscript]	[Text]
Teaching Statement	[HTML]	[Postscript]	[Text]

...Research...

Current Areas Of Interest

• Uncertain Reasoning in AI and Logic Programming
• Uncertain Reasoning in Databases
• Agent Systems

Past Interests

• Linear Logic
• Finite Model Theory

Also Of Interest

• Algorithms and Complexity

• Probabilistic Logic Programming
  • Hybrid Probabilistic Programs, (1999) Alex Dekhtyar, V.S. Subrahmanian , Journal of Logic Programming, Volume 43, Issue 3, June 2000, pp 187 - 250.

    Extends the content of ICLP'97 and ESLLI'98, contains proofs. Preliminary version is available as a University of Maryland Tech. Report (note: it contains some errors, fixed in later versions).

  • Temporal Probabilistic Logic Programs, (1999) Alex Dekhtyar, Michael I. Dekhtyar, V.S. Subrahmanian, accepted to 1999 International Conference on Logic Programming, Las Cruces, NM, USA.

    A slightly extended version is also available.

  • Hybrid Probabilistic Programs: Algorithms and Complexity, (1999), Michael I. Dekhtyar, Alex Dekhtyar, V.S. Subrahmanian, in Proceedings of Uncertainty in AI'99 conference, Stockholm, Sweden.

    Extends JLP paper with algorithms and complexity results. A full version (with proofs) is available here and as a University of Maryland Tech Report.

  • Proof Procedures for Hybrid Probabilistic Programs, (1998) Alex Dekhtyar, V.S. Subrahmanian , Workshop on Probabilistic Logic and Randomized Computation, European Summer School on Logic, Language and Information'99, Saarbrueken, Germany.

  • Hybrid Probabilistic Programs, (1997) Alex Dekhtyar, V.S. Subrahmanian , in Proceedings of 1997 International Conference on Logic Programming, Leuven, Belgium.

    This version contains a number of errors, fixed later in JLP paper.

• Probabilistic Databases
  • Probabilistic Temporal Databases I: Algebra, Alex Dekhtyar, Robert Ross, V.S. Subrahmanian, accepted to ACM Transactions on Database Systems

    A preliminary version (with proofs) is available here and as a University of Maryland Tech Report.

• Linear Logic
  • Resource Transformation Nets, Alexander M. Dekhtyar , in Proceedings of 1994 International Conference on Logic Foundations of Computer Science, St. Petersburg, Russia.

• University of Maryland Technical Reports ( beware, some contain errors, fixed in later versions)
  • Probabilistic Temporal Databases, I: Algebra Alex Dekhtyar, Robert Ross and V. S. Subrahmanian . (CS-TR-3987)

  • Hybrid Probabilistic Programs: Algorithms and Complexity Michael Dekhtyar, Alex Dekhtyar and V. S. Subrahmanian. (CS-TR-3969)

  • Hybrid Probabilistic Programs Alex Dekhtyar and V. S. Subrahmanian. (CS-TR-3883)

• Probabilistic Information Retrieval slides for CMSC 828M (Spring 2000). part 1 (.ppt ~144Kb). part 2 (.ppt ~167Kb).