Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephan Schulz 0001
@inproceedings{DBLP:conf/itp/JakubuvCGKOP00U23,
author = {Jan Jakubuv and
Karel Chvalovsk{\'{y}} and
Zarathustra Amadeus Goertzel and
Cezary Kaliszyk and
Mirek Ols{\'{a}}k and
Bartosz Piotrowski and
Stephan Schulz and
Martin Suda and
Josef Urban},
editor = {Adam Naumowicz and
Ren{\'{e}} Thiemann},
title = {MizAR 60 for Mizar 50},
booktitle = {14th International Conference on Interactive Theorem Proving, {ITP}
2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
series = {LIPIcs},
volume = {268},
pages = {19:1--19:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.19},
doi = {10.4230/LIPICS.ITP.2023.19},
timestamp = {Wed, 26 Jul 2023 16:07:09 +0200},
biburl = {https://dblp.org/rec/conf/itp/JakubuvCGKOP00U23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VukmirovicBS23,
author = {Petar Vukmirovic and
Jasmin Blanchette and
Stephan Schulz},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Extending a High-Performance Prover to Higher-Order Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {111--129},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_10},
doi = {10.1007/978-3-031-30820-8\_10},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VukmirovicBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-06686,
author = {Jan Jakubuv and
Karel Chvalovsk{\'{y}} and
Zarathustra Amadeus Goertzel and
Cezary Kaliszyk and
Mirek Ols{\'{a}}k and
Bartosz Piotrowski and
Stephan Schulz and
Martin Suda and
Josef Urban},
title = {MizAR 60 for Mizar 50},
journal = {CoRR},
volume = {abs/2303.06686},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.06686},
doi = {10.48550/ARXIV.2303.06686},
eprinttype = {arXiv},
eprint = {2303.06686},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-06686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/VukmirovicBCS22,
author = {Petar Vukmirovic and
Jasmin Blanchette and
Simon Cruanes and
Stephan Schulz},
title = {Extending a brainiac prover to lambda-free higher-order logic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {1},
pages = {67--87},
year = {2022},
url = {https://doi.org/10.1007/s10009-021-00639-7},
doi = {10.1007/S10009-021-00639-7},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/VukmirovicBCS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Pease022,
author = {Adam Pease and
Stephan Schulz},
editor = {Roman Bart{\'{a}}k and
Fazel Keshtkar and
Michael Franklin},
title = {Contradiction Detection and Repair in a Large Theory},
booktitle = {Proceedings of the Thirty-Fifth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2022, Hutchinson Island, Jensen
Beach, Florida, USA, May 15-18, 2022},
year = {2022},
url = {https://doi.org/10.32473/flairs.v35i.130691},
doi = {10.32473/FLAIRS.V35I.130691},
timestamp = {Wed, 26 Oct 2022 08:35:03 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Pease022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/000122,
author = {Stephan Schulz},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Empirical Properties of Term Orderings for Superposition},
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/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/paar/000122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GalmicheSS20,
author = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Preface: Special Issue of Selected Extended Papers from {IJCAR} 2018},
journal = {J. Autom. Reason.},
volume = {64},
number = {7},
pages = {1165--1167},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09556-x},
doi = {10.1007/S10817-020-09556-X},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GalmicheSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Ruhdorfer020,
author = {Constantin Ruhdorfer and
Stephan Schulz},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Efficient Implementation of Large-Scale Watchlists},
booktitle = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 5th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square) Workshop, 2020 co-located with the
10th International Joint Conference on Automated Reasoning {(IJCAR}
2020), Paris, France, June-July, 2020 (Virtual)},
series = {{CEUR} Workshop Proceedings},
volume = {2752},
pages = {120--133},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Ruhdorfer020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SaidyS0S20,
author = {Nahku Saidy and
Hanna Siegfried and
Stephan Schulz and
Geoff Sutcliffe},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Cutting Down the {TPTP} Language (And Others)},
booktitle = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 5th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square) Workshop, 2020 co-located with the
10th International Joint Conference on Automated Reasoning {(IJCAR}
2020), Paris, France, June-July, 2020 (Virtual)},
series = {{CEUR} Workshop Proceedings},
volume = {2752},
pages = {134--147},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/SaidyS0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0001P20,
author = {Stephan Schulz and
Adam Pease},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System
Description)},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {158--166},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_9},
doi = {10.1007/978-3-030-51054-1\_9},
timestamp = {Fri, 03 Jul 2020 13:56:19 +0200},
biburl = {https://dblp.org/rec/conf/cade/0001P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0001CV19,
author = {Stephan Schulz and
Simon Cruanes and
Petar Vukmirovic},
editor = {Pascal Fontaine},
title = {Faster, Higher, Stronger: {E} 2.3},
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 = {495--507},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_29},
doi = {10.1007/978-3-030-29436-6\_29},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/0001CV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VukmirovicBCS19,
author = {Petar Vukmirovic and
Jasmin Christian Blanchette and
Simon Cruanes and
Stephan Schulz},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Extending a Brainiac Prover to Lambda-Free Higher-Order Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {192--210},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_11},
doi = {10.1007/978-3-030-17462-0\_11},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/VukmirovicBCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/FontaineKSU18,
author = {Pascal Fontaine and
Cezary Kaliszyk and
Stephan Schulz and
Josef Urban},
title = {Foreword to the Special Issue on Automated Reasoning},
journal = {{AI} Commun.},
volume = {31},
number = {3},
pages = {235--236},
year = {2018},
url = {https://doi.org/10.3233/AIC-180765},
doi = {10.3233/AIC-180765},
timestamp = {Wed, 23 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/FontaineKSU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GoertzelJ0U18,
author = {Zarathustra Amadeus Goertzel and
Jan Jakubuv and
Stephan Schulz and
Josef Urban},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {ProofWatch: Watchlist Guidance for Large Theories in {E}},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {270--288},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_16},
doi = {10.1007/978-3-319-94821-8\_16},
timestamp = {Sat, 28 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/GoertzelJ0U18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2018,
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6},
doi = {10.1007/978-3-319-94205-6},
isbn = {978-3-319-94204-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2018w,
editor = {Gilles Barthe and
Konstantin Korovin and
Stephan Schulz and
Martin Suda and
Geoff Sutcliffe and
Margus Veanes},
title = {{LPAR-22} Workshop and Short Paper Proceedings, Awassa, Ethiopia,
16-21 November 2018},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
year = {2018},
url = {https://easychair.org/publications/volume/LPAR-IWIL\_2018},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-04007,
author = {Zarathustra Amadeus Goertzel and
Jan Jakubuv and
Stephan Schulz and
Josef Urban},
title = {ProofWatch: Watchlist Guidance for Large Theories in {E}},
journal = {CoRR},
volume = {abs/1802.04007},
year = {2018},
url = {http://arxiv.org/abs/1802.04007},
eprinttype = {arXiv},
eprint = {1802.04007},
timestamp = {Sat, 28 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-04007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BlanchetteF0W17,
author = {Jasmin Christian Blanchette and
Pascal Fontaine and
Stephan Schulz and
Uwe Waldmann},
editor = {Giles Reger and
Dmitriy Traytel},
title = {Towards Strong Higher-Order Automation for Fast Interactive Verification},
booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
Sweden, 6th August 2017},
series = {EPiC Series in Computing},
volume = {51},
pages = {16--23},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/3ngx},
doi = {10.29007/3NGX},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BlanchetteF0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/000117,
author = {Stephan Schulz},
editor = {Giles Reger and
Dmitriy Traytel},
title = {We know (nearly) nothing!l But can we learn?},
booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
Sweden, 6th August 2017},
series = {EPiC Series in Computing},
volume = {51},
pages = {29--32},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/n7rd},
doi = {10.29007/N7RD},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/000117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0001SUP17,
author = {Stephan Schulz and
Geoff Sutcliffe and
Josef Urban and
Adam Pease},
editor = {Leonardo de Moura},
title = {Detecting Inconsistencies in Large First-Order Knowledge Bases},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {310--325},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_19},
doi = {10.1007/978-3-319-63046-5\_19},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/0001SUP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HassonaS16,
author = {Mohamed Hassona and
Stephan Schulz},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {Deduction as a Service},
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 = {32--40},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/HassonaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchulzM16,
author = {Stephan Schulz and
Martin M{\"{o}}hrmann},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Performance of Clause Selection Heuristics for Saturation-Based Theorem
Proving},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {330--345},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_23},
doi = {10.1007/978-3-319-40229-1\_23},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchulzM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2016paar,
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {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},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635},
urn = {urn:nbn:de:0074-1635-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2016paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015iwil,
editor = {Boris Konev and
Stephan Schulz and
Laurent Simon},
title = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
of Logics, Suva, Fiji, November 23, 2015},
series = {EPiC Series in Computing},
volume = {40},
publisher = {EasyChair},
year = {2016},
url = {https://easychair.org/publications/volume/IWIL-2015},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2015iwil.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaliszykSUV15,
author = {Cezary Kaliszyk and
Stephan Schulz and
Josef Urban and
Jir{\'{\i}} Vyskocil},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {System Description: {E.T.} 0.1},
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 = {389--398},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_27},
doi = {10.1007/978-3-319-21401-6\_27},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KaliszykSUV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/SchaferS15,
author = {Simon Sch{\"{a}}fer and
Stephan Schulz},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Breeding Theorem Proving Heuristics with Genetic Algorithms},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {263--274},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/gms9},
doi = {10.29007/GMS9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/SchaferS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Sutcliffe015,
author = {Geoff Sutcliffe and
Stephan Schulz},
editor = {Boris Konev and
Stephan Schulz and
Laurent Simon},
title = {The Thousands of Models for Theorem Provers {(TMTP)} Model Library
- First Steps},
booktitle = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
of Logics, Suva, Fiji, November 23, 2015},
series = {EPiC Series in Computing},
volume = {40},
pages = {106--121},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/7dg5},
doi = {10.29007/7DG5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Sutcliffe015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014paar,
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
publisher = {EasyChair},
year = {2015},
url = {https://easychair.org/publications/volume/PAAR-2014},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2014paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PeaseS14,
author = {Adam Pease and
Stephan Schulz},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Knowledge Engineering for Large Ontologies with Sigma {KEE} 3.0},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {519--525},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_40},
doi = {10.1007/978-3-319-08587-6\_40},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PeaseS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Schulz13,
author = {Stephan Schulz},
editor = {Maria Paola Bonacina and
Mark E. Stickel},
title = {Simple and Efficient Clause Subsumption with Feature Vector Indexing},
booktitle = {Automated Reasoning and Mathematics - Essays in Memory of William
W. McCune},
series = {Lecture Notes in Computer Science},
volume = {7788},
pages = {45--67},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36675-8\_3},
doi = {10.1007/978-3-642-36675-8\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Schulz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuhlweinSU13,
author = {Daniel K{\"{u}}hlwein and
Stephan Schulz and
Josef Urban},
editor = {Maria Paola Bonacina},
title = {E-MaLeS 1.1},
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 = {407--413},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_28},
doi = {10.1007/978-3-642-38574-2\_28},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KuhlweinSU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Schulz13,
author = {Stephan Schulz},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {System Description: {E} 1.8},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {735--743},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_49},
doi = {10.1007/978-3-642-45221-5\_49},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Schulz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012paar,
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/PAAR-2012},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2012paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2012iwil,
editor = {Konstantin Korovin and
Stephan Schulz and
Eugenia Ternovska},
title = {{IWIL} 2012: The 9th International Workshop on the Implementation
of Logics, Merida, Venezuela, March 10, 2012},
series = {EPiC Series in Computing},
volume = {22},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/IWIL\_2012},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2012iwil.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Schulz12,
author = {Stephan Schulz},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Fingerprint Indexing for Paramodulation and Rewriting},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {477--483},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_37},
doi = {10.1007/978-3-642-31365-3\_37},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Schulz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SutcliffeSCB12,
author = {Geoff Sutcliffe and
Stephan Schulz and
Koen Claessen and
Peter Baumgartner},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {The {TPTP} Typed First-Order Form with Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {406--419},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_32},
doi = {10.1007/978-3-642-28717-6\_32},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SutcliffeSCB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2010paar,
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
series = {EPiC Series in Computing},
volume = {9},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/PAAR-2010},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2010paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010iwil,
editor = {Geoff Sutcliffe and
Stephan Schulz and
Eugenia Ternovska},
title = {The 8th International Workshop on the Implementation of Logics, {IWIL}
2010, Yogyakarta, Indonesia, October 9, 2011},
series = {EPiC Series in Computing},
volume = {2},
publisher = {EasyChair},
year = {2012},
url = {https://easychair.org/publications/volume/IWIL\_2010},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2010iwil.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/KonevSS10,
author = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Special issue on practical aspects of automated reasoning},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {67--68},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0455},
doi = {10.3233/AIC-2010-0455},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/KonevSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/SchmidtSS09,
author = {Renate A. Schmidt and
Geoff Sutcliffe and
Stephan Schulz},
title = {Empirically successful computerized reasoning},
journal = {J. Appl. Log.},
volume = {7},
number = {1},
pages = {1},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2007.07.001},
doi = {10.1016/J.JAL.2007.07.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/SchmidtSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ArmandoBRS09,
author = {Alessandro Armando and
Maria Paola Bonacina and
Silvio Ranise and
Stephan Schulz},
title = {New results on rewrite-based satisfiability procedures},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {1},
pages = {4:1--4:51},
year = {2009},
url = {https://doi.org/10.1145/1459010.1459014},
doi = {10.1145/1459010.1459014},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ArmandoBRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2008paar,
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Proceedings of the First International Workshop on Practical Aspects
of Automated Reasoning, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {373},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-373},
urn = {urn:nbn:de:0074-373-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2008paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008w,
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418},
urn = {urn:nbn:de:0074-418-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2008w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2007esarlt,
editor = {Geoff Sutcliffe and
Josef Urban and
Stephan Schulz},
title = {Proceedings of the {CADE-21} Workshop on Empirically Successful Automated
Reasoning in Large Theories, Bremen, Germany, 17th July 2007},
series = {{CEUR} Workshop Proceedings},
volume = {257},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-257},
urn = {urn:nbn:de:0074-257-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2007esarlt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/SchulzST06,
author = {Stephan Schulz and
Geoff Sutcliffe and
Tanel Tammet},
title = {Preface},
journal = {Int. J. Artif. Intell. Tools},
volume = {15},
number = {1},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1142/S0218213006002539},
doi = {10.1142/S0218213006002539},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/SchulzST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FischerSS06,
author = {Bernd Fischer and
Geoff Sutcliffe and
Stephan Schulz},
title = {Empirically Successful Automated Reasoning: Systems Issue},
journal = {J. Autom. Reason.},
volume = {36},
number = {4},
pages = {287},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9059-5},
doi = {10.1007/S10817-006-9059-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FischerSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FischerSS06a,
author = {Bernd Fischer and
Geoff Sutcliffe and
Stephan Schulz},
title = {Empirically Successful Automated Reasoning: Applications Issue},
journal = {J. Autom. Reason.},
volume = {37},
number = {1-2},
pages = {1},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9056-8},
doi = {10.1007/S10817-006-9056-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FischerSS06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeSCG06,
author = {Geoff Sutcliffe and
Stephan Schulz and
Koen Claessen and
Allen Van Gelder},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Using the {TPTP} Language for Writing Derivations and Finite Interpretations},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {67--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_7},
doi = {10.1007/11814771\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeSCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0604054,
author = {Alessandro Armando and
Maria Paola Bonacina and
Silvio Ranise and
Stephan Schulz},
title = {New results on rewrite-based satisfiability procedures},
journal = {CoRR},
volume = {abs/cs/0604054},
year = {2006},
url = {http://arxiv.org/abs/cs/0604054},
eprinttype = {arXiv},
eprint = {cs/0604054},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0604054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
title = {MathSAT: Tight Integration of {SAT} and Mathematical Decision Procedures},
journal = {J. Autom. Reason.},
volume = {35},
number = {1-3},
pages = {265--293},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9004-z},
doi = {10.1007/S10817-005-9004-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
editor = {Robert Nieuwenhuis},
title = {The MathSAT 3 System},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {315--321},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_23},
doi = {10.1007/11532231\_23},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArmandoBRS05,
author = {Alessandro Armando and
Maria Paola Bonacina and
Silvio Ranise and
Stephan Schulz},
editor = {Bernhard Gramlich},
title = {On a Rewriting Approach to Satisfiability Procedures: Extension, Combination
of Theories and an Experimental Appraisal},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {65--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_4},
doi = {10.1007/11559306\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ArmandoBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {An Incremental and Layered Procedure for the Satisfiability of Linear
Arithmetic Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {317--333},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_21},
doi = {10.1007/978-3-540-31980-1\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Schulz04,
author = {Stephan Schulz},
editor = {David A. Basin and
Micha{\"{e}}l Rusinowitch},
title = {System Description: {E} 0.81},
booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR}
2004, Cork, Ireland, July 4-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {223--228},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25984-8\_15},
doi = {10.1007/978-3-540-25984-8\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Schulz04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Schulz02,
author = {Stephan Schulz},
title = {E - a brainiac theorem prover},
journal = {{AI} Commun.},
volume = {15},
number = {2-3},
pages = {111--126},
year = {2002},
url = {http://content.iospress.com/articles/ai-communications/aic260},
timestamp = {Fri, 15 Jan 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/Schulz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchulzS02,
author = {Stephan Schulz and
Geoff Sutcliffe},
editor = {Andrei Voronkov},
title = {System Description: GrAnDe 1.0},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {280--284},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_23},
doi = {10.1007/3-540-45620-1\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchulzS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Schulz02,
author = {Stephan Schulz},
editor = {Susan M. Haller and
Gene Simmons},
title = {A Comparison of Different Techniques for Grounding Near-Propositional
{CNF} Formulae},
booktitle = {Proceedings of the Fifteenth International Florida Artificial Intelligence
Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida,
{USA}},
pages = {72--76},
publisher = {{AAAI} Press},
year = {2002},
url = {http://www.aaai.org/Library/FLAIRS/2002/flairs02-015.php},
timestamp = {Wed, 26 Oct 2022 08:35:33 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Schulz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Schulz01,
author = {Stephan Schulz},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {System Abstract: {E} 0.61},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {370--375},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_28},
doi = {10.1007/3-540-45744-5\_28},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Schulz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/DraegerS01,
author = {Joachim Draeger and
Stephan Schulz},
editor = {Ingrid Russell and
John F. Kolen},
title = {Improving the Performance of Automated Theorem Provers by Redundancy-Free
Lemmatization},
booktitle = {Proceedings of the Fourteenth International Florida Artificial Intelligence
Research Society Conference, May 21-23, 2001, Key West, Florida, {USA}},
pages = {345--349},
publisher = {{AAAI} Press},
year = {2001},
url = {http://www.aaai.org/Library/FLAIRS/2001/flairs01-067.php},
timestamp = {Wed, 26 Oct 2022 08:35:34 +0200},
biburl = {https://dblp.org/rec/conf/flairs/DraegerS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Schulz01,
author = {Stephan Schulz},
editor = {Ingrid Russell and
John F. Kolen},
title = {Information-Based Selection of Abstraction Levels},
booktitle = {Proceedings of the Fourteenth International Florida Artificial Intelligence
Research Society Conference, May 21-23, 2001, Key West, Florida, {USA}},
pages = {402--406},
publisher = {{AAAI} Press},
year = {2001},
url = {http://www.aaai.org/Library/FLAIRS/2001/flairs01-077.php},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Schulz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schulz01,
author = {Stephan Schulz},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {Learning Search Control Knowledge for Equational Theorem Proving},
booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2174},
pages = {320--334},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_23},
doi = {10.1007/3-540-45422-5\_23},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Schulz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0002958,
author = {Stephan Schulz},
title = {Learning search control knowledge for equational deduction},
school = {Technical University Munich, Germany},
year = {2000},
url = {https://d-nb.info/95899126X},
isbn = {978-3-89838-230-4},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0002958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DenzingerS00,
author = {J{\"{o}}rg Denzinger and
Stephan Schulz},
title = {Automatic Acquisition of Search Control Knowledge from Multiple Proof
Attempts},
journal = {Inf. Comput.},
volume = {162},
number = {1-2},
pages = {59--79},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2857},
doi = {10.1006/INCO.1999.2857},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DenzingerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Schulz99,
author = {Stephan Schulz},
editor = {Harald Ganzinger},
title = {System Abstract: {E} 0.3},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {297--301},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_27},
doi = {10.1007/3-540-48660-7\_27},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Schulz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SchultzB99,
author = {Stephan Schulz and
Felix Brandt},
editor = {Amruth N. Kumar and
Ingrid Russell},
title = {Using Term Space Maps to Capture Search Control Knowledge in Equational
Theorem Proving},
booktitle = {Proceedings of the Twelfth International Florida Artificial Intelligence
Research Society Conference, May 1-5, 1999, Orlando, Florida, {USA}},
pages = {244--248},
publisher = {{AAAI} Press},
year = {1999},
url = {http://www.aaai.org/Library/FLAIRS/1999/flairs99-044.php},
timestamp = {Wed, 26 Oct 2022 08:35:36 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SchultzB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DenzingerKS97,
author = {J{\"{o}}rg Denzinger and
Martin Kronenburg and
Stephan Schulz},
title = {{DISCOUNT} - {A} Distributed and Learning Equational Prover},
journal = {J. Autom. Reason.},
volume = {18},
number = {2},
pages = {189--198},
year = {1997},
url = {https://doi.org/10.1023/A:1005879229581},
doi = {10.1023/A:1005879229581},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DenzingerKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DenzingerS96,
author = {J{\"{o}}rg Denzinger and
Stephan Schulz},
title = {Recording and Analysing Knowledge-Based Distributed Deduction Processes},
journal = {J. Symb. Comput.},
volume = {21},
number = {4},
pages = {523--541},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0029},
doi = {10.1006/JSCO.1996.0029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DenzingerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DenzingerS96,
author = {J{\"{o}}rg Denzinger and
Stephan Schulz},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Learning Domain Knowledge to Improve Theorem Proving},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {62--76},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_69},
doi = {10.1007/3-540-61511-3\_69},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DenzingerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/DenzingerS94,
author = {J{\"{o}}rg Denzinger and
Stephan Schulz},
editor = {Hoon Hong},
title = {Recording, Analyzing and Presenting Distributed Deduction Processes},
booktitle = {First International Symposium on Parallel Symbolic Computation, {PASCO}
1994, Hagenberg/Linz, Austria, September 26-28, 1994},
pages = {114--123},
publisher = {World Scientific},
year = {1994},
timestamp = {Tue, 04 Apr 2023 10:49:43 +0200},
biburl = {https://dblp.org/rec/conf/pasco/DenzingerS94.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 02:06 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:
