LPAR-17-short: BibTeX Entries

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}}