Media type: E-Book Title: A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond Contributor: Pensel, Maximilian [Verfasser]; Turhan, Anni-Yasmin [Akademischer Betreuer]; Bonatti, Piero Andrea [Gutachter] imprint: Dresden: Technische Universität Dresden, 2019 Extent: Online-Ressource Language: English Identifier: RVK notation: ST 640 : Medizin ST 134 : Algorithmen-, Komplexitätstheorie Keywords: Reasoning ; Logic ; Beschreibungslogik ; nichtmonotones Schließen ; Rational ; Anfechtbar ; Defeasible Description Logics ; non-monotonic reasoning ; rational closure ; typicality models Origination: University thesis: Dissertation, Dresden, Technische Universität Dresden, 2019 Footnote: Access State: Open Access