Auflistung nach Schlagwort "Formal ontologies"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelDefeasible Description Logics(KI - Künstliche Intelligenz: Vol. 34, No. 4, 2020) Varzinczak, IvanThe present paper is a summary of a habilitation ( Habilitation à Diriger des Recherches , in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stéphane Demri, Hans van Ditmarsch, Sébastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26 November 2019 at Université d’Artois in Lens, France.