default search action
BibTeX records: Christoph Wernhard
@article{DBLP:journals/lmcs/BenediktPW24, 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 = {Log. Methods Comput. Sci.}, volume = {20}, number = {3}, year = {2024}, url = {https://doi.org/10.46298/lmcs-20(3:7)2024}, doi = {10.46298/LMCS-20(3:7)2024}, timestamp = {Wed, 28 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BenediktPW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcar/HeuerW24, author = {Jan Heuer and Christoph Wernhard}, editor = {Christoph Benzm{\"{u}}ller and Marijn J. H. Heule and Renate A. Schmidt}, title = {Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic}, booktitle = {Automated Reasoning - 12th International Joint Conference, {IJCAR} 2024, Nancy, France, July 3-6, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14739}, pages = {172--193}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-63498-7\_11}, doi = {10.1007/978-3-031-63498-7\_11}, timestamp = {Thu, 22 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcar/HeuerW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Sun, 04 Aug 2024 19:43:54 +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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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} }
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.