Volume
@proceedings{LPAR-17-short,
title = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2013}}
Papers
@inproceedings{LPAR-17-short:Proof_rules_dialogical_logic,
author = {Jesse Alama and Sara L. Uckelman},
title = {Proof rules for the dialogical logic N},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Dk},
doi = {10.29007/843r},
pages = {1-6},
year = {2013}}
@inproceedings{LPAR-17-short:Playing_Lorenzen_Dialogue_Games,
author = {Jesse Alama and Sara L. Uckelman},
title = {Playing Lorenzen Dialogue Games on the Web},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8r},
doi = {10.29007/7v3p},
pages = {7-12},
year = {2013}}
@inproceedings{LPAR-17-short:Gödel_logics_with_operator,
author = {Matthias Baaz and Oliver Fasching},
title = {Gödel logics with an operator shifting truth values},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/S1gg},
doi = {10.29007/1gvp},
pages = {13-14},
year = {2013}}
@inproceedings{LPAR-17-short:Feasibility_as_gradual_notion,
author = {Libor Behounek},
title = {Feasibility as a gradual notion},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/q7b},
doi = {10.29007/kjk6},
pages = {15-19},
year = {2013}}
@inproceedings{LPAR-17-short:Nitpick_Counterexample_Generator_Isabelle/HOL,
author = {Jasmin Christian Blanchette},
title = {Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zXQs},
doi = {10.29007/6shf},
pages = {20-25},
year = {2013}}
@inproceedings{LPAR-17-short:Note_Deduction_Theorems_Contraction,
author = {Karel Chvalovský and Petr Cintula},
title = {Note on Deduction Theorems in Contraction-Free Logics},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7V},
doi = {10.29007/c66c},
pages = {26-29},
year = {2013}}
@inproceedings{LPAR-17-short:Complexity_Admissible_Rules_Implication,
author = {Petr Cintula and George Metcalfe},
title = {Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/HJc},
doi = {10.29007/cll3},
pages = {30-34},
year = {2013}}
@inproceedings{LPAR-17-short:Ground_Associative_Commutative_Completion,
author = {Sylvain Conchon and Evelyne Contejean and Mohamed Iguernelala},
title = {Ground Associative and Commutative Completion Modulo Shostak Theories},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/pzv},
doi = {10.29007/s69q},
pages = {35-40},
year = {2013}}
@inproceedings{LPAR-17-short:Covered_Clause_Elimination,
author = {Marijn Heule and Matti Järvisalo and Armin Biere},
title = {Covered Clause Elimination},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hR8},
doi = {10.29007/cl8s},
pages = {41-46},
year = {2013}}
@inproceedings{LPAR-17-short:Dynamics_Argumentation_Systems_Basic,
author = {Beishui Liao and Li Jin and Rober Koons},
title = {Dynamics of Argumentation Systems: A Basic Theory},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/CXB},
doi = {10.29007/njsm},
pages = {47-51},
year = {2013}}
@inproceedings{LPAR-17-short:Sudoku_Solver_Large_Puzzles,
author = {Uwe Pfeiffer and Tomas Karnagel and Guido Scheffler},
title = {A Sudoku-Solver for Large Puzzles using SAT},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/VF3m},
doi = {10.29007/79mc},
pages = {52-57},
year = {2013}}
@inproceedings{LPAR-17-short:Default_Reasoning_Action_Domains,
author = {Hannes Strass and Michael Thielscher},
title = {Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions},
booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
editor = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
series = {EPiC Series in Computing},
volume = {13},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dD},
doi = {10.29007/xz7v},
pages = {58-63},
year = {2013}}