Logo des Repositoriums
 

Defeasible Description Logics

Kurzanzeige
dc.contributor.authorVarzinczak, Ivan
dc.date.accessioned2021-04-23T09:36:46Z
dc.date.available2021-04-23T09:36:46Z
dc.date.issued2020
dc.description.abstractThe 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.de
dc.identifier.doi10.1007/s13218-020-00649-8
dc.identifier.pissn1610-1987
dc.identifier.urihttp://dx.doi.org/10.1007/s13218-020-00649-8
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/36335
dc.publisherSpringer
dc.relation.ispartofKI - Künstliche Intelligenz: Vol. 34, No. 4
dc.relation.ispartofseriesKI - Künstliche Intelligenz
dc.subjectDefeasible reasoning
dc.subjectDescription logic
dc.subjectFormal ontologies
dc.subjectKnowledge representation and reasoning
dc.subjectPreferential semantics
dc.subjectRationality
dc.titleDefeasible Description Logicsde
dc.typeText/Journal Article
gi.citation.endPage542
gi.citation.startPage539

Dateien

Sammlungen

Künstliche Intelligenz 34(4) - Dezember 2020