Volume
@proceedings{LPAR-21S,
title = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
year = {2017}}
Papers
@inproceedings{LPAR-21S:Interpolation_based_Compiler_Optimizer,
author = {David Toman and Grant Weddell},
title = {An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/5t5r},
doi = {10.29007/53fk},
pages = {1-10},
year = {2017}}
@inproceedings{LPAR-21S:Leo_III_Version_1.1,
author = {Christoph Benzmüller and Alexander Steen and Max Wisniewski},
title = {Leo-III Version 1.1 (System description)},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/sl},
doi = {10.29007/grmx},
pages = {11-26},
year = {2017}}
@inproceedings{LPAR-21S:Reasoning_with_Concept_Diagrams,
author = {Zohreh Shams and Mateja Jamnik and Gem Stapleton and Yuri Sato},
title = {Reasoning with Concept Diagrams about Antipatterns},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/1TC},
doi = {10.29007/4ckv},
pages = {27-42},
year = {2017}}
@inproceedings{LPAR-21S:Formalization_some_central_theorems,
author = {Abhishek Kr Singh},
title = {Formalization of some central theorems in combinatorics of finite sets},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/Nr},
doi = {10.29007/r7fg},
pages = {43-57},
year = {2017}}
@inproceedings{LPAR-21S:Abduction_Non_Experts,
author = {Nikolaj Bjorner and Dejan Jovanović and Tancrède Lepoint and Philipp Rümmer and Martin Schäf},
title = {Abduction by Non-Experts},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/cKL},
doi = {10.29007/pz3t},
pages = {58-72},
year = {2017}}
@inproceedings{LPAR-21S:Decidability_Fair_Termination_Gossip,
author = {Krzysztof Apt and Dominik Wojtczak},
title = {Decidability of Fair Termination of Gossip Protocols},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/2cZ},
doi = {10.29007/62s4},
pages = {73-85},
year = {2017}}
@inproceedings{LPAR-21S:Translating_C#_Branching_Symbolic,
author = {Olli Saarikivi and Margus Veanes},
title = {Translating C# to Branching Symbolic Transducers},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/74R7},
doi = {10.29007/7jf1},
pages = {86-99},
year = {2017}}
@inproceedings{LPAR-21S:Going_Polymorphic_TH1_Reasoning,
author = {Alexander Steen and Max Wisniewski and Christoph Benzmüller},
title = {Going Polymorphic - TH1 Reasoning for Leo-III},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/CNN},
doi = {10.29007/jgkw},
pages = {100-112},
year = {2017}}
@inproceedings{LPAR-21S:Capability_Discovery_Automated_Reasoning,
author = {Alexander Steen and Max Wisniewski and Hans-Jörg Schurr and Christoph Benzmüller},
title = {Capability Discovery for Automated Reasoning Systems},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/SfX},
doi = {10.29007/fsv3},
pages = {113-118},
year = {2017}}
@inproceedings{LPAR-21S:Towards_Abstraction_Refinement_Framework,
author = {Julio Cesar Lopez Hernandez and Konstantin Korovin},
title = {Towards an Abstraction-Refinement Framework for Reasoning with Large Theories},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/glJ},
doi = {10.29007/4zh8},
pages = {119-123},
year = {2017}}
@inproceedings{LPAR-21S:Set_Support_Theory_Reasoning,
author = {Giles Reger and Martin Suda},
title = {Set of Support for Theory Reasoning},
booktitle = {IWIL Workshop and LPAR Short Presentations},
editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {1},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/4Sd},
doi = {10.29007/ndjg},
pages = {124-134},
year = {2017}}
