Search dblp for Publications

export results for "toc:db/conf/lpar/lpar2010ys.bht:"

 download as .bib file

@proceedings{DBLP:conf/lpar/2010ys,
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://easychair.org/publications/volume/LPAR-17-short},
  timestamp    = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/2010ys.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AlamaU10,
  author       = {Jesse Alama and
                  Sara L. Uckelman},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Proof rules for the dialogical logic {N}},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {1--6},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/843r},
  doi          = {10.29007/843R},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AlamaU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AlamaU10a,
  author       = {Jesse Alama and
                  Sara L. Uckelman},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Playing Lorenzen Dialogue Games on the Web},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {7--12},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/7v3p},
  doi          = {10.29007/7V3P},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AlamaU10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BaazF10,
  author       = {Matthias Baaz and
                  Oliver Fasching},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {G{\"{o}}del logics with an operator shifting truth values},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {13--14},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/1gvp},
  doi          = {10.29007/1GVP},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BaazF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Behounek10,
  author       = {Libor Behounek},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Feasibility as a gradual notion},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {15--19},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/kjk6},
  doi          = {10.29007/KJK6},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Behounek10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Blanchette10,
  author       = {Jasmin Christian Blanchette},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Nitpick: {A} Counterexample Generator for Isabelle/HOL Based on the
                  Relational Model Finder Kodkod},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {20--25},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/6shf},
  doi          = {10.29007/6SHF},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Blanchette10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/ChvalovskyC10,
  author       = {Karel Chvalovsk{\'{y}} and
                  Petr Cintula},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Note on Deduction Theorems in Contraction-Free Logics},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {26--29},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/c66c},
  doi          = {10.29007/C66C},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/ChvalovskyC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/CintulaM10,
  author       = {Petr Cintula and
                  George Metcalfe},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Complexity of Admissible Rules in the Implication-Negation Fragment
                  of Intuitionistic Logic},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {30--34},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/cll3},
  doi          = {10.29007/CLL3},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/CintulaM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/ConchonCI10,
  author       = {Sylvain Conchon and
                  Evelyne Contejean and
                  Mohamed Iguernelala},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Ground Associative and Commutative Completion Modulo Shostak Theories},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {35--40},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/s69q},
  doi          = {10.29007/S69Q},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/ConchonCI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/HeuleJB10a,
  author       = {Marijn Heule and
                  Matti J{\"{a}}rvisalo and
                  Armin Biere},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Covered Clause Elimination},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {41--46},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/cl8s},
  doi          = {10.29007/CL8S},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HeuleJB10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/LiaoJK10,
  author       = {Beishui Liao and
                  Li Jin and
                  Robert C. Koons},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Dynamics of Argumentation Systems: {A} Basic Theory},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {47--51},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/njsm},
  doi          = {10.29007/NJSM},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/LiaoJK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/PfeifferKS10,
  author       = {Uwe Pfeiffer and
                  Tomas Karnagel and
                  Guido Scheffler},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {A Sudoku-Solver for Large Puzzles using {SAT}},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {52--57},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/79mc},
  doi          = {10.29007/79MC},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/PfeifferKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/StrassT10,
  author       = {Hannes Strass and
                  Michael Thielscher},
  editor       = {Andrei Voronkov and
                  Geoff Sutcliffe and
                  Matthias Baaz and
                  Christian G. Ferm{\"{u}}ller},
  title        = {Default Reasoning in Action Domains with Conditional, Non-Local Effect
                  Actions},
  booktitle    = {Short papers for 17th International Conference on Logic for Programming,
                  Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
                  Indonesia, October 10-15, 2010},
  series       = {EPiC Series in Computing},
  volume       = {13},
  pages        = {58--63},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/xz7v},
  doi          = {10.29007/XZ7V},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/StrassT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.