Travelled to:1 × Austria
1 × Hungary
1 × Italy
1 × USA
1 × United Kingdom
2 × Poland
Collaborated with:R.Peñaloza F.Baader B.Morawska F.Distel M.Lippmann T.B.Nguyen
Talks about:descript (4) logic (4) fuzzi (3) unif (3) without (2) ontolog (2) restrict (1) properti (1) dismatch (1) automata (1)
Person: Stefan Borgwardt
DBLP: Borgwardt:Stefan
Contributed to:
2015
2014
2013
20122012
20112011Wrote 9 papers:
- RTA-2015-BaaderBM
- Dismatching and Local Disunification in EL (FB, SB, BM), pp. 40–56.
- KR-2014-BorgwardtDP #decidability #logic
- Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
- CADE-2013-BaaderBL #data access #ontology
- Temporalizing Ontology-Based Data Access (FB, SB, ML), pp. 330–344.
- IJCAR-2012-BaaderBM #encoding #ontology #satisfiability #strict #unification
- SAT Encoding of Unification in ℰℒℋ_R⁺ w.r.t. Cycle-Restricted Ontologies (FB, SB, BM), pp. 30–44.
- IJCAR-2012-BorgwardtDP #fuzzy #how #logic #question
- How Fuzzy Is My Fuzzy Description Logic? (SB, FD, RP), pp. 82–96.
- KR-2012-BaaderBM #towards #unification
- Extending Unification in EL Towards General TBoxes (FB, SB, BM).
- KR-2012-BorgwardtP #fuzzy #logic
- Undecidability of Fuzzy Description Logics (SB, RP).
- AFL-2011-BorgwardtP #automaton #infinity #problem
- The Inclusion Problem for Weighted Automata on Infinite Trees (SB, RP), pp. 108–122.
- CADE-2011-BaaderBBM #concept #logic #unification
- Unification in the Description Logic EL without the Top Concept (FB, TBN, SB, BM), pp. 70–84.