Stefan Borgwardt

128 papers A* 19A 7B 11Journal 34Unranked 55

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Automated Planning with Ontologies Under Coherence Update Semantics. KR Stefan Borgwardt, Duy Nhu, Gabriele Röger
2025	—	`conf`	Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract). DL Stefan Borgwardt, Duy Nhu, Gabriele Röger
2025	J	`jnl`	Automated planning with ontologies under coherence update semantics (Extended Version). CoRR Stefan Borgwardt, Duy Nhu, Gabriele Röger
2025	—	`conf`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract). DL Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	J	`jnl`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). CoRR Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	A	`conf`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. CADE Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	—	`conf`	ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communication. IJCNLP-AACL (long papers) Mayank Jobanputra, Alisa Kovtunova, Brisca Balthes, Fedor Grigoryevich Pogulskiy, Yifan Wang, Stefan Borgwardt, Vera Demberg
2025	—	`conf`	The Shape of EL Proofs: A Tale of Three Calculi. DL Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch
2025	J	`jnl`	The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version). CoRR Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch
2024	—	`conf`	Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language. Description Logics Stefan Borgwardt, Vera Demberg, Mayank Jobanputra, Alisa Kovtunova, Duy Nhu
2024	A*	`conf`	Explaining Reasoning Results for OWL Ontologies with Evee. KR Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, Ida S. R. Siahaan
2024	J	`jnl`	The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version). CoRR Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2024	—	`conf`	The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains. Description Logics Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2023	J	`jnl`	Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2023	B	`conf`	Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2023	—	`conf`	Computing ABox Justifications for Query Answers via Datalog Rewriting. Description Logics Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova
2023	J	`jnl`	Why Not? Explaining Missing Entailments with Evee (Technical Report). CoRR Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
2023	—	`conf`	Why Not? Explaining Missing Entailments with Evee. Description Logics Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
2022	A*	`conf`	Classical Planning with Avoid Conditions. AAAI Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt
2022	J	`jnl`	Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
2022	A	`conf`	Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
2022	B	`conf`	Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. RuleML+RR Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022	J	`jnl`	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). CoRR Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022	—	`conf`	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022	J	`jnl`	Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022	A*	`conf`	Expressivity of Planning with Horn Description Logic Ontologies. AAAI Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
2022	J	`jnl`	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). CoRR Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022	—	`conf`	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. Description Logics Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022	B	`conf`	In the Head of the Beholder: Comparing Different Proof Representations. RuleML+RR Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
2022	B	`conf`	Logic-Guided Message Generation from Raw Real-Time Sensor Data. LREC Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh
2022	J	`jnl`	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). CoRR Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
2022	—	`conf`	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. Description Logics Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
2022	J	`jnl`	Temporal Minimal-World Query Answering over Sparse ABoxes. Theory Pract. Log. Program. Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2021	—	`conf`	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	J	`jnl`	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	A	`conf`	Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	—	`conf`	In the Hand of the Beholder: Comparing Interactive Proof Visualizations. Description Logics Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
2021	—	`conf`	Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract). Description Logics Stefan Borgwardt, Ernie Chang, Kathryn Chapman, Vera Demberg, Alisa Kovtunova, Hui-Syuan Yeh
2021	—	`conf`	Making DL-Lite Planning Practical (Extended Abstract). Description Logics Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
2021	A*	`conf`	Making DL-Lite Planning Practical. KR Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
2021	J	`jnl`	Temporal Minimal-World Semantics for Sparse ABoxes. CoRR Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2021	B	`conf`	Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. ICMI Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
2020	—	`conf`	Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). Description Logics Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2020	J	`jnl`	Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	B	`conf`	Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	—	`conf`	In the Eye of the Beholder: Which Proofs are Best? Description Logics Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr
2020	J	`jnl`	Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2020	—	`conf`	On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	—	`ed.`	Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020 Description Logics Stefan Borgwardt, Thomas Meyer
2020	J	`jnl`	Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
2020	J	`jnl`	Semantic Technologies for Situation Awareness. Künstliche Intell. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
2020	J	`jnl`	Temporal Conjunctive Query Answering in the Extended DL-Lite Family. CoRR Stefan Borgwardt, Veronika Thost
2019	—	`conf`	Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. JOWO Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou
2019	B	`conf`	Closed-World Semantics for Conjunctive Queries with Negation over JELIA Stefan Borgwardt, Walter Forkel
2019	—	`conf`	Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract). Description Logics Stefan Borgwardt, Walter Forkel
2019	A*	`conf`	Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies. IJCAI Stefan Borgwardt, Walter Forkel
2019	B	`conf`	Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. RuleML+RR Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2019	—	`conf`	Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract). Description Logics Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
2019	A*	`conf`	Ontology-Mediated Query Answering over Log-Linear Probabilistic Data. AAAI Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
2018	—	`conf`	Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. WWW (Companion Volume) Franz Baader, Stefan Borgwardt, Walter Forkel
2018	A*	`conf`	Recent Advances in Querying Probabilistic Knowledge Bases. IJCAI Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
2017	J	`jnl`	Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. Int. J. Approx. Reason. Stefan Borgwardt, Rafael Peñaloza
2017	J	`jnl`	Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. Franz Baader, Stefan Borgwardt, Rafael Peñaloza
2017	—	`conf`	Fuzzy Description Logics - A Survey. SUM Stefan Borgwardt, Rafael Peñaloza
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names. FroCoS Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	A*	`conf`	Most Probable Explanations for Probabilistic Database Queries. IJCAI Ismail Ilkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
2017	A*	`conf`	Ontology-Mediated Queries for Probabilistic Databases. AAAI Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
2017	A*	`conf`	Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI Franz Baader, Stefan Borgwardt, Marcel Lippmann
2017	J	`jnl`	The complexity of fuzzy EL under the Łukasiewicz T-norm. Int. J. Approx. Reason. Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2017	—	`conf`	Łukasiewicz Fuzzy EL is Undecidable. Description Logics Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2016	J	`jnl`	Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. J. Data Semant. Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2016	J	`jnl`	Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
2016	J	`jnl`	Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Log. Methods Comput. Sci. Franz Baader, Stefan Borgwardt, Barbara Morawska
2016	A*	`conf`	Preferential Query Answering over the Semantic Web with Possibilistic Networks. IJCAI Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska
2016	—	`conf`	Reasoning in Expressive Gödel Description Logics. Description Logics Stefan Borgwardt, Rafael Peñaloza
2016	J	`jnl`	Reasoning in Fuzzy Description Logics using Automata. Fuzzy Sets Syst. Stefan Borgwardt, Rafael Peñaloza
2015	J	`jnl`	Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. CoRR Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2015	—	`conf`	Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2015	—	`conf`	Dismatching and Local Disunification in EL (Extended Abstract). Description Logics Franz Baader, Stefan Borgwardt, Barbara Morawska
2015	—	`conf`	Dismatching and Local Disunification in EL. RTA Franz Baader, Stefan Borgwardt, Barbara Morawska
2015	J	`jnl`	On the Decidability Status of Fuzzy ALC with General Concept Inclusions. J. Philos. Log. Franz Baader, Stefan Borgwardt, Rafael Peñaloza
2015	—	`conf`	Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. FroCos Stefan Borgwardt, Rafael Peñaloza
2015	J	`jnl`	Reasoning in Infinitely Valued G-IALCQ. CoRR Stefan Borgwardt, Rafael Peñaloza
2015	—	`conf`	Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence Franz Baader, Stefan Borgwardt, Marcel Lippmann
2015	—	`conf`	Temporal Query Answering in DL-Lite with Negation. GCAI Stefan Borgwardt, Veronika Thost
2015	—	`conf`	Temporal Query Answering in EL. Description Logics Stefan Borgwardt, Veronika Thost
2015	A*	`conf`	Temporal Query Answering in the Description Logic EL. IJCAI Stefan Borgwardt, Veronika Thost
2015	J	`jnl`	Temporal query entailment in the Description Logic SHQ. J. Web Semant. Franz Baader, Stefan Borgwardt, Marcel Lippmann
2015	J	`jnl`	Temporalizing rewritable query languages over knowledge bases. J. Web Semant. Stefan Borgwardt, Marcel Lippmann, Veronika Thost
2015	A*	`conf`	The Complexity of Subsumption in Fuzzy EL. IJCAI Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2015	J	`jnl`	The limits of decidability in fuzzy description logics with general concept inclusions. Artif. Intell. Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2014	J	`jnl`	Consistency reasoning in lattice-based fuzzy Description Logics. Int. J. Approx. Reason. Stefan Borgwardt, Rafael Peñaloza
2014	A*	`conf`	Decidable Gödel Description Logics without the Finitely-Valued Model Property. KR Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2014	—	`conf`	Finite Lattices Do Not Make Reasoning in URSW (LNCS Vol.) Stefan Borgwardt, Rafael Peñaloza
2014	—	`conf`	Fuzzy DLs over Finite Lattices with Nominals. Description Logics Stefan Borgwardt
2014	—	`conf`	Fuzzy Description Logics with General Concept Inclusions. Joint Workshop of the German Research Training Groups in Computer Science Stefan Borgwardt
2014	—	`—`	Fuzzy description logics with general concept inclusions. Stefan Borgwardt
2014	—	`conf`	Gödel Description Logics with General Models. Description Logics Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2014	—	`conf`	Gödel FL_0 with Greatest Fixed-Point Semantics. Description Logics Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
2014	—	`conf`	Many-valued Horn Logic is Hard. PRUV Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2014	B	`conf`	The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. JELIA Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
2013	—	`conf`	About Subsumption in Fuzzy EL. Description Logics Stefan Borgwardt, Rafael Peñaloza
2013	A*	`conf`	Positive Subsumption in Fuzzy EL with General t-Norms. IJCAI Stefan Borgwardt, Rafael Peñaloza
2013	—	`conf`	Temporal Query Answering in DL-Lite. Description Logics Stefan Borgwardt, Marcel Lippmann, Veronika Thost
2013	—	`conf`	Temporal Query Answering in the Description Logic DL-Lite. FroCos Stefan Borgwardt, Marcel Lippmann, Veronika Thost
2013	A	`conf`	Temporalizing Ontology-Based Data Access. CADE Franz Baader, Stefan Borgwardt, Marcel Lippmann
2013	J	`jnl`	The Complexity of Lattice-Based Fuzzy Description Logics. J. Data Semant. Stefan Borgwardt, Rafael Peñaloza
2012	—	`conf`	A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	—	`conf`	A Goal-Oriented Algorithm for Unification in ℇℒℋ Australasian Conference on Artificial Intelligence Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	—	`conf`	A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. RR Stefan Borgwardt, Rafael Peñaloza
2012	B	`conf`	Computing Minimal EL-unifiers is Hard. Advances in Modal Logic Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	A*	`conf`	Extending Unification in EL Towards General TBoxes. KR Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	B	`conf`	Finding Finite Herbrand Models. LPAR Stefan Borgwardt, Barbara Morawska
2012	—	`conf`	Gödel Negation Makes Unwitnessed Consistency Crisp. Description Logics Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2012	A	`conf`	How Fuzzy Is My Fuzzy Description Logic? IJCAR Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2012	—	`conf`	Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. Description Logics Stefan Borgwardt, Rafael Peñaloza
2012	—	`conf`	Recent Advances in Unification for the EL Family. UNIF Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	A	`conf`	SAT Encoding of Unification in ℇℒℋ IJCAR Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	—	`conf`	UEL: Unification Solver for EL. Description Logics Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska
2012	A*	`conf`	Undecidability of Fuzzy Description Logics. KR Stefan Borgwardt, Rafael Peñaloza
2011	—	`conf`	Computing Local Unifiers in the Description Logic EL without the Top Concept. UNIF Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
2011	A*	`conf`	Description Logics over Lattices with Multi-Valued Ontologies. IJCAI Stefan Borgwardt, Rafael Peñaloza
2011	—	`conf`	Finite Lattices Do Not Make Reasoning in ALCI Harder. URSW Stefan Borgwardt, Rafael Peñaloza
2011	—	`conf`	Fuzzy Ontologies over Lattices with T-norms. Description Logics Stefan Borgwardt, Rafael Peñaloza
2011	—	`conf`	The Inclusion Problem for Weighted Automata on Infinite Trees. AFL Stefan Borgwardt, Rafael Peñaloza
2011	A	`conf`	Unification in the Description Logic CADE Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
2011	—	`conf`	Unification in the Description Logic EL without the Top Concept. Description Logics Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska