Affiliations: Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria | Department of Computer Science, University of Oxford, Oxford, UK
Note:  Corresponding author: Thomas Eiter, Institut für Informationssysteme, Technische Universität Wien, Favoritenstraße 9-11, A-1040 Vienna, Austria. E-mails: [email protected] (Thomas Eiter); [email protected] (Georg Gottlob).
Abstract: Marco Cadoli (5.12.1965 – 21.11.2006) was a well-known Italian Computer Scientist. This paper reviews his fundamental work in the area of nonmonotonic reasoning and also gives a very brief personal (and thus rather incomplete) account of his academic career and of his fruitful cooperation and interaction with the AI Group at TU Wien.