BibTeX records: Andreas Steigmiller

download as .bib file

@inproceedings{DBLP:conf/esws/SteigmillerG21,
  author       = {Andreas Steigmiller and
                  Birte Glimm},
  editor       = {Ruben Verborgh and
                  Katja Hose and
                  Heiko Paulheim and
                  Pierre{-}Antoine Champin and
                  Maria Maleshkova and
                  {\'{O}}scar Corcho and
                  Petar Ristoski and
                  Mehwish Alam},
  title        = {Parallelised ABox Reasoning and Query Answering with Expressive Description
                  Logics},
  booktitle    = {The Semantic Web - 18th International Conference, {ESWC} 2021, Virtual
                  Event, June 6-10, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12731},
  pages        = {23--39},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77385-4\_2},
  doi          = {10.1007/978-3-030-77385-4\_2},
  timestamp    = {Tue, 22 Jun 2021 14:39:38 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/SteigmillerG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SteigmillerGL21,
  author       = {Andreas Steigmiller and
                  Birte Glimm and
                  Thorsten Liebig},
  editor       = {Gunjan Singh and
                  Raghava Mutharaju and
                  Pavan Kapanipathi},
  title        = {Query Answering and Scaling Extensions of Konclude},
  booktitle    = {Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC
                  2021) co-located with the 20th International Semantic Web Conference
                  {(ISWC} 2021), Virtual Event, October 27th, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3123},
  pages        = {37--43},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3123/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:09 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/SteigmillerGL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SteigmillerG20,
  author       = {Andreas Steigmiller and
                  Birte Glimm},
  editor       = {Stefan Borgwardt and
                  Thomas Meyer},
  title        = {Parallelised ABox Reasoning and Query Answering with Expressive Description
                  Logics (Extended Abstract)},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2663},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2663/abstract-21.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/SteigmillerG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SteigmillerG19,
  author       = {Andreas Steigmiller and
                  Birte Glimm},
  editor       = {Mantas Simkus and
                  Grant E. Weddell},
  title        = {Absorption-Based Query Entailment Checking for Expressive Description
                  Logics},
  booktitle    = {Proceedings of the 32nd International Workshop on Description Logics,
                  Oslo, Norway, June 18-21, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2373},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2373/paper-25.pdf},
  timestamp    = {Mon, 26 Jun 2023 20:43:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dlog/SteigmillerG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SteigmillerG19,
  author       = {Andreas Steigmiller and
                  Birte Glimm},
  editor       = {Chiara Ghidini and
                  Olaf Hartig and
                  Maria Maleshkova and
                  Vojtech Sv{\'{a}}tek and
                  Isabel F. Cruz and
                  Aidan Hogan and
                  Jie Song and
                  Maxime Lefran{\c{c}}ois and
                  Fabien Gandon},
  title        = {Absorption-Based Query Answering for Expressive Description Logics},
  booktitle    = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference,
                  Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11778},
  pages        = {593--611},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30793-6\_34},
  doi          = {10.1007/978-3-030-30793-6\_34},
  timestamp    = {Fri, 09 Apr 2021 18:46:52 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/SteigmillerG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ParsiaMGGS17,
  author       = {Bijan Parsia and
                  Nicolas Matentzoglu and
                  Rafael S. Gon{\c{c}}alves and
                  Birte Glimm and
                  Andreas Steigmiller},
  title        = {The {OWL} Reasoner Evaluation {(ORE)} 2015 Competition Report},
  journal      = {J. Autom. Reason.},
  volume       = {59},
  number       = {4},
  pages        = {455--482},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10817-017-9406-8},
  doi          = {10.1007/S10817-017-9406-8},
  timestamp    = {Tue, 06 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ParsiaMGGS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Steigmiller16,
  author       = {Andreas Steigmiller},
  title        = {Optimisation of tableau-based reasoning systems for expressive description
                  logics},
  school       = {University of Ulm, Germany},
  year         = {2016},
  url          = {https://nbn-resolving.org/urn:nbn:de:bsz:289-oparu-4042-6},
  urn          = {urn:nbn:de:bsz:289-oparu-4042-6},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Steigmiller16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ParsiaMGGS16,
  author       = {Bijan Parsia and
                  Nicolas Matentzoglu and
                  Rafael S. Gon{\c{c}}alves and
                  Birte Glimm and
                  Andreas Steigmiller},
  editor       = {Paul Groth and
                  Elena Simperl and
                  Alasdair J. G. Gray and
                  Marta Sabou and
                  Markus Kr{\"{o}}tzsch and
                  Freddy L{\'{e}}cu{\'{e}} and
                  Fabian Fl{\"{o}}ck and
                  Yolanda Gil},
  title        = {The {OWL} Reasoner Evaluation {(ORE)} 2015 Resources},
  booktitle    = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference,
                  Kobe, Japan, October 17-21, 2016, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9982},
  pages        = {159--167},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46547-0\_17},
  doi          = {10.1007/978-3-319-46547-0\_17},
  timestamp    = {Tue, 06 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/ParsiaMGGS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Steigmiller16,
  author       = {Andreas Steigmiller},
  editor       = {Abraham Bernstein and
                  Wolfgang Effelsberg and
                  Felix C. Freiling and
                  Steffen H{\"{o}}lldobler and
                  Hans{-}Peter Lenhof and
                  Paul Molitor and
                  Gustaf Neumann and
                  R{\"{u}}diger Reischuk and
                  Nicole Schweikardt and
                  Myra Spiliopoulou and
                  Sabine S{\"{u}}sstrunk},
  title        = {Optimierung von tableaubasierten Schlussfolgerungssystemen f{\"{u}}r
                  ausdrucksstarke Beschreibungslogiken},
  booktitle    = {Ausgezeichnete Informatikdissertationen 2016},
  series       = {{LNI}},
  volume       = {{D-17}},
  pages        = {259--268},
  publisher    = {{GI}},
  year         = {2016},
  url          = {https://dl.gi.de/handle/20.500.12116/19945},
  timestamp    = {Tue, 04 Jul 2023 17:43:52 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Steigmiller16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SteigmillerG15,
  author       = {Andreas Steigmiller and
                  Birte Glimm},
  title        = {Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and
                  Saturation Procedures},
  journal      = {J. Artif. Intell. Res.},
  volume       = {54},
  pages        = {535--592},
  year         = {2015},
  url          = {https://doi.org/10.1613/jair.4897},
  doi          = {10.1613/JAIR.4897},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/SteigmillerG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SteigmillerGL15,
  author       = {Andreas Steigmiller and
                  Birte Glimm and
                  Thorsten Liebig},
  editor       = {Diego Calvanese and
                  Boris Konev},
  title        = {Completion Graph Caching for Expressive Description Logics},
  booktitle    = {Proceedings of the 28th International Workshop on Description Logics,
                  Athens,Greece, June 7-10, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1350},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1350/paper-35.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/SteigmillerGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ParsiaMGGS15,
  author       = {Bijan Parsia and
                  Nicolas Matentzoglu and
                  Rafael S. Gon{\c{c}}alves and
                  Birte Glimm and
                  Andreas Steigmiller},
  editor       = {Thorsten Liebig and
                  Achille Fokoue},
  title        = {The {OWL} Reasoner Evaluation {(ORE)} 2015 Competition Report},
  booktitle    = {Proceedings of the 11th International Workshop on Scalable Semantic
                  Web Knowledge Base Systems co-located with 14th International Semantic
                  Web Conference {(ISWC} 2015), Bethlehem, PA, USA, October 11, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1457},
  pages        = {2--15},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1457/SSWS2015\_paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:07 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/ParsiaMGGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SteigmillerGL14,
  author       = {Andreas Steigmiller and
                  Birte Glimm and
                  Thorsten Liebig},
  title        = {Reasoning with Nominal Schemas through Absorption},
  journal      = {J. Autom. Reason.},
  volume       = {53},
  number       = {4},
  pages        = {351--405},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10817-014-9310-4},
  doi          = {10.1007/S10817-014-9310-4},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SteigmillerGL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/SteigmillerLG14,
  author       = {Andreas Steigmiller and
                  Thorsten Liebig and
                  Birte Glimm},
  title        = {Konclude: System description},
  journal      = {J. Web Semant.},
  volume       = {27-28},
  pages        = {78--85},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.websem.2014.06.003},
  doi          = {10.1016/J.WEBSEM.2014.06.003},
  timestamp    = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ws/SteigmillerLG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SteigmillerGL14,
  author       = {Andreas Steigmiller and
                  Birte Glimm and
                  Thorsten Liebig},
  editor       = {St{\'{e}}phane Demri and
                  Deepak Kapur and
                  Christoph Weidenbach},
  title        = {Coupling Tableau Algorithms for Expressive Description Logics with
                  Completion-Based Saturation Procedures},
  booktitle    = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 19-22, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8562},
  pages        = {449--463},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08587-6\_35},
  doi          = {10.1007/978-3-319-08587-6\_35},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SteigmillerGL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SteigmillerGL14,
  author       = {Andreas Steigmiller and
                  Birte Glimm and
                  Thorsten Liebig},
  editor       = {Meghyn Bienvenu and
                  Magdalena Ortiz and
                  Riccardo Rosati and
                  Mantas Simkus},
  title        = {Optimised Absorption for Expressive Description Logics},
  booktitle    = {Informal Proceedings of the 27th International Workshop on Description
                  Logics, Vienna, Austria, July 17-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1193},
  pages        = {324--335},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1193/paper\_49.pdf},
  timestamp    = {Mon, 26 Jun 2023 20:43:45 +0200},
  biburl       = {https://dblp.org/rec/conf/dlog/SteigmillerGL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ore/2014,
  editor       = {Samantha Bail and
                  Birte Glimm and
                  Ernesto Jim{\'{e}}nez{-}Ruiz and
                  Nicolas Matentzoglu and
                  Bijan Parsia and
                  Andreas Steigmiller},
  title        = {Informal Proceedings of the 3rd International Workshop on {OWL} Reasoner
                  Evaluation {(ORE} 2014) co-located with the Vienna Summer of Logic
                  {(VSL} 2014), Vienna, Austria, July 13, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1207},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1207},
  urn          = {urn:nbn:de:0074-1207-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ore/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SteigmillerGL13,
  author       = {Andreas Steigmiller and
                  Birte Glimm and
                  Thorsten Liebig},
  editor       = {Thomas Eiter and
                  Birte Glimm and
                  Yevgeny Kazakov and
                  Markus Kr{\"{o}}tzsch},
  title        = {Extending Absorption to Nominal Schemas},
  booktitle    = {Informal Proceedings of the 26th International Workshop on Description
                  Logics, Ulm, Germany, July 23 - 26, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1014},
  pages        = {428--450},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1014/paper\_20.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/SteigmillerGL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SteigmillerGL13,
  author       = {Andreas Steigmiller and
                  Birte Glimm and
                  Thorsten Liebig},
  editor       = {Francesca Rossi},
  title        = {Nominal Schema Absorption},
  booktitle    = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
                  on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages        = {1104--1110},
  publisher    = {{IJCAI/AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6629},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/SteigmillerGL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SteigmillerLG12,
  author       = {Andreas Steigmiller and
                  Thorsten Liebig and
                  Birte Glimm},
  editor       = {Bernhard Gramlich and
                  Dale Miller and
                  Uli Sattler},
  title        = {Extended Caching, Backjumping and Merging for Expressive Description
                  Logics},
  booktitle    = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
                  2012, Manchester, UK, June 26-29, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7364},
  pages        = {514--529},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31365-3\_40},
  doi          = {10.1007/978-3-642-31365-3\_40},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SteigmillerLG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SteigmillerLG12,
  author       = {Andreas Steigmiller and
                  Thorsten Liebig and
                  Birte Glimm},
  editor       = {Yevgeny Kazakov and
                  Domenico Lembo and
                  Frank Wolter},
  title        = {Extended Caching and Backjumping for Expressive Description Logics},
  booktitle    = {Proceedings of the 2012 International Workshop on Description Logics,
                  DL-2012, Rome, Italy, June 7-10, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {846},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-846/paper\_36.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/SteigmillerLG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics