Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Jens Otten
Pages 18-32
Understanding LEO-II’s proofs
Nik Sultana
and
Christoph Benzmüller
Pages 33-52
Keyphrases
automated theorem proving
2
,
coherent logic
,
connection calculus
,
first-order logic
,
first-order modal logic
,
higher-order logic
,
implementation
,
proof objects
,
Rete
Copyright © 2012-2023 easychair.org. All rights reserved.