LPAR-20:BibTeX Entries

Volume

@proceedings{LPAR-20,
  title     = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{LPAR-20:Automated_Theorem_Proving_by,
  author    = {Negin Arhami and Geoff Sutcliffe},
  title     = {Automated Theorem Proving by Translation to Description Logic},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {1--14},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/XVw},
  doi       = {10.29007/xgq9}}

@inproceedings{LPAR-20:Playing_with_Quantified_Satisfaction,
  author    = {Nikolaj Bjorner and Mikolas Janota},
  title     = {Playing with Quantified Satisfaction},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {15--27},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/jmM},
  doi       = {10.29007/vv21}}

@inproceedings{LPAR-20:On_Conflicts_and_Strategies,
  author    = {Nikolaj Bjorner and Mikolas Janota and William Klieber},
  title     = {On Conflicts and Strategies in QBF},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {28--41},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Cd},
  doi       = {10.29007/4sk1}}

@inproceedings{LPAR-20:Automated_Deduction_in_B,
  author    = {Guillaume Bury and David Delahaye and Damien Doligez and Pierre Halmagrand and Olivier Hermant},
  title     = {Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {42--58},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qzr},
  doi       = {10.29007/14v7}}

@inproceedings{LPAR-20:Symbolic_WS1S,
  author    = {Loris D'Antoni and Margus Veanes},
  title     = {Symbolic WS1S},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {59--66},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hHv},
  doi       = {10.29007/t28j}}

@inproceedings{LPAR-20:Reasoning_in_presence_of,
  author    = {Graham Deane and Krysia Broda and Alessandra Russo},
  title     = {Reasoning in the presence of inconsistency through Preferential ALC},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {67--80},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Vj},
  doi       = {10.29007/8qr4}}

@inproceedings{LPAR-20:Lightweight_Double_negation_Translation,
  author    = {Frederic Gilbert},
  title     = {A Lightweight Double-negation Translation},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {81--93},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ClHb},
  doi       = {10.29007/vbs5}}

@inproceedings{LPAR-20:Application_of_Trace_Based_Subjective,
  author    = {Hoang Nam Ho and Mourad Rabah and Samuel Nowakowski and Pascal Estraillier},
  title     = {Application of Trace-Based Subjective Logic to User Preferences Modeling},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {94--105},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/R},
  doi       = {10.29007/zl3d}}

@inproceedings{LPAR-20:Compiling_Hilberts_epsilon_operator,
  author    = {Rustan Leino},
  title     = {Compiling Hilbert's epsilon operator},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {106--118},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/dM},
  doi       = {10.29007/rkxm}}

@inproceedings{LPAR-20:New_Proof_of_P_time,
  author    = {Satoshi Matsuoka},
  title     = {A New Proof of P-time Completeness of Linear Lambda Calculus},
  booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
  editor    = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {35},
  pages     = {119--130},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/MWM},
  doi       = {10.29007/svwc}}