ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

15 articles81 pagesPublished: November 8, 2017

Papers

Pages 1-5
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

Keyphrases

achievements, 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