Abstract
Original language | English |
---|---|
Title of host publication | Automated Reasoning |
Subtitle of host publication | 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings |
Editors | Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
Publisher | Springer/Verlag |
Pages | 28-46 |
Number of pages | 18 |
ISBN (Electronic) | 9783319942056 |
ISBN (Print) | 9783319942049 |
DOIs | |
Publication status | Published - 2018 |
Event | 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom Duration: 14 Jul 2018 → 17 Jul 2018 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer |
Volume | 10900 LNAI |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 |
---|---|
Country/Territory | United Kingdom |
City | Oxford |
Period | 14/07/18 → 17/07/18 |
Funding
Acknowledgment. We are grateful to the maintainers of StarExec for letting us use their service. We want to thank Christoph Benzmüller, Sander Dahmen, Johannes Hölzl, Anders Schlichtkrull, Stephan Schulz, Alexander Steen, Geoff Sutcliffe, Andrei Voronkov, Petar Vukmirović, Daniel Wand, Christoph Weidenbach, and the participants in the 2017 Dagstuhl Seminar on Deduction beyond First-Order Logic for stimulating discussions. We also want to thank Mark Summerfield, Sophie Tourret, and the anonymous reviewers for suggesting several textual improvements to this paper and to the technical report. Bentkamp and Blanchette’s research has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement No. 713999, Matryoshka).
Funders | Funder number |
---|---|
European Union’s Horizon 2020 research and innovation program | |
Horizon 2020 Framework Programme | 713999 |
European Research Council |
Fingerprint
Dive into the research topics of 'Superposition for Lambda-Free Higher-Order Logic'. Together they form a unique fingerprint.Datasets
-
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material
Bentkamp, A. (Contributor), Blanchette, J. C. (Contributor), Cruanes, S. (Contributor) & Waldmann, U. (Contributor), Zenodo, 2018
DOI: 10.5281/zenodo.3975512, https://zenodo.org/record/3975512
Dataset
-
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material
Bentkamp, A. (Contributor), Cruanes, S. (Contributor), Blanchette, J. C. (Contributor) & Waldmann, U. (Contributor), Unknown Publisher, 30 Jun 2018
DOI: 10.5281/zenodo.3975512, https://zenodo.org/record/3975512
Dataset