Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christoph Wernhard
@article{DBLP:journals/corr/abs-2402-07696,
author = {Jan Heuer and
Christoph Wernhard},
title = {Synthesizing Strongly Equivalent Logic Programs: Beth Definability
for Answer Set Programs via Craig Interpolation in First-Order Logic},
journal = {CoRR},
volume = {abs/2402.07696},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.07696},
doi = {10.48550/ARXIV.2402.07696},
eprinttype = {arXiv},
eprint = {2402.07696},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-07696.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arecca/Wernhard23,
author = {Christoph Wernhard},
editor = {Jens Otten and
Wolfgang Bibel},
title = {Structure-Generating First-Order Theorem Proving},
booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning
with Connection Calculi (AReCCa 2023) affiliated with the 32nd International
Conference on Automated Reasoning with Analytic Tableaux and Related
Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3613},
pages = {64--83},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper5.pdf},
timestamp = {Sat, 27 Jan 2024 16:34:35 +0100},
biburl = {https://dblp.org/rec/conf/arecca/Wernhard23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktPW23,
author = {Michael Benedikt and
C{\'{e}}cilia Pradic and
Christoph Wernhard},
editor = {Floris Geerts and
Hung Q. Ngo and
Stavros Sintos},
title = {Synthesizing Nested Relational Queries from Implicit Specifications},
booktitle = {Proceedings of the 42nd {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2023, Seattle, WA, USA, June 18-23, 2023},
pages = {33--45},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584372.3588653},
doi = {10.1145/3584372.3588653},
timestamp = {Mon, 05 Jun 2023 10:26:52 +0200},
biburl = {https://dblp.org/rec/conf/pods/BenediktPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Wernhard23,
author = {Christoph Wernhard},
editor = {Revantha Ramanayake and
Josef Urban},
title = {Range-Restricted and Horn Interpolation through Clausal Tableaux},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
September 18-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14278},
pages = {3--23},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43513-3\_1},
doi = {10.1007/978-3-031-43513-3\_1},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/Wernhard23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/RawsonWZB23,
author = {Michael Rawson and
Christoph Wernhard and
Zsolt Zombori and
Wolfgang Bibel},
editor = {Revantha Ramanayake and
Josef Urban},
title = {Lemmas: Generation, Selection, Application},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
September 18-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14278},
pages = {153--174},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43513-3\_9},
doi = {10.1007/978-3-031-43513-3\_9},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/RawsonWZB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05854,
author = {Michael Rawson and
Christoph Wernhard and
Zsolt Zombori and
Wolfgang Bibel},
title = {Lemmas: Generation, Selection, Application},
journal = {CoRR},
volume = {abs/2303.05854},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05854},
doi = {10.48550/ARXIV.2303.05854},
eprinttype = {arXiv},
eprint = {2303.05854},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-12827,
author = {Christoph Wernhard and
Wolfgang Bibel},
title = {Investigations into Proof Structures},
journal = {CoRR},
volume = {abs/2304.12827},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.12827},
doi = {10.48550/ARXIV.2304.12827},
eprinttype = {arXiv},
eprint = {2304.12827},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-12827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-03572,
author = {Christoph Wernhard},
title = {Range-Restricted Interpolation through Clausal Tableaux},
journal = {CoRR},
volume = {abs/2306.03572},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.03572},
doi = {10.48550/ARXIV.2306.03572},
eprinttype = {arXiv},
eprint = {2306.03572},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-03572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/Wernhard22,
author = {Christoph Wernhard},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Generating Compressed Combinatory Proof Structures: An Approach to
Automated First-Order Theorem Proving},
booktitle = {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/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/paar/Wernhard22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-08453,
author = {Christoph Wernhard},
title = {{CD} Tools - Condensed Detachment and Structure Generating Theorem
Proving (System Description)},
journal = {CoRR},
volume = {abs/2207.08453},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.08453},
doi = {10.48550/ARXIV.2207.08453},
eprinttype = {arXiv},
eprint = {2207.08453},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-08453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-08299,
author = {Michael Benedikt and
C{\'{e}}cilia Pradic and
Christoph Wernhard},
title = {Synthesizing Nested Relational Queries from Implicit Specifications},
journal = {CoRR},
volume = {abs/2209.08299},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.08299},
doi = {10.48550/ARXIV.2209.08299},
eprinttype = {arXiv},
eprint = {2209.08299},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-08299.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-12592,
author = {Christoph Wernhard},
title = {Generating Compressed Combinatory Proof Structures - An Approach to
Automated First-Order Theorem Proving},
journal = {CoRR},
volume = {abs/2209.12592},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.12592},
doi = {10.48550/ARXIV.2209.12592},
eprinttype = {arXiv},
eprint = {2209.12592},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-12592.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03085,
author = {Michael Benedikt and
C{\'{e}}cilia Pradic and
Christoph Wernhard},
title = {Synthesizing nested relational queries from implicit specifications:
via model theory and via proof theory},
journal = {CoRR},
volume = {abs/2212.03085},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03085},
doi = {10.48550/ARXIV.2212.03085},
eprinttype = {arXiv},
eprint = {2212.03085},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wernhard21,
author = {Christoph Wernhard},
title = {Craig Interpolation with Clausal First-Order Tableaux},
journal = {J. Autom. Reason.},
volume = {65},
number = {5},
pages = {647--690},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09590-3},
doi = {10.1007/S10817-021-09590-3},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Wernhard21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WernhardB21,
author = {Christoph Wernhard and
Wolfgang Bibel},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Learning from {\L}ukasiewicz and Meredith: Investigations into Proof
Structures},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {58--75},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_4},
doi = {10.1007/978-3-030-79876-5\_4},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WernhardB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Wernhard21,
author = {Christoph Wernhard},
editor = {Renate A. Schmidt and
Christoph Wernhard and
Yizheng Zhao},
title = {Applying Second-Order Quantifier Elimination in Inspecting G{\"{o}}del's
Ontological Proof},
booktitle = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2021) associated with the 18th International
Conference on Principles of Knowledge Representation and Reasoning
{(KR} 2021), Online Event, November 4, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3009},
pages = {98--111},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3009/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/kr/Wernhard21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2021soqe,
editor = {Renate A. Schmidt and
Christoph Wernhard and
Yizheng Zhao},
title = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2021) associated with the 18th International
Conference on Principles of Knowledge Representation and Reasoning
{(KR} 2021), Online Event, November 4, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3009},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3009},
urn = {urn:nbn:de:0074-3009-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2021soqe.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13645,
author = {Christoph Wernhard and
Wolfgang Bibel},
title = {Learning from {\L}ukasiewicz and Meredith: Investigations into Proof
Structures (Extended Version)},
journal = {CoRR},
volume = {abs/2104.13645},
year = {2021},
url = {https://arxiv.org/abs/2104.13645},
eprinttype = {arXiv},
eprint = {2104.13645},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13645.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11108,
author = {Christoph Wernhard},
title = {Applying Second-Order Quantifier Elimination in Inspecting G{\"{o}}del's
Ontological Proof},
journal = {CoRR},
volume = {abs/2110.11108},
year = {2021},
url = {https://arxiv.org/abs/2110.11108},
eprinttype = {arXiv},
eprint = {2110.11108},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10329,
author = {Jana Kittelmann and
Christoph Wernhard},
title = {{KBSET} - Knowledge-Based Support for Scholarly Editing and Text Processing
with Declarative LaTeX Markup and a Core Written in SWI-Prolog},
journal = {CoRR},
volume = {abs/2002.10329},
year = {2020},
url = {https://arxiv.org/abs/2002.10329},
eprinttype = {arXiv},
eprint = {2002.10329},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10892,
author = {Christoph Wernhard},
title = {Facets of the {PIE} Environment for Proving, Interpolating and Eliminating
on the Basis of First-Order Logic},
journal = {CoRR},
volume = {abs/2002.10892},
year = {2020},
url = {https://arxiv.org/abs/2002.10892},
eprinttype = {arXiv},
eprint = {2002.10892},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10892.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-03489,
author = {Christoph Wernhard},
title = {Craig Interpolation with Clausal First-Order Tableaux},
journal = {CoRR},
volume = {abs/2008.03489},
year = {2020},
url = {https://arxiv.org/abs/2008.03489},
eprinttype = {arXiv},
eprint = {2008.03489},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-03489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Wernhard19,
author = {Christoph Wernhard},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Facets of the {PIE} Environment for Proving, Interpolating and Eliminating
on the Basis of First-Order Logic},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {160--177},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_11},
doi = {10.1007/978-3-030-46714-2\_11},
timestamp = {Tue, 05 May 2020 15:20:37 +0200},
biburl = {https://dblp.org/rec/conf/inap/Wernhard19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/KittelmannW19,
author = {Jana Kittelmann and
Christoph Wernhard},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {{KBSET} - Knowledge-Based Support for Scholarly Editing and Text Processing
with Declarative [inline-graphic not available: see fulltext] Markup
and a Core Written in SWI-Prolog},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {178--196},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_12},
doi = {10.1007/978-3-030-46714-2\_12},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/KittelmannW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-11135,
author = {Jana Kittelmann and
Christoph Wernhard},
title = {{KBSET} - Knowledge-Based Support for Scholarly Editing and Text Processing},
journal = {CoRR},
volume = {abs/1908.11135},
year = {2019},
url = {http://arxiv.org/abs/1908.11135},
eprinttype = {arXiv},
eprint = {1908.11135},
timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-11135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-11137,
author = {Christoph Wernhard},
title = {{PIE} - Proving, Interpolating and Eliminating on the Basis of First-Order
Logic},
journal = {CoRR},
volume = {abs/1908.11137},
year = {2019},
url = {http://arxiv.org/abs/1908.11137},
eprinttype = {arXiv},
eprint = {1908.11137},
timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-11137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-04982,
author = {Christoph Wernhard},
title = {Craig Interpolation and Access Interpolation with Clausal First-Order
Tableaux},
journal = {CoRR},
volume = {abs/1802.04982},
year = {2018},
url = {http://arxiv.org/abs/1802.04982},
eprinttype = {arXiv},
eprint = {1802.04982},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-04982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Wernhard17,
author = {Christoph Wernhard},
editor = {Clare Dixon and
Marcelo Finger},
title = {The Boolean Solution Problem from the Perspective of Predicate Logic},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {333--350},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_19},
doi = {10.1007/978-3-319-66167-4\_19},
timestamp = {Mon, 28 Aug 2023 21:17:55 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Wernhard17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soqe/Wernhard17,
author = {Christoph Wernhard},
editor = {Patrick Koopmann and
Sebastian Rudolph and
Renate A. Schmidt and
Christoph Wernhard},
title = {Approximating Resultants of Existential Second-Order Quantifier Elimination
upon Universal Relational First-Order Formulas},
booktitle = {Proceedings of the Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2017), Dresden, Germany, December 6-8,
2017},
series = {{CEUR} Workshop Proceedings},
volume = {2013},
pages = {82--98},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2013/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/soqe/Wernhard17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soqe/Wernhard17a,
author = {Christoph Wernhard},
editor = {Patrick Koopmann and
Sebastian Rudolph and
Renate A. Schmidt and
Christoph Wernhard},
title = {The Boolean Solution Problem from the Perspective of Predicate Logic
(Abstract)},
booktitle = {Proceedings of the Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2017), Dresden, Germany, December 6-8,
2017},
series = {{CEUR} Workshop Proceedings},
volume = {2013},
pages = {99--101},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2013/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soqe/Wernhard17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soqe/Wernhard17b,
author = {Christoph Wernhard},
editor = {Patrick Koopmann and
Sebastian Rudolph and
Renate A. Schmidt and
Christoph Wernhard},
title = {Early Steps of Second-Order Quantifier Elimination beyond the Monadic
Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann
1928-1934 (Abstract)},
booktitle = {Proceedings of the Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2017), Dresden, Germany, December 6-8,
2017},
series = {{CEUR} Workshop Proceedings},
volume = {2013},
pages = {102--105},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2013/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soqe/Wernhard17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/soqe/2017,
editor = {Patrick Koopmann and
Sebastian Rudolph and
Renate A. Schmidt and
Christoph Wernhard},
title = {Proceedings of the Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2017), Dresden, Germany, December 6-8,
2017},
series = {{CEUR} Workshop Proceedings},
volume = {2013},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2013},
urn = {urn:nbn:de:0074-2013-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soqe/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ysip/2017,
editor = {Steffen H{\"{o}}lldobler and
Andrey Malikov and
Christoph Wernhard},
title = {{YSIP2} - Proceedings of the Second Young Scientist's International
Workshop on Trends in Information Processing, Dombai, Russian Federation,
May 16-20, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1837},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1837},
urn = {urn:nbn:de:0074-1837-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ysip/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Wernhard17,
author = {Christoph Wernhard},
title = {The Boolean Solution Problem from the Perspective of Predicate Logic
- Extended Version},
journal = {CoRR},
volume = {abs/1706.08329},
year = {2017},
url = {http://arxiv.org/abs/1706.08329},
eprinttype = {arXiv},
eprint = {1706.08329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wernhard17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-06868,
author = {Christoph Wernhard},
title = {Heinrich Behmann's Contributions to Second-Order Quantifier Elimination
from the View of Computational Logic},
journal = {CoRR},
volume = {abs/1712.06868},
year = {2017},
url = {http://arxiv.org/abs/1712.06868},
eprinttype = {arXiv},
eprint = {1712.06868},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-06868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Wernhard16,
author = {Christoph Wernhard},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {The {PIE} Environment for First-Order-Based Proving, Interpolating
and Eliminating},
booktitle = {Proceedings of the 5th Workshop on Practical Aspects of Automated
Reasoning co-located with International Joint Conference on Automated
Reasoning {(IJCAR} 2016), Coimbra, Portugal, July 2nd, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1635},
pages = {125--138},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Wernhard16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dhd/KittelmannW16,
author = {Jana Kittelmann and
Christoph Wernhard},
editor = {Elisabeth Burr and
Patrick Helling},
title = {Knowledge-Based Support for Scholarly Editing and Text Processing},
booktitle = {3. Tagung des Verbands Digital Humanities im deutschsprachigen Raum,
DHd 2016, Leipzig, Germany, March 7 - 12, 2016},
year = {2016},
url = {https://doi.org/10.5281/zenodo.4645316},
doi = {10.5281/ZENODO.4645316},
timestamp = {Mon, 17 Apr 2023 19:57:36 +0200},
biburl = {https://dblp.org/rec/conf/dhd/KittelmannW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Wernhard15,
author = {Christoph Wernhard},
editor = {Hans de Nivelle},
title = {Second-Order Quantifier Elimination on Relational Monadic Formulas
- {A} Basic Method and Some Less Expected Applications},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {253--269},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_18},
doi = {10.1007/978-3-319-24312-2\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Wernhard15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DietzHW14,
author = {Emmanuelle{-}Anna Dietz and
Steffen H{\"{o}}lldobler and
Christoph Wernhard},
title = {Modeling the suppression task under weak completion and well-founded
semantics},
journal = {J. Appl. Non Class. Logics},
volume = {24},
number = {1-2},
pages = {61--85},
year = {2014},
url = {https://doi.org/10.1080/11663081.2014.911520},
doi = {10.1080/11663081.2014.911520},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DietzHW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ysip/2014,
editor = {Steffen H{\"{o}}lldobler and
Andrey Malikov and
Christoph Wernhard},
title = {Proceedings of the Young Scientists' International Workshop on Trends
in Information Processing {(YSIP)} Co-located with the Sixth International
Conference on Infocommunicational Technologies in Science, Production
and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1145},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1145},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ysip/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Wernhard13,
author = {Christoph Wernhard},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Abduction in Logic Programming as Second-Order Quantifier Elimination},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {103--119},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_8},
doi = {10.1007/978-3-642-40885-4\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Wernhard13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MantheyPW13,
author = {Norbert Manthey and
Tobias Philipp and
Christoph Wernhard},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Soundness of Inprocessing in Clause Sharing {SAT} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {22--39},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_4},
doi = {10.1007/978-3-642-39071-5\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/MantheyPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Wernhard12,
author = {Christoph Wernhard},
title = {Projection and scope-determined circumscription},
journal = {J. Symb. Comput.},
volume = {47},
number = {9},
pages = {1089--1108},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.034},
doi = {10.1016/J.JSC.2011.12.034},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Wernhard12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/HolldoblerPW11,
author = {Steffen H{\"{o}}lldobler and
Tobias Philipp and
Christoph Wernhard},
title = {An Abductive Model for Human Reasoning},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
{AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
USA, March 21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2429},
timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/HolldoblerPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Wernhard11,
author = {Christoph Wernhard},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {Computing with Logic as Operator Elimination: The ToyElim System},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {289--296},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_17},
doi = {10.1007/978-3-642-41524-1\_17},
timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
biburl = {https://dblp.org/rec/conf/inap/Wernhard11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-4891,
author = {Christoph Wernhard},
title = {Computing with Logic as Operator Elimination: The ToyElim System},
journal = {CoRR},
volume = {abs/1108.4891},
year = {2011},
url = {http://arxiv.org/abs/1108.4891},
eprinttype = {arXiv},
eprint = {1108.4891},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-4891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Wernhard10,
author = {Christoph Wernhard},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Circumscription and Projection as Primitives of Logic Programming},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {202--211},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.202},
doi = {10.4230/LIPICS.ICLP.2010.202},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Wernhard10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Wernhard2009,
author = {Christoph Wernhard},
title = {Automated deduction for projection elimination},
school = {University of Koblenz-Landau},
year = {2009},
url = {https://d-nb.info/992710146},
isbn = {978-3-89838-324-0},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Wernhard2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/Wernhard09,
author = {Christoph Wernhard},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Literal Projection and Circumscription},
booktitle = {Proceedings of the 7th International Workshop on First-Order Theorem
Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {556},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-556/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/ftp/Wernhard09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Wernhard09,
author = {Christoph Wernhard},
editor = {Martin Giese and
Arild Waaler},
title = {Tableaux for Projection Computation and Knowledge Compilation},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {325--340},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_24},
doi = {10.1007/978-3-642-02716-1\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Wernhard09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Wernhard08,
author = {Christoph Wernhard},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Literal Projection for First-Order Logic},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {389--402},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_32},
doi = {10.1007/978-3-540-87803-2\_32},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/Wernhard08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PelzerW07,
author = {Bj{\"{o}}rn Pelzer and
Christoph Wernhard},
editor = {Frank Pfenning},
title = {System Description: E-KRHyper},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {508--513},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_37},
doi = {10.1007/978-3-540-73595-3\_37},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PelzerW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Wernhard04,
author = {Christoph Wernhard},
editor = {Ulrike Sattler},
title = {Semantic Knowledge Partitioning},
booktitle = {Contributions to the Doctoral Programme of the 2nd International Joint
Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {106},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-106/15-wernhard.ps},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Wernhard04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Wernhard04,
author = {Christoph Wernhard},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Semantic Knowledge Partitioning},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {552--564},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_46},
doi = {10.1007/978-3-540-30227-8\_46},
timestamp = {Tue, 07 May 2024 20:11:09 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Wernhard04.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:59 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:
