Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
a service of 
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.
retrieved on 2024-05-03 12:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
