Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

IWIL 2012. The 9th International Workshop on the Implementation of Logics

Editors: Konstantin Korovin, Stephan Schulz and Eugenia Ternovska

EPiC Series in Computing•Volume 22

5 articles•52 pages•Published: November 25, 2013

Papers

Engineering Theories with Z3

Nikolaj Bjorner

Pages 1-2

Craig Interpolation for the Integers: Results, Implementation, and Experiences

Philipp Rümmer

Page 3

Efficient Rule-Matching for Hyper-Tableaux

Bjarne Holen, Dag Hovland and Martin Giese

Pages 4-17

Implementing Connection Calculi for First-order Modal Logics

Pages 18-32

Understanding LEO-II’s proofs

Nik Sultana and Christoph Benzmüller

Pages 33-52

Keyphrases

automated theorem proving², coherent logic, connection calculus, first-order logic, first-order modal logic, higher-order logic, implementation, proof objects, Rete