Franz Baader

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Raimund Dachselt

> Home > Persons > Franz Baader

Publications

2023
[j70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/cgf/MendezAKLBD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cgf/MendezAKLBD23
Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt:
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. Comput. Graph. Forum 42(6) (2023)
2022
[c216]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/AlrabbaaBBDKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AlrabbaaBBDKM22
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez:
Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR 2022: 271-280
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/AlrabbaaBBDKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlrabbaaBBDKM22
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez:
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources. Zenodo, 2022
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-09583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-09583
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez:
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR abs/2205.09583 (2022)
2020
[c198]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/AlrabbaaBDFK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AlrabbaaBDFK20
Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann:
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Description Logics 2020

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.