Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Claudia Schon
@inproceedings{DBLP:conf/ki/Schon23,
author = {Claudia Schon},
editor = {Dietmar Seipel and
Alexander Steen},
title = {Associative Reasoning for Commonsense Knowledge},
booktitle = {{KI} 2023: Advances in Artificial Intelligence - 46th German Conference
on AI, Berlin, Germany, September 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14236},
pages = {170--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42608-7\_14},
doi = {10.1007/978-3-031-42608-7\_14},
timestamp = {Wed, 20 Sep 2023 23:28:48 +0200},
biburl = {https://dblp.org/rec/conf/ki/Schon23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BonacinaFNSD23,
author = {Maria Paola Bonacina and
Pascal Fontaine and
Cl{\'{a}}udia Nalon and
Claudia Schon and
Martin Desharnais},
title = {The Next Generation of Deduction Systems: From Composition to Compositionality
(Dagstuhl Seminar 23471)},
journal = {Dagstuhl Reports},
volume = {13},
number = {11},
pages = {130--150},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.11.130},
doi = {10.4230/DAGREP.13.11.130},
timestamp = {Fri, 19 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BonacinaFNSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Schon22,
author = {Claudia Schon},
editor = {Jesse Heyninck and
Thomas Meyer and
Marco Ragni and
Matthias Thimm and
Gabriele Kern{-}Isberner},
title = {Associative Reasoning for Commonsense Knowledge},
booktitle = {Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation
co-located with the 31st international join conference on artificial
intelligence {(IJCAI-ECAI} 2022), Vienna, Austria, July 23, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3251},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3251/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:32 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Schon22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paar/2022,
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated
Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3201},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3201},
urn = {urn:nbn:de:0074-3201-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00716,
author = {Claudia Schon and
Ulrich Furbach and
Marco Ragni},
title = {Modeling Associative Reasoning Processes},
journal = {CoRR},
volume = {abs/2201.00716},
year = {2022},
url = {https://arxiv.org/abs/2201.00716},
eprinttype = {arXiv},
eprint = {2201.00716},
timestamp = {Mon, 10 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09163,
author = {Claudia Schon},
title = {Selection Strategies for Commonsense Knowledge},
journal = {CoRR},
volume = {abs/2202.09163},
year = {2022},
url = {https://arxiv.org/abs/2202.09163},
eprinttype = {arXiv},
eprint = {2202.09163},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SchonSS21,
author = {Claudia Schon and
Sophie Siebert and
Frieder Stolzenburg},
editor = {Stefan Edelkamp and
Ralf M{\"{o}}ller and
Elmar Rueckert},
title = {Negation in Cognitive Reasoning},
booktitle = {{KI} 2021: Advances in Artificial Intelligence - 44th German Conference
on AI, Virtual Event, September 27 - October 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12873},
pages = {217--232},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87626-5\_16},
doi = {10.1007/978-3-030-87626-5\_16},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/SchonSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BarthelmessSF20,
author = {Ulrike Barthelme{\ss} and
Claudia Schon and
Ulrich Furbach},
editor = {Christoph Beierle and
Marco Ragni and
Frieder Stolzenburg and
Matthias Thimm},
title = {Consciousness and Automated Reasoning},
booktitle = {Proceedings of the 6th Workshop on Formal and Cognitive Reasoning
co-located with 43rd German Conference on Artificial Intelligence
(KI-2020), Online / Bamberg, Germany, September 22, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2680},
pages = {12--26},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2680/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:53 +0100},
biburl = {https://dblp.org/rec/conf/ki/BarthelmessSF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RienstraSS20,
author = {Tjitze Rienstra and
Claudia Schon and
Steffen Staab},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Concept Contraction in the Description Logic {EL}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {723--732},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/74},
doi = {10.24963/KR.2020/74},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RienstraSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09442,
author = {Ulrike Barthelme{\ss} and
Ulrich Furbach and
Claudia Schon},
title = {Consciousness and Automated Reasoning},
journal = {CoRR},
volume = {abs/2001.09442},
year = {2020},
url = {https://arxiv.org/abs/2001.09442},
eprinttype = {arXiv},
eprint = {2001.09442},
timestamp = {Thu, 30 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12641,
author = {Claudia Schon and
Sophie Siebert and
Frieder Stolzenburg},
title = {Negation in Cognitive Reasoning},
journal = {CoRR},
volume = {abs/2012.12641},
year = {2020},
url = {https://arxiv.org/abs/2012.12641},
eprinttype = {arXiv},
eprint = {2012.12641},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {K{\"{u}}nstliche Intell.},
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 = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/FurbachHRSS19.bib},
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 = {K{\"{u}}nstliche Intell.},
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 = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/SchonSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FurbachKS19,
author = {Ulrich Furbach and
Teresa Kr{\"{a}}mer and
Claudia Schon},
editor = {Pascal Fontaine},
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},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {250--268},
publisher = {Springer},
year = {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/conf/cade/FurbachKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdmake/SiebertSS19,
author = {Sophie Siebert and
Claudia Schon and
Frieder Stolzenburg},
editor = {Andreas Holzinger and
Peter Kieseberg and
A Min Tjoa and
Edgar R. Weippl},
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},
series = {Lecture Notes in Computer Science},
volume = {11713},
pages = {395--413},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29726-8\_25},
doi = {10.1007/978-3-030-29726-8\_25},
timestamp = {Tue, 29 Dec 2020 18:40:27 +0100},
biburl = {https://dblp.org/rec/conf/cdmake/SiebertSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LeinbergerSSLS19,
author = {Martin Leinberger and
Philipp Seifer and
Claudia Schon and
Ralf L{\"{a}}mmel and
Steffen Staab},
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 = {Type Checking Program Code Using {SHACL}},
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 = {399--417},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30793-6\_23},
doi = {10.1007/978-3-030-30793-6\_23},
timestamp = {Fri, 09 Apr 2021 18:46:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/LeinbergerSSLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1912-12957,
author = {Claudia Schon and
Sophie Siebert and
Frieder Stolzenburg},
editor = {Martin Suda and
Sarah Winkler},
title = {Using ConceptNet to Teach Common Sense to an Automated Theorem Prover},
booktitle = {Proceedings of the Second International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE
2019, Natal, Brazil, August 26, 2019},
series = {{EPTCS}},
volume = {311},
pages = {19--24},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.311.3},
doi = {10.4204/EPTCS.311.3},
timestamp = {Sat, 09 Apr 2022 12:27:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-12957.bib},
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 = {https://ceur-ws.org/Vol-2452},
urn = {urn:nbn:de:0074-2452-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2019lacatoda.bib},
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},
eprinttype = {arXiv},
eprint = {1907.00855},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00855.bib},
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},
editor = {Catherine Faron{-}Zucker and
Chiara Ghidini and
Amedeo Napoli and
Yannick Toussaint},
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},
series = {Lecture Notes in Computer Science},
volume = {11313},
pages = {407--423},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03667-6\_26},
doi = {10.1007/978-3-030-03667-6\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/SchonSKKSW18.bib},
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},
editor = {Frank Trollmann and
Anni{-}Yasmin Turhan},
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},
series = {Lecture Notes in Computer Science},
volume = {11117},
pages = {357--365},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00111-7\_30},
doi = {10.1007/978-3-030-00111-7\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/TimmSSSSS0RNMKJ18.bib},
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 = {https://ceur-ws.org/Vol-2261},
urn = {urn:nbn:de:0074-2261-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2018bridging.bib},
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},
editor = {Glenn Gunzelmann and
Andrew Howes and
Thora Tenbrink and
Eddy J. Davelaar},
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},
publisher = {cognitivesciencesociety.org},
year = {2017},
url = {https://mindmodeling.org/cogsci2017/papers/0005/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/FurbachHRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/SchonS17,
author = {Claudia Schon and
Steffen Staab},
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 Paolo Radicioni and
Emilio M. Sanfilippo and
Daniel Schober and
Rossella Stufano and
Amanda Vizedom},
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},
series = {{CEUR} Workshop Proceedings},
volume = {2050},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2050/DEW\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/jowo/SchonS17.bib},
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 = {https://ceur-ws.org/Vol-1994},
urn = {urn:nbn:de:0074-1994-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cogsci/2017bridging.bib},
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 = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Schon16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FurbachS16,
author = {Ulrich Furbach and
Claudia Schon},
editor = {Federico Chesani and
Paola Mello and
Michela Milano},
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},
series = {{CEUR} Workshop Proceedings},
volume = {1802},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1802/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FurbachS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FurbachS16,
author = {Ulrich Furbach and
Claudia Schon},
editor = {Claudia Schon and
Ulrich Furbach},
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},
series = {{CEUR} Workshop Proceedings},
volume = {1651},
pages = {74--85},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1651/12340072.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:32 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FurbachS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/FurbachS16,
author = {Ulrich Furbach and
Claudia Schon},
editor = {Matthias Klusch and
Rainer Unland and
Onn Shehory and
Alexander Pokahr and
Sebastian Ahrndt},
title = {Commonsense Reasoning Meets Theorem Proving},
booktitle = {Multiagent System Technologies - 14th German Conference, {MATES} 2016,
Klagenfurt, {\"{O}}sterreich, September 27-30, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9872},
pages = {3--17},
publisher = {Springer},
year = {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/conf/mates/FurbachS16.bib},
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 = {https://ceur-ws.org/Vol-1651},
urn = {urn:nbn:de:0074-1651-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2016bridging.bib},
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 = {K{\"{u}}nstliche Intell.},
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 = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/FurbachSSWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FurbachS14,
author = {Ulrich Furbach and
Claudia Schon},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
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},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {63--80},
publisher = {Springer},
year = {2015},
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/conf/birthday/FurbachS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FurbachGS15,
author = {Ulrich Furbach and
Andrew S. Gordon and
Claudia Schon},
editor = {Ulrich Furbach 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},
series = {{CEUR} Workshop Proceedings},
volume = {1412},
pages = {47--59},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1412/5o.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/FurbachGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FurbachPS15,
author = {Ulrich Furbach and
Bj{\"{o}}rn Pelzer and
Claudia Schon},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {Automated Reasoning in the Wild},
booktitle = {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},
pages = {55--72},
publisher = {Springer},
year = {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/conf/cade/FurbachPS15.bib},
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 = {https://ceur-ws.org/Vol-1412},
urn = {urn:nbn:de:0074-1412-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2015bridging.bib},
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},
eprinttype = {arXiv},
eprint = {1502.05838},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FurbachSS15.bib},
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},
eprinttype = {arXiv},
eprint = {1503.06087},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FurbachSSWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miwai/FurbachSS14,
author = {Ulrich Furbach and
Claudia Schon and
Frieder Stolzenburg},
editor = {M. Narasimha Murty and
Xiangjian He and
Chillarige Raghavendra Rao and
Paul Weng},
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},
series = {Lecture Notes in Computer Science},
volume = {8875},
pages = {57--68},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13365-2\_6},
doi = {10.1007/978-3-319-13365-2\_6},
timestamp = {Sun, 02 Oct 2022 16:12:20 +0200},
biburl = {https://dblp.org/rec/conf/miwai/FurbachSS14.bib},
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},
eprinttype = {arXiv},
eprint = {1404.6974},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FurbachS14.bib},
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},
eprinttype = {arXiv},
eprint = {1405.1192},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FurbachS14a.bib},
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},
eprinttype = {arXiv},
eprint = {1411.4823},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FurbachSS14.bib},
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},
eprinttype = {arXiv},
eprint = {1411.4825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FurbachSS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenderPS13,
author = {Markus Bender and
Bj{\"{o}}rn Pelzer and
Claudia Schon},
editor = {Maria Paola Bonacina},
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},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {126--134},
publisher = {Springer},
year = {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/conf/cade/BenderPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FurbachS13,
author = {Ulrich Furbach and
Claudia Schon},
editor = {Didier Galmiche and
Dominique Larchey{-}Wendling},
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},
series = {Lecture Notes in Computer Science},
volume = {8123},
pages = {134--148},
publisher = {Springer},
year = {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/conf/tableaux/FurbachS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schon11,
author = {Claudia Schon},
editor = {Joscha Bach and
Stefan Edelkamp},
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},
series = {Lecture Notes in Computer Science},
volume = {7006},
pages = {301--312},
publisher = {Springer},
year = {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/conf/ki/Schon11.bib},
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},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CEC.2009.4983115},
doi = {10.1109/CEC.2009.4983115},
timestamp = {Thu, 16 Dec 2021 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/cec/ObermaierW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/FurbachGO09,
author = {Ulrich Furbach and
Heiko G{\"{u}}nther and
Claudia Obermaier},
editor = {H. Chad Lane and
Hans W. Guesgen},
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}},
publisher = {{AAAI} Press},
year = {2009},
url = {http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/35},
timestamp = {Wed, 26 Oct 2022 08:35:22 +0200},
biburl = {https://dblp.org/rec/conf/flairs/FurbachGO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FurbachO07,
author = {Ulrich Furbach and
Claudia Obermaier},
editor = {Joachim Baumeister and
Dietmar Seipel},
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},
series = {{CEUR} Workshop Proceedings},
volume = {282},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-282/03-furbach\_obermaier\_edit.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:53 +0100},
biburl = {https://dblp.org/rec/conf/ki/FurbachO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FurbachO06,
author = {Ulrich Furbach and
Claudia Obermaier},
editor = {Christian Freksa and
Michael Kohlhase and
Kerstin Schill},
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},
series = {Lecture Notes in Computer Science},
volume = {4314},
pages = {174--187},
publisher = {Springer},
year = {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/conf/ki/FurbachO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
