Publications of Stefan Borgwardt

Journal Articles

Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics
Künstliche Intelligenz, 31(1):85–90, 2017
Details Download

Stefan Borgwardt, Rafael Peñaloza
Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics
International Journal of Approximate Reasoning, 83:60–101, 2017
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Notre Dame Journal of Formal Logic, 57(4):443–476, 2016
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Logical Methods of Computer Science, 12(4:1):1–28, 2016
Details Download

Stefan Borgwardt, Rafael Peñaloza
Reasoning in fuzzy description logics using automata
Fuzzy Sets and Systems, 298:22–43, 2016
Details Download

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Journal on Data Semantics, 5(2):55–75, 2016
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Query Entailment in the Description Logic SHQ
Journal of Web Semantics, 33:71–93, 2015
Details Download

Franz Baader, Stefan Borgwardt, Rafael Peñaloza
On the Decidability Status of Fuzzy ALC with General Concept Inclusions
Journal of Philosophical Logic, 44(2):117-146, 2015
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporalizing Rewritable Query Languages over Knowledge Bases
Journal of Web Semantics, 33:50–70, 2015
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions
Artificial Intelligence, 218:23-55, 2015
Details Download

Stefan Borgwardt, Rafael Peñaloza
Consistency Reasoning in Lattice-Based Fuzzy Description Logics
International Journal of Approximate Reasoning, 55(9):1917-1938, 2014
Details Download

Stefan Borgwardt, Rafael Peñaloza
The Complexity of Lattice-Based Fuzzy Description Logics
Journal on Data Semantics, 2(1):1-19, 2013
Details Download

Proceedings Articles

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
In Laura Giordano, Jean Christoph Jung, Ana Ozaki, eds., Proceedings of the 37th International Workshop on Description Logics (DL'24), volume 3739 of CEUR Workshop Proceedings, June 2024
Details

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), to appear
Details Download

Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Queries for Probabilistic Databases
In Satinder Singh, Shaul Markovitch, eds., Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), 1063–1069, 2017. AAAI Press
Details Download

İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
Most Probable Explanations for Probabilistic Database Queries
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska
Preferential Query Answering in the Semantic Web with Possibilistic Networks
In Subbarao Kambhampati, eds., Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), 994–1000, 2016. AAAI Press
Details Download

Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Gödel Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577 of CEUR Workshop Proceedings, 2016
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles
In Bernhard Pfahringer, Jochen Renz, eds., Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15), volume 9457 of Lecture Notes in Artificial Intelligence, 21-33, 2015. Springer
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and local disunification in EL
In Maribel Fernández, eds., Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA’15), volume 36 of Leibniz International Proceedings in Informatics, 40–56, 2015. Dagstuhl Publishing
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2819–2825, 2015. AAAI Press
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
In Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov, eds., GCAI 2015. Global Conference on Artificial Intelligence, volume 36 of EasyChair Proceedings in Computing, 51-65, 2015. EasyChair
Details Download

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
The Complexity of Subsumption in Fuzzy EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2812–2818, 2015. AAAI Press
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 83--87, 2015. CEUR
Details Download

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Conjunctive Query Answering with Finitely Many Truth Degrees
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL'15), volume 1350, 2015. CEUR Workshop Proceedings
Details Download

Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Lecture Notes in Artificial Intelligence, 49–65, 2015. Springer
Details Download

Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, 62-76, 2014. Springer
Details Download

Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
Gödel FL_0 with Greatest Fixed-Point Semantics
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 71-82, 2014
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Decidable Gödel description logics without the finitely-valued model property
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 228-237, 2014. AAAI Press
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Description Logics with General Models
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 391-403, 2014
Details Download

Stefan Borgwardt
Fuzzy DLs over Finite Lattices with Nominals
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 58-70, 2014
Details Download

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Many-Valued Horn Logic is Hard
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14), volume 1205 of CEUR Workshop Proceedings, 52-58, 2014
Details Download

Stefan Borgwardt, Rafael Peñaloza
Finite Lattices Do Not Make Reasoning in ALCOI Harder
In F. Bobillo and R.N. Carvalho and P.C.G. da Costa and C. d'Amato and N. Fanizzi and K.B. Laskey and K.J. Laskey and Th. Lukasiewicz and M. Nickles and M. Pool, eds., Uncertainty Reasoning for the Semantic Web III, volume 8816 of LNCS, 122-141, 2014. Springer
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporalizing Ontology-Based Data Access
In Maria Paola Bonacina, eds., Proceedings of the 24th International Conference on Automated Deduction (CADE-24), volume 7898 of Lecture Notes in Artificial Intelligence, 330-344, 2013. Springer
Details Download

Stefan Borgwardt, Rafael Peñaloza
About Subsumption in Fuzzy EL
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, 526-538, 2013
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in the Description Logic DL-Lite
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 165-180, 2013. Springer
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in DL-Lite
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, July 2013. CEUR-WS.org
Details Download

Stefan Borgwardt, Rafael Peñaloza
Positive Subsumption in Fuzzy EL with General t-norms
In Francesca Rossi, eds., Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 789-795, 2013. AAAI Press
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 37-47, 2012
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-unifiers is Hard
In Silvio Ghilardi and Lawrence Moss, eds., Proceedings of the 9-th International Conference on Advances in Modal Logic (AiML'12), 2012
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
In Michael Thielscher and Dongmo Zhang, eds., Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12), volume 7691 of Lecture Notes in Artificial Intelligence, 493-504, 2012. Springer
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Recent Advances in Unification for the EL Family
In Santiago Escobar and Konstantin Korovin and Vladimir Rybakov, eds., Proceedings of the 26th International Workshop on Unification (UNIF'12), 2012
Details Download

Franz Baader, Stefan Borgwardt, Julian Alfredo Mendez, Barbara Morawska
UEL: Unification Solver for EL
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 26-36, 2012
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL Towards General TBoxes
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 568-572, 2012. AAAI Press
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 30-44, 2012. Springer
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
How Fuzzy is my Fuzzy Description Logic?
In Bernhard Gramlich and Dale Miller and Ulrike Sattler, eds., Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 82-96, 2012. Springer
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Negation Makes Unwitnessed Consistency Crisp
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 103-113, 2012
Details Download

Stefan Borgwardt, Rafael Peñaloza
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices
In Markus Krötzsch and Umberto Straccia, eds., Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer Science, 9-24, 2012. Springer
Details Download

Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 232-242, 2012. AAAI Press
Details Download

Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models
In Nikolaj Bjørner and Andrei Voronkov, eds., Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12), volume 7180 of Lecture Notes in Computer Science, 138-152, 2012. Springer
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Computing Local Unifiers in the Description Logic EL without the Top Concept
In Franz Baader and Barbara Morawska and Jan Otop, eds., Proceedings of the 25th International Workshop on Unification (UNIF'11), 2-8, 2011
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 26-36, 2011
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, eds., Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume 6803 of Lecture Notes in Computer Science, 70-84, 2011. Springer
Details Download

Stefan Borgwardt, Rafael Peñaloza
Finite Lattices Do Not Make Reasoning in ALCI Harder
In Fernando Bobillo et.al., eds., Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11), volume 778 of CEUR-WS, 51-62, 2011
Details Download

Stefan Borgwardt, Rafael Peñaloza
Description Logics over Lattices with Multi-valued Ontologies
In Toby Walsh, eds., Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11), 768-773, 2011. AAAI Press
Details Download

Stefan Borgwardt, Rafael Peñaloza
Fuzzy Ontologies over Lattices with T-norms
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 70-80, 2011. CEUR-WS.org
Details Download

Stefan Borgwardt, Rafael Peñaloza
The Inclusion Problem for Weighted Automata on Infinite Trees
In Pál Dömösi and Szabolcs Iván, eds., Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11), 108-122, 2011. College of Nyíregyháza
Details Download

Technical Reports

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-17, 2015. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-03, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Veronika Thost
LTL over EL Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-07, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-08, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Subsumption in Finitely Valued Fuzzy EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-06, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-16, 2015. LTCS-Report
Details Download

Stefan Borgwardt
The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-02, 2014. LTCS-Report
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Reasoning with Temporal Properties over Axioms of DL-Lite
Technical Report, Chair of Automata Theory, TU Dresden, volume 14-06, 2014. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
On the Complexity of Temporal Query Answering
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-01, 2013. LTCS-Report
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 13-09, 2013. LTCS-Report
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering w.r.t. DL-Lite-Ontologies
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-05, 2013. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-05, 2012. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-Unifiers is Hard
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-03, 2012. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-02, 2012. LTCS-Report
Details Download

Stefan Borgwardt, Rafael Peñaloza
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-04, 2012. LTCS-Report
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL Without the Top Concept
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 11-01, 2011. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-05, 2011. LTCS-Report
Details Download

Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-06, 2011. LTCS-Report
Details Download

Stefan Borgwardt, Rafael Peñaloza
Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-02, 2011. LTCS-Report
Details Download

Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-04, 2011. LTCS-Report
Details Download

Stefan Borgwardt, Rafael Peñaloza
Complementation and Inclusion of Weighted Automata on Infinite Trees
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-10-05, 2010. LTCS-Report
Details Download