Items where Author is "Eiter, Thomas"

Article

Eiter, Thomas and Erdem, Esra and Erdoğan, Halit and Fink, Michael (2013) Finding similar/diverse solutions in answer set programming. Theory and Practice of Logic Programming, 13 (3). pp. 303-359. ISSN 1471-0684 (Print) 1475-3081 (Online)

Eiter, Thomas and Erdem, Esra and Fink, Michael and Senko, Jan (2010) Updating action domain descriptions. Artificial Intelligence, 174 (15). pp. 1172-1221. ISSN 0004-3702

Eiter, Thomas and Erdem, Esra and Faber, Wolfgang (2008) Undoing the effects of action sequences. Journal of Applied Logic, 6 (3). pp. 380-415. ISSN 1570-8683

Eiter, Thomas and Erdem, Esra and Fink, Michael and Senko, Jan (2007) Comparing action descriptions based on semantic preferences. Annals of Mathematics and Artificial Intelligence, 50 (3-4). pp. 273-304. ISSN 1012-2443

Eiter, Thomas and Faber, Wolfgang and Erdem, Esra and Senko, Jan (2007) A logic-based approach to finding explanations for discrepancies in optimistic plan execution. Fundamenta Informaticae, 79 (1-2). pp. 25-69. ISSN 0169-2968

Papers in Conference Proceedings

Eiter, Thomas and Erdem, Esra and Erdoğan, Halit and Fink, Michael (2009) Finding similar or diverse solutions in answer set programming. In: 25th International Conference on Logic Programming (ICLP), Pasadena, CA

Eiter, Thomas and Erdem, Esra and Faber, Wolfgang (2007) On reversing actions: algorithms and complexity. In: The Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad, India

Eiter, Thomas and Erdem, Esra and Fink, Michael and Senko, Ján (2006) Comparing action descriptions based on semantic preferences. In: European Conference on Logics in Artificial Intelligence -- Multidisciplinary Workshop on Advances in Preference Handling,

Eiter, Thomas and Erdem, Esra and Fink, Michael and Senko, Jan (2006) Resolving conflicts in action descriptions. In: The Seventeenth European Conference on Artificial Intelligence (ECAI'06), Riva del Garda, Italy