TU Wien Informatics

Role

2010

  • Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities / T. Eiter, M. Mushthofa, W. Faber / Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 2010-07-11 - 2010-07-15; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 303 - 308

2007

  • What should an ASP Solver output? / M. Brain, W. Faber, M. Maratea, A. Polleres, T. Schaub, R. Schindlauer / Talk: International Workshop on Software Engineering for Answer Set Programming (SEA), Tempe, Arizona, USA; 2007-05-14 - 2007-05-16; in: "First International Workshop on Software Engineering for Answer Set Programming 2007 (SEA'07)", M. De Vos, T. Schaub (ed.); (2007), 26 - 37
  • On Reversing Actions: Algorithms and Complexity / T. Eiter, E. Erdem, W. Faber / Poster: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 2007-01-06 - 2007-01-12; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)", M. Veloso (ed.); AAAI Press/IJCAI, (2007), ISBN: 978-1-57735-298-3; 336 - 341
  • A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan Execution / T. Eiter, E. Erdem, W. Faber, J. Senko / Fundamenta Informaticae, 79 (2007), 1-2; 25 - 69

2006

2005

2004

2003

2002