Esra Erdem
Ph.D. Alumni
Homepage:
http://people.sabanciuniv.edu/esraerdem/
Publications
Inferring Phylogenetic Trees Using Answer Set Programming 2007
Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, James W. Minett, and Donald Ringe, Journal of Automated Reasoning, 39:471-511, 2007.
Temporal Phylogenetic Networks and Logic Programming 2006
Esra Erdem, Vladimir Lifschitz and Don Ringe, Theory and Practice of Logic Programming, 6:539-558, 2006.
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming 2003
Esra Erdem, Vladimir Lifschitz, Luay Nakhleh and Donald Ringe, In Practical Aspects of Declarative Languages: 5th International Symposium, 160--176, 2003.
Tight Logic Programs 2003
Esra Erdem and Vladimir Lifschitz, Theory and Practice of Logic Programming, 3:499-518, 2003.
Theory and Applications of Answer Set Programming 2002
Esra Erdem , PhD Thesis, University of Texas at Austin, 2002.
Fages' Theorem for Programs with Nested Expressions 2001
Esra Erdem and Vladimir Lifschitz, In Proceedings of International Conference on Logic Programming (ICLP), 242-254, 2001.
Fages' Theorem and Answer Set Programming 2000
Yuliya Lierler, Esra Erdem and Vladimir Lifschitz, In Proceedings of International Workshop on Nonmonotonic Reasoning (NMR), 33-35" ) INPROCEEDINGS(bab00,, 2000. Springer.
Wire Routing and Satisfiability Planning 2000
Esra Erdem, Vladimir Lifschitz and Martin Wong, In Proceedings of International Conference on Computational Logic, 822-836, 2000.
Transformations of Logic Programs Related to Causality and Planning 1999
Esra Erdem and Vladimir Lifschitz, In Logic Programming and Non-monotonic Reasoning: Proceedings Fifth Int'l Conf. (Lecture Notes in Artificial Intelligence 1730), 107-116, 1999.
Labs
Texas Action Group