Skip to contents

  1. Pensel, Maximilian [Author] ; Turhan, Anni-Yasmin [Degree supervisor]; Bonatti, Piero Andrea [Degree supervisor] Technische Universität Dresden

    A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden, 2019

  2. Baader, Franz [Author]; Fernández Gil, Oliver [Author]; Pensel, Maximilian [Author]

    Standard and Non-Standard Inferences in the Description Logic FL₀ Using Tree Automata

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden: Technische Universität Dresden, 2018

    Published in: LTCS-Report ; 18,4