HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

IWIL 2010: Volume Information

IWIL 2010. The 8th International Workshop on the Implementation of Logics

Editors: Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska
EPiC Series in Computing•Volume 2
7 articles•70 pages•Published: May 15, 2012

Papers

Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers
Lawrence C. Paulson and Jasmin Christian Blanchette
1-11
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
Jesse Alama
12-16
Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
Guido Fiorino
17-32
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
L. Yohanes Stefanus and Ario Santoso
33-41
On Implementing Modular Complexity Analysis
Harald Zankl and Martin Korp
42-47
Implementing an Efficient SAT Solver for a Probabilistic Description Logic
Pavel Klinov and Bijan Parsia
48-63
Optimizing the AES S-Box using SAT
Carsten Fuhs and Peter Schneider-Kamp
64-70

Keyphrases

AES, automated theorem proving, column generation, complexity analysis, Definite Clause Grammar, derivational complexity, Description Logic, discrete mathematics, Dummett Logic, finite models, implicational intuitionistic-logic, incidence structures, lambda calculus, Optimization, polyhedra, probability, program synthesis, proof tool, SAT2, tableau calculi, term rewriting, theorem provers, type inhabitant search algorithm, type theory.

Copyright © 2012-2025 easychair.org. All rights reserved.