Marco Cadoli's work on nonmonotonic reasoning

Issue title: The scientific legacy of Marco Cadoli in Artificial Intelligence

Article type: Research Article

Authors: Eiter, Thomas | Gottlob, Georg

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: eiter@kr.tuwien.ac.at (Thomas Eiter); gottlob@cs.ox.ac.uk (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.

Keywords: Approximate reasoning, circumscription, computational complexity, knowledge compilation, nonmonotonic reasoning, problem solving, succinct representation

DOI: 10.3233/IA-130040

Journal: Intelligenza Artificiale, vol. 7, no. 1, pp. 7-17, 2013