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 Pavlos Marantidis

> Home > Persons > Franz Baader

Publications

2020
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BaaderMMO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BaaderMMO20
Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin:
Extensions of unification modulo ACUI. Math. Struct. Comput. Sci. 30(6): 597-626 (2020)
2019
[c190]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderGM19
Franz Baader, Oliver Fernández Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Description Logics 2019
2018
[c177]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BaaderGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BaaderGM18
Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes. LPAR 2018: 76-94
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/www/BaaderMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/BaaderMP18
Franz Baader, Pavlos Marantidis, Maximilian Pensel:
The Data Complexity of Answering Instance Queries in FL0. WWW (Companion Volume) 2018: 1603-1607
2017
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/BaaderGM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/BaaderGM17
Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis:
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. LATA 2017: 3-26
2016
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BaaderMO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BaaderMO16
Franz Baader, Pavlos Marantidis, Alexander Okhotin:
Approximate Unification in the Description Logic FL_0. JELIA 2016: 49-63
[c158]
- view
  - electronic edition @ unimi.it (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BaaderMO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BaaderMO16
Franz Baader, Pavlos Marantidis, Alexander Okhotin:
Approximately Solving Set Equations. UNIF 2016: 37-43

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.