Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/paar:"
download as .bib file
@inproceedings{DBLP:conf/paar/AlamgirNB24,
author = {Nahiyan Alamgir and
Saeed Nejati and
Curtis Bright},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {{SHA-256} Collision Attack with Programmatic {SAT}},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {91--110},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/paper5.pdf},
timestamp = {Wed, 03 Jul 2024 23:09:04 +0200},
biburl = {https://dblp.org/rec/conf/paar/AlamgirNB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/AndreottiBF24,
author = {Bruno Andreotti and
Haniel Barbosa and
Oliver Flatt},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art
{SMT} Solver (Extended Abstract)},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {1--9},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/short1.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/AndreottiBF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/AxelrodC24,
author = {Guy Axelrod and
Willem Conradie},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {10--27},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/paper1.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/AxelrodC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/BartekC024,
author = {Filip B{\'{a}}rtek and
Karel Chvalovsk{\'{y}} and
Martin Suda},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {Cautious Specialization of Strategy Schedules (Extended Abstract)},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {28--36},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/short2.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/BartekC024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/BrownJO24,
author = {Chad E. Brown and
Mikolas Janota and
Mirek Ols{\'{a}}k},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {Symbolic Computation for All the Fun},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {111--121},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/paper6.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/BrownJO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/CaillerG24,
author = {Julie Cailler and
Simon Guilloud},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {{SC-TPTP:} An Extension of the {TPTP} Derivation Format for Sequent-Based
Calculus},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {37--56},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/paper2.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/CaillerG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/Dingle24,
author = {Adam Dingle},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {A Natural-Language Proof Assistant for Higher-Order Logic (Work in
Progress)},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {57--73},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/paper3.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/Dingle24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/KovacsO24,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
Reinhard Oldenburg},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {A Technological Approach to Teaching Inequalities, Propositional and
Predicate Logic},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {122--131},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/paper7.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/KovacsO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/PromiesNA24,
author = {Valentin Promies and
Jasper Nalbach and
Erika {\'{A}}brah{\'{a}}m},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {Under-Approximation of a Single Algebraic Cell (Extended Abstract)},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {132--136},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/short3.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/PromiesNA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/SteenS24,
author = {Alexander Steen and
Geoff Sutcliffe},
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {{TPTP} World Infrastructure for Non-classical Logics},
booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
pages = {74--90},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717/paper4.pdf},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/SteenS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paar/2024,
editor = {Christopher W. Brown and
Daniela Kaufmann and
Cl{\'{a}}udia Nalon and
Alexander Steen and
Martin Suda},
title = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 9th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square), 2024 co-located with the 12th International
Joint Conference on Automated Reasoning {(IJCAR} 2024), Nancy, France,
July 2, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3717},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3717},
urn = {urn:nbn:de:0074-3717-7},
timestamp = {Wed, 03 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paar/2024.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}
}
@inproceedings{DBLP:conf/paar/BonacinaW22,
author = {Maria Paola Bonacina and
Sarah Winkler},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {On {SGGS} and Horn Clauses},
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/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/BonacinaW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/BrombergerGLW22,
author = {Martin Bromberger and
Tobias Gehl and
Lorenz Leutgeb and
Christoph Weidenbach},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {A Two-Watched Literal Scheme for First-Order Logic},
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/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/BrombergerGLW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/BrombergerSW22,
author = {Martin Bromberger and
Simon Schwarz and
Christoph Weidenbach},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Exploring Partial Models with {SCL}},
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/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/BrombergerSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/HajduKRV22,
author = {M{\'{a}}rton Hajd{\'{u}} and
Laura Kov{\'{a}}cs and
Michael Rawson and
Andrei Voronkov},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {The Vampire Approach to Induction (short paper)},
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/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/HajduKRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/HeisingerSB22,
author = {Maximilian Heisinger and
Martina Seidl and
Armin Biere},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {QuAPI: Adding Assumptions to Non-Assuming {SAT} {\&} {QBF} Solvers},
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/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/HeisingerSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/HuchB22,
author = {Fabian Huch and
Vincent Bode},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {The Isabelle Community Benchmark},
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/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/HuchB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/LiangRB22,
author = {Chencheng Liang and
Philipp R{\"{u}}mmer and
Marc Brockschmidt},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Exploring Representation of Horn clauses using GNNs},
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/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/LiangRB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/PrusakK22,
author = {Grzegorz Prusak and
Cezary Kaliszyk},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Lazy Paramodulation in Practice},
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/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/PrusakK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/Rawson0HR22,
author = {Michael Rawson and
Martin Suda and
Petra Hozzov{\'{a}} and
Giles Reger},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)},
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/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/Rawson0HR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/Schurr22,
author = {Hans{-}J{\"{o}}rg Schurr},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Optimal Strategy Schedules for Everyone},
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/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/Schurr22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/Steen22,
author = {Alexander Steen},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
(short paper)},
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/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/Steen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/SteenFGSB22,
author = {Alexander Steen and
David Fuenmayor and
Tobias Glei{\ss}ner and
Geoff Sutcliffe and
Christoph Benzm{\"{u}}ller},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Automated Reasoning in Non-classical Logics in the {TPTP} World},
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/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/SteenFGSB22.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/Wernhard22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paar/2022,
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated
Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3201},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3201},
urn = {urn:nbn:de:0074-3201-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paar/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AbrahamDEKT20,
author = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Matthew England and
Gereon Kremer and
Zak Tonks},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {New Opportunities for the Formal Proof of Computational Real Geometry?
(Extended Abstract)},
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 = {178--188},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/AbrahamDEKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BarrosoPR20,
author = {Pedro Barroso and
M{\'{a}}rio Pereira and
Ant{\'{o}}nio Ravara},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Animated Logic: Correct Functional Conversion to Conjunctive Normal
Form},
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 = {1--20},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BarrosoPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bartek020,
author = {Filip B{\'{a}}rtek and
Martin Suda},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Learning Precedences from Simple Symbol Features},
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 = {21--33},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Bartek020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Gleiss020a,
author = {Bernhard Gleiss and
Martin Suda},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Layered Clause Selection for Saturation-Based Theorem Proving},
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 = {34--52},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Gleiss020a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LewisM20,
author = {Robert Y. Lewis and
Paul{-}Nicolas Madelaine},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Simplifying Casts and Coercions (Extended Abstract)},
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 = {53--62},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/LewisM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LiuWWS20,
author = {Qinghua Liu and
Zishi Wu and
Zihao Wang and
Geoff Sutcliffe},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Evaluation of Axiom Selection Techniques},
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 = {63--75},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/LiuWWS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Luders20,
author = {Christoph L{\"{u}}ders},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Computing Tropical Prevarieties With Satisfiability Modulo Theories
{(SMT)} Solvers},
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 = {189--203},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Luders20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OliverO20,
author = {Benjamin E. Oliver and
Jens Otten},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Equality Preprocessing in Connection Calculi},
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 = {76--92},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/OliverO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ProkoschB20,
author = {Thomas Prokosch and
Fran{\c{c}}ois Bry},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Give Reasoning a Trie},
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 = {93--108},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ProkoschB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RawsonR20,
author = {Michael Rawson and
Giles Reger},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Directed Graph Networks for Logical Reasoning (Extended Abstract)},
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 = {109--119},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/RawsonR20.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 00:00:00 +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/VajdaK20,
author = {R{\'{o}}bert Vajda and
Zolt{\'{a}}n Kov{\'{a}}cs},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {GeoGebra and the \emph{realgeom} Reasoning Tool},
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 = {204--219},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/VajdaK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VukmirovicN20,
author = {Petar Vukmirovic and
Visa Nummelin},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Boolean Reasoning in a Higher-Order Superposition Prover},
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 = {148--166},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/VukmirovicN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZhengS20,
author = {Sen Zheng and
Renate A. Schmidt},
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Querying the Guarded Fragment via Resolution (Extended Abstract)},
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 = {167--177},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ZhengS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2020paar,
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {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},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752},
urn = {urn:nbn:de:0074-2752-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2020paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BhayatR18,
author = {Ahmed Bhayat and
Giles Reger},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {Set of Support for Higher-Order Reasoning},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {2--16},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/BhayatR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/EbnerS18,
author = {Gabriel Ebner and
Matthias Schlaipfer},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {Efficient Translation of Sequent Calculus Proofs Into Natural Deduction
Proofs},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {17--33},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/EbnerS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtND18,
author = {Ullrich Hustadt and
Cl{\'{a}}udia Nalon and
Clare Dixon},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {Evaluating Pre-Processing Techniques for the Separated Normal Form
for Temporal Logics},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {34--48},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/HustadtND18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Otten18,
author = {Jens Otten},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {Proof Search Optimizations for Non-Clausal Connection Calculi},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {49--57},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Otten18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RawsonR18,
author = {Michael Rawson and
Giles Reger},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {Dynamic Strategy Priority: Empower the Strong and Abandon the Weak},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {58--71},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/RawsonR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeK18,
author = {Geoff Sutcliffe and
Evgenii Kotelnikov},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {{TFX:} The {TPTP} Extended Typed First-Order Form},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {72--87},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VilladsenSF18,
author = {J{\o}rgen Villadsen and
Anders Schlichtkrull and
Asta Halkj{\ae}r From},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {A Verified Simple Prover for First-Order Logic},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {88--104},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/VilladsenSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2018paar,
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162},
urn = {urn:nbn:de:0074-2162-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2018paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Barbosa16,
author = {Haniel Barbosa},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {Efficient Instantiation Techniques in {SMT} (Work In Progress)},
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 = {1--10},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-01.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Barbosa16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenL16,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {Alternative Treatments of Common Binary Relations in First-order Automated
Reasoning},
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 = {11--23},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ClaessenL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FarberK16,
author = {Michael F{\"{a}}rber and
Cezary Kaliszyk},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {No Choice: Reconstruction of First-order {ATP} Proofs without Skolem
Functions},
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 = {24--31},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/FarberK16.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/HassonaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaliszykSR16,
author = {Cezary Kaliszyk and
Geoff Sutcliffe and
Florian Rabe},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {{TH1:} The {TPTP} Typed Higher-Order Form with Rank-1 Polymorphism},
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 = {41--55},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KaliszykSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuksaM16,
author = {Eugen Kuksa and
Till Mossakowski},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {Prover-independent Axiom Selection for Automated Theorem Proving in
Ontohub},
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 = {56--68},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KuksaM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LagniezBLM16,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {On Checking Kripke Models for Modal Logic {K}},
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 = {69--81},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/LagniezBLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LibalS16,
author = {Tomer Libal and
Alexander Steen},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {Towards a Substitution Tree Based Index for Higher-order Resolution
Theorem Provers},
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 = {82--94},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/LibalS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TeuckeW16,
author = {Andreas Teucke and
Christoph Weidenbach},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {Ordered Resolution with Straight Dismatching Constraints},
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 = {95--109},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/TeuckeW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VlasenkoDHJ16,
author = {Jelena Vlasenko and
Maryam Daryalal and
Volker Haarslev and
Brigitte Jaumard},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {A Saturation-based Algebraic Reasoner for {ELQ}},
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 = {110--124},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/VlasenkoDHJ16.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Wernhard16.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/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/ArhamiS14,
author = {Negin Arhami and
Geoff Sutcliffe},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {The Efficiency of Automated Theorem Proving by Translation to Less
Expressive Logics},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {2--11},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/kvb1},
doi = {10.29007/KVB1},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/ArhamiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bax14,
author = {Joshua Bax},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {A Model Guided Instantiation Heuristic for the Superposition Calculus
with Theories},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {12--24},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/b923},
doi = {10.29007/B923},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Bax14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BonacinaP14,
author = {Maria Paola Bonacina and
David A. Plaisted},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {{SGGS} Theorem Proving: an Exposition},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {25--38},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/m2vf},
doi = {10.29007/M2VF},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BonacinaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Cruanes14,
author = {Simon Cruanes},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Logtk: {A} Logic ToolKit for Automated Reasoning and its Implementation},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {39--49},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/4z1m},
doi = {10.29007/4Z1M},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Cruanes14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GauthierKKN14,
author = {Thibault Gauthier and
Cezary Kaliszyk and
Chantal Keller and
Michael Norrish},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Beagle as a {HOL4} external {ATP} method},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {50--59},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/8xbv},
doi = {10.29007/8XBV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GauthierKKN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaliszykUV14,
author = {Cezary Kaliszyk and
Josef Urban and
Jir{\'{\i}} Vyskocil},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Machine Learner for Automated Reasoning 0.4 and 0.5},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {60--66},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/shxj},
doi = {10.29007/SHXJ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KaliszykUV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NassarS14,
author = {Muhammad Nassar and
Geoff Sutcliffe},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Automated Theorem Proving using the {TPTP} Process Instruction Language},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {67--75},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/f997},
doi = {10.29007/F997},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NassarS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SaghafiD14,
author = {Salman Saghafi and
Daniel J. Dougherty},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Razor: Provenance and Exploration in Model-Finding},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {76--93},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/tcvw},
doi = {10.29007/TCVW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SaghafiD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TourretEP14,
author = {Sophie Tourret and
Mnacho Echenim and
Nicolas Peltier},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {A Deductive-Complete Constrained Superposition Calculus for Ground
Flat Equational Clauses},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {94--104},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/3cp8},
doi = {10.29007/3CP8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/TourretEP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Waldmann14,
author = {Uwe Waldmann},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Hierarchic Superposition Revisited},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {1},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/w9vg},
doi = {10.29007/W9VG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Waldmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Wand14,
author = {Daniel Wand},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Polymorphic+Typeclass Superposition},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {105--119},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/8v2f},
doi = {10.29007/8V2F},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Wand14.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}
}
@inproceedings{DBLP:conf/cade/Alama12,
author = {Jesse Alama},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Escape to Mizar from ATPs},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {3--11},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/s1ts},
doi = {10.29007/S1TS},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Alama12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerOR12,
author = {Christoph Benzm{\"{u}}ller and
Jens Otten and
Thomas Raths},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Implementing Different Proof Calculi for First-order Modal Logics},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {12--18},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/mclw},
doi = {10.29007/MCLW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerOR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Biere12a,
author = {Armin Biere},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Practical Aspects of {SAT} Solving},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {1},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/hnks},
doi = {10.29007/HNKS},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Biere12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CramptonHK12,
author = {Jason Crampton and
Michael Huth and
Jim Huan{-}Pu Kuo},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Authorization Enforcement in Workflows: Maintaining Realizability
Via Automated Reasoning},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {29--42},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/n6nv},
doi = {10.29007/N6NV},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CramptonHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GoreT12a,
author = {Rajeev Gor{\'{e}} and
Jimmy Thomson},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {BDD-based automated reasoning in propositional non-classical logics:
progress report},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {43--57},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/swbj},
doi = {10.29007/SWBJ},
timestamp = {Sat, 18 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/GoreT12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/IslamM12,
author = {Md Zahidul Islam and
Wendy MacCaull},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {A One-Pass Tableau-Based Workflow Verification Framework},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {58--71},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/5sl4},
doi = {10.29007/5SL4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/IslamM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaliszykU12,
author = {Cezary Kaliszyk and
Josef Urban},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Initial Experiments with External Provers and Premise Selection on
{HOL} Light Corpora},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {72--81},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/sqh9},
doi = {10.29007/SQH9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KaliszykU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuhlweinU12,
author = {Daniel K{\"{u}}hlwein and
Josef Urban},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Learning from Multiple Proofs: First Experiments},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {82--94},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/nb2g},
doi = {10.29007/NB2G},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KuhlweinU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LeitschL12,
author = {Alexander Leitsch and
Tomer Libal},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {A Resolution Calculus for Second-order Logic with Eager Unification},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {95},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/zpg2},
doi = {10.29007/ZPG2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LeitschL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LiangT12,
author = {Tianyi Liang and
Cesare Tinelli},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Exploiting parallelism in the {ME} calculus},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {96--108},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/v1f2},
doi = {10.29007/V1F2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LiangT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MinicaKST12,
author = {Stefan Minica and
Mohammad Khodadadi and
Renate A. Schmidt and
Dmitry Tishkovsky},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Synthesising and Implementing Tableau Calculi for Interrogative Epistemic
Logics},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {109--123},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/vn4w},
doi = {10.29007/VN4W},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MinicaKST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MonnetV12,
author = {Anthony Monnet and
Roger Villemaire},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {{CDCL} with Less Destructive Backtracking through Partial Ordering},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {124--138},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/fblb},
doi = {10.29007/FBLB},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MonnetV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Motik12,
author = {Boris Motik},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Building an Efficient {OWL} 2 {DL} Reasoner},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {2},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/57lg},
doi = {10.29007/57LG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Motik12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OliveiraM12,
author = {Diego Caminha Barbosa De Oliveira and
David Monniaux},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Experiments on the feasibility of using a floating-point simplex in
an {SMT} solver},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {19--28},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/j7x4},
doi = {10.29007/J7X4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/OliveiraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SeidlLB12,
author = {Martina Seidl and
Florian Lonsing and
Armin Biere},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {qbf2epr: {A} Tool for Generating {EPR} Formulas from {QBF}},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {139--148},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/2b5d},
doi = {10.29007/2B5D},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SeidlLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TishkovskySK12,
author = {Dmitry Tishkovsky and
Renate A. Schmidt and
Mohammad Khodadadi},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {MetTeL\({}^{\mbox{2}}\): Towards a Tableau Prover Generation Platform},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {149--162},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/1c73},
doi = {10.29007/1C73},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/TishkovskySK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachW12,
author = {Christoph Weidenbach and
Patrick Wischnewski},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Satisfiability Checking and Query Answering for Large Ontologies},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {163--177},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/n1sv},
doi = {10.29007/N1SV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/WeidenbachW12.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}
}
@inproceedings{DBLP:conf/cade/AfifiRB10,
author = {Djihed Afifi and
David E. Rydeheard and
Howard Barringer},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Automated Reasoning in the Simulation of Evolvable Systems},
booktitle = {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},
pages = {11--21},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/jj86},
doi = {10.29007/JJ86},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AfifiRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerP10,
author = {Christoph Benzm{\"{u}}ller and
Adam Pease},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Progress in Automating Higher-Order Ontology Reasoning},
booktitle = {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},
pages = {22--32},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/dtnz},
doi = {10.29007/DTNZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoutonCDF10,
author = {Thomas Bouton and
Diego Caminha and
David D{\'{e}}harbe and
Pascal Fontaine},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {GridTPT: a distributed platform for Theorem Prover Testing},
booktitle = {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},
pages = {33--39},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/hk8w},
doi = {10.29007/HK8W},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BoutonCDF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DangH10,
author = {Han{-}Hing Dang and
Peter H{\"{o}}fner},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Automated Higher-order Reasoning about Quantales},
booktitle = {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},
pages = {40--51},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/l2sz},
doi = {10.29007/L2SZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DangH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Fiorino10,
author = {Guido Fiorino},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Fast Decision Procedure for Propositional Dummett Logic Based on a
Multiple Premise Tableau Calculus},
booktitle = {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},
pages = {52--62},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/mbbq},
doi = {10.29007/MBBQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Fiorino10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HustadtS10,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {A Comparison of Solvers for Propositional Dynamic Logic},
booktitle = {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},
pages = {63--73},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/63hq},
doi = {10.29007/63HQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HustadtS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MatusiewiczMR10,
author = {Andrew Matusiewicz and
Neil V. Murray and
Erik Rosenthal},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Trie Based Subsumption and Improving the pi-Trie Algorithm},
booktitle = {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},
pages = {74--83},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/q7h3},
doi = {10.29007/Q7H3},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MatusiewiczMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MeikleF10,
author = {Laura I. Meikle and
Jacques D. Fleuriot},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Automation for Geometry in Isabelle/HOL},
booktitle = {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},
pages = {84--94},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/r5k7},
doi = {10.29007/R5K7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/MeikleF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Paulson10,
author = {Lawrence C. Paulson},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {Three Years of Experience with Sledgehammer, a Practical Link between
Automatic and Interactive Theorem Provers},
booktitle = {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},
pages = {1--10},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/tnfd},
doi = {10.29007/TNFD},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Paulson10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Armando08,
author = {Alessandro Armando},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Model Checking: New Challenges and Opportunities for Automated Reasoning
(Invited Talk)},
booktitle = {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/invited-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Armando08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Arthan08,
author = {Rob Arthan},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Mechanized Reasoning for Continuous Problem Domains (Invited Talk)},
booktitle = {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/invited-2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Arthan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BenzmullerRSS08,
author = {Christoph Benzm{\"{u}}ller and
Florian Rabe and
Carsten Sch{\"{u}}rmann and
Geoff Sutcliffe},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Evaluation of Systems for Higher-order Logic {(ESHOL)}},
booktitle = {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/invited-4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BenzmullerRSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Dershowitz08a,
author = {Nachum Dershowitz},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Bit Inference},
booktitle = {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/paper-01.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Dershowitz08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Hinrichs08,
author = {Timothy L. Hinrichs},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Collaborative Programming: Applications of Logic and Automated Reasoning},
booktitle = {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/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Hinrichs08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MarcosM08,
author = {Jo{\~{a}}o Marcos and
Dalmo Mendonca},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Towards Fully Automated Axiom Extraction for Finite-Valued Logics},
booktitle = {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/paper-03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/MarcosM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NivelleW08,
author = {Hans de Nivelle and
Piotr Witkowski},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {A Small Framework for Proof Checking},
booktitle = {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/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/NivelleW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PeaseSST08,
author = {Adam Pease and
Geoff Sutcliffe and
Nick Siegel and
Steven Trac},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {The Annual {SUMO} Reasoning Prizes at {CASC}},
booktitle = {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/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/PeaseSST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PelzerG08,
author = {Bj{\"{o}}rn Pelzer and
Ingo Gl{\"{o}}ckner},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Combining Theorem Proving with Natural Language Processing},
booktitle = {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/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/PelzerG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RathsO08,
author = {Thomas Raths and
Jens Otten},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {randoCoP: Randomizing the Proof Search Order in the Connection Calculus},
booktitle = {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/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/RathsO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SilvaSCDRM08,
author = {Paulo Pinheiro da Silva and
Geoff Sutcliffe and
Cynthia Chang and
Li Ding and
Nicholas Del Rio and
Deborah L. McGuinness},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Presenting {TSTP} Proofs with Inference Web Tools},
booktitle = {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/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/SilvaSCDRM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Slaney08,
author = {John K. Slaney},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Constraint Modelling: {A} Challenge for First Order Automated Reasoning
(Invited Talk)},
booktitle = {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/invited-3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Slaney08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TracSP08,
author = {Steven Trac and
Geoff Sutcliffe and
Adam Pease},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Integration of the TPTPWorld into SigmaKEE},
booktitle = {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/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/TracSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WeidenbachW08,
author = {Christoph Weidenbach and
Patrick Wischnewski},
editor = {Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Contextual Rewriting in {SPASS}},
booktitle = {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/paper-10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/WeidenbachW08.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}
}
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.
retrieved on 2024-09-09 22:04 CEST from data curated 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:
