BibTeX records: Claudia Schon

download as .bib file

@article{DBLP:journals/ki/FurbachHRSS19,
  author    = {Ulrich Furbach and
               Steffen H{\"{o}}lldobler and
               Marco Ragni and
               Claudia Schon and
               Frieder Stolzenburg},
  title     = {Cognitive Reasoning: {A} Personal View},
  journal   = {{KI}},
  volume    = {33},
  number    = {3},
  pages     = {209--217},
  year      = {2019},
  url       = {https://doi.org/10.1007/s13218-019-00603-3},
  doi       = {10.1007/s13218-019-00603-3},
  timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ki/FurbachHRSS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/SchonSS19,
  author    = {Claudia Schon and
               Sophie Siebert and
               Frieder Stolzenburg},
  title     = {The CoRg Project: Cognitive Reasoning},
  journal   = {{KI}},
  volume    = {33},
  number    = {3},
  pages     = {293--299},
  year      = {2019},
  url       = {https://doi.org/10.1007/s13218-019-00601-5},
  doi       = {10.1007/s13218-019-00601-5},
  timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ki/SchonSS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FurbachKS19,
  author    = {Ulrich Furbach and
               Teresa Kr{\"{a}}mer and
               Claudia Schon},
  title     = {Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection},
  booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
               Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  pages     = {250--268},
  year      = {2019},
  crossref  = {DBLP:conf/cade/2019},
  url       = {https://doi.org/10.1007/978-3-030-29436-6\_15},
  doi       = {10.1007/978-3-030-29436-6\_15},
  timestamp = {Wed, 21 Aug 2019 13:34:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/FurbachKS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdmake/SiebertSS19,
  author    = {Sophie Siebert and
               Claudia Schon and
               Frieder Stolzenburg},
  title     = {Commonsense Reasoning Using Theorem Proving and Machine Learning},
  booktitle = {Machine Learning and Knowledge Extraction - Third {IFIP} {TC} 5, {TC}
               12, {WG} 8.4, {WG} 8.9, {WG} 12.9 International Cross-Domain Conference,
               {CD-MAKE} 2019, Canterbury, UK, August 26-29, 2019, Proceedings},
  pages     = {395--413},
  year      = {2019},
  crossref  = {DBLP:conf/cdmake/2019},
  url       = {https://doi.org/10.1007/978-3-030-29726-8\_25},
  doi       = {10.1007/978-3-030-29726-8\_25},
  timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cdmake/SiebertSS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2019lacatoda,
  editor    = {Ulrich Furbach and
               Steffen H{\"{o}}lldobler and
               Marco Ragni and
               Rafal Rzepka and
               Claudia Schon and
               Jordi Vallverd{\'{u}} and
               Andre Wlodarczyk},
  title     = {Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches
               to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human
               and Automated Reasoning (BtG 2019) co-located with 28th International
               Joint Conference on Artificial Intelligence {(IJCAI} 2019), Macao,
               China, August 12, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2452},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2452},
  urn       = {urn:nbn:de:0074-2452-0},
  timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2019lacatoda},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00855,
  author    = {Martin Leinberger and
               Philipp Seifer and
               Claudia Schon and
               Ralf L{\"{a}}mmel and
               Steffen Staab},
  title     = {Type Checking Program Code using {SHACL} (Extended Version)},
  journal   = {CoRR},
  volume    = {abs/1907.00855},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.00855},
  archivePrefix = {arXiv},
  eprint    = {1907.00855},
  timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1907-00855},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/SchonSKKSW18,
  author    = {Claudia Schon and
               Steffen Staab and
               Patricia K{\"{u}}gler and
               Philipp Kestel and
               Benjamin Schleich and
               Sandro Wartzack},
  title     = {Metaproperty-Guided Deletion from the Instance-Level of a Knowledge
               Base},
  booktitle = {Knowledge Engineering and Knowledge Management - 21st International
               Conference, {EKAW} 2018, Nancy, France, November 12-16, 2018, Proceedings},
  pages     = {407--423},
  year      = {2018},
  crossref  = {DBLP:conf/ekaw/2018},
  url       = {https://doi.org/10.1007/978-3-030-03667-6\_26},
  doi       = {10.1007/978-3-030-03667-6\_26},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ekaw/SchonSKKSW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/TimmSSSSS0RNMKJ18,
  author    = {Ingo J. Timm and
               Steffen Staab and
               Michael Siebers and
               Claudia Schon and
               Ute Schmid and
               Kai Sauerwald and
               Lukas Reuter and
               Marco Ragni and
               Claudia Nieder{\'{e}}e and
               Heiko Maus and
               Gabriele Kern{-}Isberner and
               Christian Jilek and
               Paulina Friemann and
               Thomas Eiter and
               Andreas Dengel and
               Hannah Dames and
               Tanja Bock and
               Jan Ole Berndt and
               Christoph Beierle},
  title     = {Intentional Forgetting in Artificial Intelligence Systems: Perspectives
               and Challenges},
  booktitle = {{KI} 2018: Advances in Artificial Intelligence - 41st German Conference
               on AI, Berlin, Germany, September 24-28, 2018, Proceedings},
  pages     = {357--365},
  year      = {2018},
  crossref  = {DBLP:conf/ki/2018},
  url       = {https://doi.org/10.1007/978-3-030-00111-7\_30},
  doi       = {10.1007/978-3-030-00111-7\_30},
  timestamp = {Fri, 13 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/TimmSSSSS0RNMKJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2018bridging,
  editor    = {Claudia Schon},
  title     = {Proceedings of the fourth Workshop on Bridging the Gap between Human
               and Automated Reasoningco-located with the 27th International Joint
               Conference on Artificial Intelligence and the 23rd European Conference
               on Artificial Intelligence {(IJCAI-ECAI} 2018), Stockholm, Schweden,
               July 14, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2261},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2261},
  urn       = {urn:nbn:de:0074-2261-3},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2018bridging},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/FurbachHRS17,
  author    = {Ulrich Furbach and
               Steffen H{\"{o}}lldobler and
               Marco Ragni and
               Claudia Schon},
  title     = {Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation
               for Human Reasoning?},
  booktitle = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society,
               CogSci 2017, London, UK, 16-29 July 2017},
  year      = {2017},
  crossref  = {DBLP:conf/cogsci/2017},
  url       = {https://mindmodeling.org/cogsci2017/papers/0005/index.html},
  timestamp = {Fri, 12 Jan 2018 12:36:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cogsci/FurbachHRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/SchonS17,
  author    = {Claudia Schon and
               Steffen Staab},
  title     = {Towards {SPARQL} Instance-Level Update in the Presence of {OWL-DL}
               TBoxes},
  booktitle = {Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean
               Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017.},
  year      = {2017},
  crossref  = {DBLP:conf/jowo/2017},
  url       = {http://ceur-ws.org/Vol-2050/DEW\_paper\_2.pdf},
  timestamp = {Tue, 28 May 2019 16:23:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jowo/SchonS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cogsci/2017bridging,
  editor    = {Claudia Schon and
               Ulrich Furbach},
  title     = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning - Is Logic and Automated Reasoning a Foundation
               for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive
               Science Society (CogSci 2017), London, UK, July 26, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1994},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1994},
  urn       = {urn:nbn:de:0074-1994-5},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cogsci/2017bridging},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Schon16,
  author    = {Claudia Schon},
  title     = {Techniques for optimized reasoning in description logic knowledge
               bases},
  school    = {University of Koblenz and Landau, Germany},
  year      = {2016},
  url       = {https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/1343},
  urn       = {urn:nbn:de:kola-13438},
  timestamp = {Wed, 09 Nov 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Schon16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FurbachS16,
  author    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Commonsense Reasoning meets Theorem Proving},
  booktitle = {Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning:
               {A} Challenge for Next-generation Intelligent Agents 2016 co-located
               with 15th International Conference of the Italian Association for
               Artificial Intelligence (AIxIA 2016), Genova, Italy, November 28th,
               2016.},
  pages     = {1--12},
  year      = {2016},
  crossref  = {DBLP:conf/aiia/2016urania},
  url       = {http://ceur-ws.org/Vol-1802/paper1.pdf},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/FurbachS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FurbachS16,
  author    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Commonsense Reasoning Meets Theorem Proving},
  booktitle = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning co-located with 25th International Joint Conference
               on Artificial Intelligence {(IJCAI} 2016), New York, USA, July 9,
               2016.},
  pages     = {74--85},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016bridging},
  url       = {http://ceur-ws.org/Vol-1651/12340072.pdf},
  timestamp = {Tue, 28 May 2019 16:23:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/FurbachS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/FurbachS16,
  author    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Commonsense Reasoning Meets Theorem Proving},
  booktitle = {Multiagent System Technologies - 14th German Conference, {MATES} 2016,
               Klagenfurt, {\"{O}}sterreich, September 27-30, 2016. Proceedings},
  pages     = {3--17},
  year      = {2016},
  crossref  = {DBLP:conf/mates/2016},
  url       = {https://doi.org/10.1007/978-3-319-45889-2\_1},
  doi       = {10.1007/978-3-319-45889-2\_1},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mates/FurbachS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016bridging,
  editor    = {Claudia Schon and
               Ulrich Furbach},
  title     = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning co-located with 25th International Joint Conference
               on Artificial Intelligence {(IJCAI} 2016), New York, USA, July 9,
               2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1651},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1651},
  urn       = {urn:nbn:de:0074-1651-0},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2016bridging},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/FurbachSSWW15,
  author    = {Ulrich Furbach and
               Claudia Schon and
               Frieder Stolzenburg and
               Karl{-}Heinz Weis and
               Claus{-}Peter Wirth},
  title     = {The RatioLog Project: Rational Extensions of Logical Reasoning},
  journal   = {{KI}},
  volume    = {29},
  number    = {3},
  pages     = {271--277},
  year      = {2015},
  url       = {https://doi.org/10.1007/s13218-015-0377-9},
  doi       = {10.1007/s13218-015-0377-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ki/FurbachSSWW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FurbachS14,
  author    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Deontic Logic for Human Reasoning},
  booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
               Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
               of His 60th Birthday},
  pages     = {63--80},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2014brewka},
  url       = {https://doi.org/10.1007/978-3-319-14726-0\_5},
  doi       = {10.1007/978-3-319-14726-0\_5},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/FurbachS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FurbachGS15,
  author    = {Ulrich Furbach and
               Andrew S. Gordon and
               Claudia Schon},
  title     = {Tackling Benchmark Problems of Commonsense Reasoning},
  booktitle = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning - {A} workshop of the 25th International Conference
               on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015.},
  pages     = {47--59},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2015bridging},
  url       = {http://ceur-ws.org/Vol-1412/5o.pdf},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/FurbachGS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FurbachPS15,
  author    = {Ulrich Furbach and
               Bj{\"{o}}rn Pelzer and
               Claudia Schon},
  title     = {Automated Reasoning in the Wild},
  booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  pages     = {55--72},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6\_3},
  doi       = {10.1007/978-3-319-21401-6\_3},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/FurbachPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2015bridging,
  editor    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning - {A} workshop of the 25th International Conference
               on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1412},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1412},
  urn       = {urn:nbn:de:0074-1412-3},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2015bridging},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FurbachSS15,
  author    = {Ulrich Furbach and
               Claudia Schon and
               Frieder Stolzenburg},
  title     = {Automated Reasoning for Robot Ethics},
  journal   = {CoRR},
  volume    = {abs/1502.05838},
  year      = {2015},
  url       = {http://arxiv.org/abs/1502.05838},
  archivePrefix = {arXiv},
  eprint    = {1502.05838},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FurbachSS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FurbachSSWW15,
  author    = {Ulrich Furbach and
               Claudia Schon and
               Frieder Stolzenburg and
               Karl{-}Heinz Weis and
               Claus{-}Peter Wirth},
  title     = {The RatioLog Project - Rational Extensions of Logical Reasoning},
  journal   = {CoRR},
  volume    = {abs/1503.06087},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.06087},
  archivePrefix = {arXiv},
  eprint    = {1503.06087},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FurbachSSWW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miwai/FurbachSS14,
  author    = {Ulrich Furbach and
               Claudia Schon and
               Frieder Stolzenburg},
  title     = {Automated Reasoning in Deontic Logic},
  booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 8th International
               Workshop, {MIWAI} 2014, Bangalore, India, December 8-10, 2014. Proceedings},
  pages     = {57--68},
  year      = {2014},
  crossref  = {DBLP:conf/miwai/2014},
  url       = {https://doi.org/10.1007/978-3-319-13365-2\_6},
  doi       = {10.1007/978-3-319-13365-2\_6},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/miwai/FurbachSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FurbachS14,
  author    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Deontic Logic for Human Reasoning},
  journal   = {CoRR},
  volume    = {abs/1404.6974},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.6974},
  archivePrefix = {arXiv},
  eprint    = {1404.6974},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FurbachS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FurbachS14a,
  author    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Semantically Guided Evolution of {SHI} ABoxes},
  journal   = {CoRR},
  volume    = {abs/1405.1192},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.1192},
  archivePrefix = {arXiv},
  eprint    = {1405.1192},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FurbachS14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FurbachSS14,
  author    = {Ulrich Furbach and
               Claudia Schon and
               Frieder Stolzenburg},
  title     = {Automated Reasoning in Deontic Logic},
  journal   = {CoRR},
  volume    = {abs/1411.4823},
  year      = {2014},
  url       = {http://arxiv.org/abs/1411.4823},
  archivePrefix = {arXiv},
  eprint    = {1411.4823},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FurbachSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FurbachSS14a,
  author    = {Ulrich Furbach and
               Claudia Schon and
               Frieder Stolzenburg},
  title     = {Cognitive Systems and Question Answering},
  journal   = {CoRR},
  volume    = {abs/1411.4825},
  year      = {2014},
  url       = {http://arxiv.org/abs/1411.4825},
  archivePrefix = {arXiv},
  eprint    = {1411.4825},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FurbachSS14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenderPS13,
  author    = {Markus Bender and
               Bj{\"{o}}rn Pelzer and
               Claudia Schon},
  title     = {System Description: E-KRHyper 1.4 - Extensions for Unique Names and
               Description Logic},
  booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  pages     = {126--134},
  year      = {2013},
  crossref  = {DBLP:conf/cade/2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2\_8},
  doi       = {10.1007/978-3-642-38574-2\_8},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BenderPS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FurbachS13,
  author    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Semantically Guided Evolution of ABoxes},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
               International Conference, {TABLEAUX} 2013, Nancy, France, September
               16-19, 2013. Proceedings},
  pages     = {134--148},
  year      = {2013},
  crossref  = {DBLP:conf/tableaux/2013},
  url       = {https://doi.org/10.1007/978-3-642-40537-2\_13},
  doi       = {10.1007/978-3-642-40537-2\_13},
  timestamp = {Mon, 16 Sep 2019 15:24:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/FurbachS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schon11,
  author    = {Claudia Schon},
  title     = {Linkless Normal Form for \emph{ALC} Concepts and TBoxes},
  booktitle = {{KI} 2011: Advances in Artificial Intelligence, 34th Annual German
               Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings},
  pages     = {301--312},
  year      = {2011},
  crossref  = {DBLP:conf/ki/2011},
  url       = {https://doi.org/10.1007/978-3-642-24455-1\_29},
  doi       = {10.1007/978-3-642-24455-1\_29},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/Schon11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/ObermaierW09,
  author    = {Claudia Obermaier and
               Markus Wagner},
  title     = {Towards an evolved lower bound for the most circular partition of
               a square},
  booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
               2009, Trondheim, Norway, 18-21 May, 2009},
  pages     = {1463--1469},
  year      = {2009},
  crossref  = {DBLP:conf/cec/2009},
  url       = {https://doi.org/10.1109/CEC.2009.4983115},
  doi       = {10.1109/CEC.2009.4983115},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cec/ObermaierW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/FurbachGO09,
  author    = {Ulrich Furbach and
               Heiko G{\"{u}}nther and
               Claudia Obermaier},
  title     = {A Knowledge Compilation Technique for {ALC} Tboxes},
  booktitle = {Proceedings of the Twenty-Second International Florida Artificial
               Intelligence Research Society Conference, May 19-21, 2009, Sanibel
               Island, Florida, {USA}},
  year      = {2009},
  crossref  = {DBLP:conf/flairs/2009},
  url       = {http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/35},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/flairs/FurbachGO09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FurbachO07,
  author    = {Ulrich Furbach and
               Claudia Obermaier},
  title     = {Knowledge Compilation for Description Logics},
  booktitle = {Proceedings of the 3rd Workshop on Knowledge Engineering and Software
               Engineering {(KESE} 2007) at the 30th German Conference on Artificial
               Intelligence (KI-2007), Osnabr{\"{u}}ck, Germany, September 10,
               2007},
  year      = {2007},
  crossref  = {DBLP:conf/ki/2007kese},
  url       = {http://ceur-ws.org/Vol-282/03-furbach\_obermaier\_edit.pdf},
  timestamp = {Tue, 28 May 2019 16:23:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/FurbachO07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FurbachO06,
  author    = {Ulrich Furbach and
               Claudia Obermaier},
  title     = {Applications of Automated Reasoning},
  booktitle = {{KI} 2006: Advances in Artificial Intelligence, 29th Annual German
               Conference on AI, {KI} 2006, Bremen, Germany, June 14-17, 2006, Proceedings},
  pages     = {174--187},
  year      = {2006},
  crossref  = {DBLP:conf/ki/2006},
  url       = {https://doi.org/10.1007/978-3-540-69912-5\_14},
  doi       = {10.1007/978-3-540-69912-5\_14},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/FurbachO06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2019,
  editor    = {Pascal Fontaine},
  title     = {Automated Deduction - {CADE} 27 - 27th International Conference on
               Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11716},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-29436-6},
  doi       = {10.1007/978-3-030-29436-6},
  isbn      = {978-3-030-29435-9},
  timestamp = {Wed, 21 Aug 2019 13:34:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cdmake/2019,
  editor    = {Andreas Holzinger and
               Peter Kieseberg and
               A Min Tjoa and
               Edgar R. Weippl},
  title     = {Machine Learning and Knowledge Extraction - Third {IFIP} {TC} 5, {TC}
               12, {WG} 8.4, {WG} 8.9, {WG} 12.9 International Cross-Domain Conference,
               {CD-MAKE} 2019, Canterbury, UK, August 26-29, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11713},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-29726-8},
  doi       = {10.1007/978-3-030-29726-8},
  isbn      = {978-3-030-29725-1},
  timestamp = {Fri, 23 Aug 2019 12:00:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cdmake/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ekaw/2018,
  editor    = {Catherine Faron{-}Zucker and
               Chiara Ghidini and
               Amedeo Napoli and
               Yannick Toussaint},
  title     = {Knowledge Engineering and Knowledge Management - 21st International
               Conference, {EKAW} 2018, Nancy, France, November 12-16, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11313},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03667-6},
  doi       = {10.1007/978-3-030-03667-6},
  isbn      = {978-3-030-03666-9},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ekaw/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2018,
  editor    = {Frank Trollmann and
               Anni{-}Yasmin Turhan},
  title     = {{KI} 2018: Advances in Artificial Intelligence - 41st German Conference
               on AI, Berlin, Germany, September 24-28, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11117},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00111-7},
  doi       = {10.1007/978-3-030-00111-7},
  isbn      = {978-3-030-00110-0},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cogsci/2017,
  editor    = {Glenn Gunzelmann and
               Andrew Howes and
               Thora Tenbrink and
               Eddy J. Davelaar},
  title     = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society,
               CogSci 2017, London, UK, 16-29 July 2017},
  publisher = {cognitivesciencesociety.org},
  year      = {2017},
  url       = {https://mindmodeling.org/cogsci2017/},
  isbn      = {978-0-9911967-6-0},
  timestamp = {Fri, 12 Jan 2018 12:36:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cogsci/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jowo/2017,
  editor    = {Stefano Borgo and
               Oliver Kutz and
               Frank Loebe and
               Fabian Neuhaus and
               Kemo Adrian and
               Mihailo Antovic and
               Valerio Basile and
               Martin Boeker and
               Diego Calvanese and
               Tommaso Caselli and
               Giorgio Colombo and
               Roberto Confalonieri and
               Laura Daniele and
               J{\'{e}}r{\^{o}}me Euzenat and
               Antony Galton and
               Dagmar Gromann and
               Maria M. Hedblom and
               Heinrich Herre and
               Inge Hinterwaldner and
               Andrea Janes and
               Ludger Jansen and
               Kris Krois and
               Antonio Lieto and
               Claudio Masolo and
               Rafael Pe{\~{n}}aloza and
               Daniele Porello and
               Daniele P. Radicioni and
               Emilio M. Sanfilippo and
               Daniel Schober and
               Rossella Stufano and
               Amanda Vizedom},
  title     = {Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean
               Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2050},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2050},
  urn       = {urn:nbn:de:0074-2050-0},
  timestamp = {Tue, 28 May 2019 16:23:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jowo/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2016urania,
  editor    = {Federico Chesani and
               Paola Mello and
               Michela Milano},
  title     = {Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning:
               {A} Challenge for Next-generation Intelligent Agents 2016 co-located
               with 15th International Conference of the Italian Association for
               Artificial Intelligence (AIxIA 2016), Genova, Italy, November 28th,
               2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1802},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1802},
  urn       = {urn:nbn:de:0074-1802-3},
  timestamp = {Tue, 28 May 2019 16:23:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2016urania},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016bridging,
  editor    = {Claudia Schon and
               Ulrich Furbach},
  title     = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning co-located with 25th International Joint Conference
               on Artificial Intelligence {(IJCAI} 2016), New York, USA, July 9,
               2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1651},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1651},
  urn       = {urn:nbn:de:0074-1651-0},
  timestamp = {Tue, 28 May 2019 16:23:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2016bridging},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mates/2016,
  editor    = {Matthias Klusch and
               Rainer Unland and
               Onn Shehory and
               Alexander Pokahr and
               Sebastian Ahrndt},
  title     = {Multiagent System Technologies - 14th German Conference, {MATES} 2016,
               Klagenfurt, {\"{O}}sterreich, September 27-30, 2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9872},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45889-2},
  doi       = {10.1007/978-3-319-45889-2},
  isbn      = {978-3-319-45888-5},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mates/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014brewka,
  editor    = {Thomas Eiter and
               Hannes Strass and
               Miroslaw Truszczynski and
               Stefan Woltran},
  title     = {Advances in Knowledge Representation, Logic Programming, and Abstract
               Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
               of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9060},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-14726-0},
  doi       = {10.1007/978-3-319-14726-0},
  isbn      = {978-3-319-14725-3},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2014brewka},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2015bridging,
  editor    = {Ulrich Furbach and
               Claudia Schon},
  title     = {Proceedings of the Workshop on Bridging the Gap between Human and
               Automated Reasoning - {A} workshop of the 25th International Conference
               on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1412},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1412},
  urn       = {urn:nbn:de:0074-1412-3},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2015bridging},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2015,
  editor    = {Amy P. Felty and
               Aart Middeldorp},
  title     = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9195},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6},
  doi       = {10.1007/978-3-319-21401-6},
  isbn      = {978-3-319-21400-9},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/miwai/2014,
  editor    = {M. Narasimha Murty and
               Xiangjian He and
               Chillarige Raghavendra Rao and
               Paul Weng},
  title     = {Multi-disciplinary Trends in Artificial Intelligence - 8th International
               Workshop, {MIWAI} 2014, Bangalore, India, December 8-10, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8875},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-13365-2},
  doi       = {10.1007/978-3-319-13365-2},
  isbn      = {978-3-319-13364-5},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/miwai/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2013,
  editor    = {Maria Paola Bonacina},
  title     = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7898},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2},
  doi       = {10.1007/978-3-642-38574-2},
  isbn      = {978-3-642-38573-5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2013,
  editor    = {Didier Galmiche and
               Dominique Larchey{-}Wendling},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
               International Conference, {TABLEAUX} 2013, Nancy, France, September
               16-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8123},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40537-2},
  doi       = {10.1007/978-3-642-40537-2},
  isbn      = {978-3-642-40536-5},
  timestamp = {Mon, 16 Sep 2019 15:24:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2011,
  editor    = {Joscha Bach and
               Stefan Edelkamp},
  title     = {{KI} 2011: Advances in Artificial Intelligence, 34th Annual German
               Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7006},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24455-1},
  doi       = {10.1007/978-3-642-24455-1},
  isbn      = {978-3-642-24454-4},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cec/2009,
  title     = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
               2009, Trondheim, Norway, 18-21 May, 2009},
  publisher = {{IEEE}},
  year      = {2009},
  timestamp = {Tue, 04 May 2010 11:09:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cec/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/2009,
  editor    = {H. Chad Lane and
               Hans W. Guesgen},
  title     = {Proceedings of the Twenty-Second International Florida Artificial
               Intelligence Research Society Conference, May 19-21, 2009, Sanibel
               Island, Florida, {USA}},
  publisher = {{AAAI} Press},
  year      = {2009},
  isbn      = {978-1-57735-419-2},
  timestamp = {Wed, 25 Nov 2009 09:44:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/flairs/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2007kese,
  editor    = {Joachim Baumeister and
               Dietmar Seipel},
  title     = {Proceedings of the 3rd Workshop on Knowledge Engineering and Software
               Engineering {(KESE} 2007) at the 30th German Conference on Artificial
               Intelligence (KI-2007), Osnabr{\"{u}}ck, Germany, September 10,
               2007},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {282},
  publisher = {CEUR-WS.org},
  year      = {2007},
  url       = {http://ceur-ws.org/Vol-282},
  urn       = {urn:nbn:de:0074-282-1},
  timestamp = {Tue, 28 May 2019 16:23:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2007kese},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2006,
  editor    = {Christian Freksa and
               Michael Kohlhase and
               Kerstin Schill},
  title     = {{KI} 2006: Advances in Artificial Intelligence, 29th Annual German
               Conference on AI, {KI} 2006, Bremen, Germany, June 14-17, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4314},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-69912-5},
  doi       = {10.1007/978-3-540-69912-5},
  isbn      = {978-3-540-69911-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ki/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics