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