Esra Erdem
Post-doctoral researcher in the
Institute of Information Systems at
the Vienna University of Technology.
Ph.D. in Computer Sciences
at the University of Texas at
Austin with
Vladimir
Lifschitz.
Research Interests
Artificial intelligence. In particular, the mathematical foundations of
knowledge representation, reasoning about actions and change, planning,
and answer set programming, and their applications.
Research Links
Coauthors
Texas Action
Group, University of Texas at Austin
Cognitive Robotics Group,
University of Toronto
Knowledge-Based Systems Group, Vienna University of Technology
Formal Reasoning Group,
Stanford University
Answer set solvers:
assat,
ccalc,
cmodels,
dlv,
smodels
Sat solvers:
chaff,
relsat,
sato
Benchmarks
Contact Information
Postal: Technische Universitt Wien
Institut fr Informationssysteme
Abteilung fr Wissensbasierte Systeme 184/3
Favoritenstrae 9-11, A-1040 Wien
Office: HE 03 54
Voice: +43 (1) 58801-18462
Fax: +43 (1) 58801-18493
E-mail: esra @ kr.tuwien.ac.at