Experience
Education
Bio
Fields of Scholarship
Artificial intelligence
Knowledge representation and reasoning
Computational logic
Computer science
Discrete applied mathematics
Honours and Awards
2013 Prominent Paper Award 2013 of the Artificial Intelligence Journal (AIJ)
2013 Test of Time Award (10 years) of the International Conference on Logic Programming (ICLP) 2013, Cork, Ireland
2012 Vienna Content Award 2012 / Smart Cities section (award for innovative applications in digital media by the City of Vienna)
2011 Best Paper Award 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada
2007 Elected Corresponding Member of the Austrian Academy of Sciences, cf. http://www.oeaw.ac.at/en/austrian-academy-of-sciences
2006 Elected Fellow of the European Association for Artificial Intelligence (formerly European Coordinating Committee for Artificial Intelligence), cf. https://www.eurai.org/
2006 Best Paper Award of the 3rd European Conference on Semantic Web (ESWC 2006), Budva, Montenegro
2002 Distinguished Paper Award of the 18th National Conference on Artificial Intelligence (AAAI 2002), Edmononton, Canada
2001: Distinguished Paper Award of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, USA
1999: Invention of the Year 1999 Finalist, University of Maryland, College Park, USA