Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Andreas Steigmiller
@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} }
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.