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.

CV

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.

Papers

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