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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{LPAR-17-short:Proof_rules_for_dialogical,
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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {1--6},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Dk},
doi = {10.29007/843r}}
@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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {7--12},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8r},
doi = {10.29007/7v3p}}
@inproceedings{LPAR-17-short:Godel_logics_with_an,
author = {Matthias Baaz and Oliver Fasching},
title = {G\textbackslash{}"odel 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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {13--14},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/S1gg},
doi = {10.29007/1gvp}}
@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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {15--19},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/q7b},
doi = {10.29007/kjk6}}
@inproceedings{LPAR-17-short:Nitpick_Counterexample_Generator_for,
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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {20--25},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zXQs},
doi = {10.29007/6shf}}
@inproceedings{LPAR-17-short:Note_on_Deduction_Theorems,
author = {Karel Chvalovsk\textbackslash{}'y 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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {26--29},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7V},
doi = {10.29007/c66c}}
@inproceedings{LPAR-17-short:Complexity_of_Admissible_Rules,
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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {30--34},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/HJc},
doi = {10.29007/cll3}}
@inproceedings{LPAR-17-short:Ground_Associative_and_Commutative,
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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {35--40},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/pzv},
doi = {10.29007/s69q}}
@inproceedings{LPAR-17-short:Covered_Clause_Elimination,
author = {Marijn Heule and Matti J\textbackslash{}"arvisalo 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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {41--46},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hR8},
doi = {10.29007/cl8s}}
@inproceedings{LPAR-17-short:Dynamics_of_Argumentation_Systems,
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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {47--51},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/CXB},
doi = {10.29007/njsm}}
@inproceedings{LPAR-17-short:Sudoku_Solver_for_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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {52--57},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/VF3m},
doi = {10.29007/79mc}}
@inproceedings{LPAR-17-short:Default_Reasoning_in_Action,
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\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {13},
pages = {58--63},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dD},
doi = {10.29007/xz7v}}