ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements15 articles•81 pages•Published: November 8, 2017 PapersPages 1-5 | Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler Pages 6-10 | Pages 11-15 | Pages 16-23 | Pages 24-28 | Pages 29-32 | Pages 33-36 | Pages 37-41 | Pages 42-45 | Pages 46-50 | Pages 51-54 | Pages 55-63 | Pages 64-68 | Pages 69-75 | Pages 76-81 |
Keyphrasesachievements, ACL2, Answer Set Programming, Applications, Artificial Intelligence, automated reasoning3, automated theorem proving, automatic theorem provers, Big Data, CADE, calculi, certification, Challenges, combinations, computer algebra, Conflict-driven reasoning, deduction, deduction modulo, deductive software verification, DRAT, explanation, first-order2, first-order logic2, formalization, Heuristics, higher-order, higher-order logic, IJCAR, industrial applications, interactive theorem proving, machine learning, portfolio, predicate ASP, proof checking, proofs, QBF, Quantifier Instantiation, SAT2, satisfiability, satisfiability checking, Satisfiability Modulo Theories (SMT), search, SMT2, solver, superposition calculus, symbolic computation, symmetry breaking, synthesis, theorem prover, theorem proving, theories, usable automated reasoning |
|