Items where Author is "Eiter, Thomas"

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 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 (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 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 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

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