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/lpar2010y.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpar/AlendaO10,
author = {R{\'{e}}gis Alenda and
Nicola Olivetti},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Tableau Calculus for the Logic of Comparative Similarity over Arbitrary
Distance Spaces},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {52--66},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_5},
doi = {10.1007/978-3-642-16242-8\_5},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlendaO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AudemardLMS10,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Boosting Local Search Thanks to cdcl},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {474--488},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_34},
doi = {10.1007/978-3-642-16242-8\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AudemardLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AxelssonHKLL10,
author = {Roland Axelsson and
Matthew Hague and
Stephan Kreutzer and
Martin Lange and
Markus Latte},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Extended Computation Tree Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {67--81},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_6},
doi = {10.1007/978-3-642-16242-8\_6},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AxelssonHKLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaaderLL10,
author = {Franz Baader and
Marcel Lippmann and
Hongkai Liu},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Using Causal Relationships to Deal with the Ramification Problem in
Action Formalisms Based on Description Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {82--96},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_7},
doi = {10.1007/978-3-642-16242-8\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaaderLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaaderM10,
author = {Franz Baader and
Barbara Morawska},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {{SAT} Encoding of Unification in \emph{EL}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {97--111},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_8},
doi = {10.1007/978-3-642-16242-8\_8},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaaderM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BanbaraMTI10,
author = {Mutsunori Banbara and
Haruki Matsunaka and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Generating Combinatorial Test Cases by Efficient {SAT} Encodings Suitable
for {CDCL} {SAT} Solvers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {112--126},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_9},
doi = {10.1007/978-3-642-16242-8\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BanbaraMTI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlanchetteC10,
author = {Jasmin Christian Blanchette and
Koen Claessen},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Generating Counterexamples for Structural Inductions by Exploiting
Nonstandard Models},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {127--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_10},
doi = {10.1007/978-3-642-16242-8\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlanchetteC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BonfanteM10,
author = {Guillaume Bonfante and
Georg Moser},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Characterising Space Complexity Classes via Knuth-Bendix Orders},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {142--156},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_11},
doi = {10.1007/978-3-642-16242-8\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BonfanteM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Brock-NannestadS10,
author = {Taus Brock{-}Nannestad and
Carsten Sch{\"{u}}rmann},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Focused Natural Deduction},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {157--171},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_12},
doi = {10.1007/978-3-642-16242-8\_12},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/Brock-NannestadS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Brunnler10,
author = {Kai Br{\"{u}}nnler},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {How to Universally Close the Existential Rule},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {172--186},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_13},
doi = {10.1007/978-3-642-16242-8\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Brunnler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CharatonikW10,
author = {Witold Charatonik and
Piotr Witkowski},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {On the Complexity of the Bernays-Sch{\"{o}}nfinkel Class with
Datalog},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {187--201},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_14},
doi = {10.1007/978-3-642-16242-8\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/CharatonikW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ChatterjeeD10,
author = {Krishnendu Chatterjee and
Laurent Doyen},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {The Complexity of Partial-Observation Parity Games},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {1--14},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_1},
doi = {10.1007/978-3-642-16242-8\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ChatterjeeD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Chaudhuri10,
author = {Kaustuv Chaudhuri},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Magically Constraining the Inverse Method Using Dynamic Polarity Assignment},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {202--216},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_15},
doi = {10.1007/978-3-642-16242-8\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Chaudhuri10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishFGS10,
author = {Michael Codish and
Carsten Fuhs and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Lazy Abstraction for Size-Change Termination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {217--232},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_16},
doi = {10.1007/978-3-642-16242-8\_16},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishFGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CondottaKMS10,
author = {Jean{-}Fran{\c{c}}ois Condotta and
Souhila Kaci and
Pierre Marquis and
Nicolas Schwind},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {A Syntactical Approach to Qualitative Constraint Networks Merging},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {233--247},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_17},
doi = {10.1007/978-3-642-16242-8\_17},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CondottaKMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DavidLT10,
author = {Claire David and
Leonid Libkin and
Tony Tan},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {On the Satisfiability of Two-Variable Logic over Data Words},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {248--262},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_18},
doi = {10.1007/978-3-642-16242-8\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DavidLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DawsonG10,
author = {Jeremy E. Dawson and
Rajeev Gor{\'{e}}},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Generic Methods for Formalising Sequent Calculi Applied to Provability
Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {263--277},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_19},
doi = {10.1007/978-3-642-16242-8\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DawsonG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DengG10,
author = {Yuxin Deng and
Rob J. van Glabbeek},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Characterising Probabilistic Processes Logically - (Extended Abstract)},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {278--293},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_20},
doi = {10.1007/978-3-642-16242-8\_20},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DengG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FerrariFF10,
author = {Mauro Ferrari and
Camillo Fiorentini and
Guido Fiorino},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {fCube: An Efficient Prover for Intuitionistic Propositional Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {294--301},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_21},
doi = {10.1007/978-3-642-16242-8\_21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FerrariFF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FietzkeHW10,
author = {Arnaud Fietzke and
Holger Hermanns and
Christoph Weidenbach},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Superposition-Based Analysis of First-Order Probabilistic Timed Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {302--316},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_22},
doi = {10.1007/978-3-642-16242-8\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FietzkeHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GiordanoGOP10,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {A Nonmonotonic Extension of {KLM} Preferential Logic {P}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {317--332},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_23},
doi = {10.1007/978-3-642-16242-8\_23},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/GiordanoGOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GregoireS10,
author = {Benjamin Gr{\'{e}}goire and
Jorge Luis Sacchini},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {On Strong Normalization of the Calculus of Constructions with Type-Based
Termination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {333--347},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_24},
doi = {10.1007/978-3-642-16242-8\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GregoireS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Halpern10,
author = {Joseph Y. Halpern},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Awareness in Games, Awareness in Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {15},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_2},
doi = {10.1007/978-3-642-16242-8\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Halpern10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HenzingerHKR10,
author = {Thomas A. Henzinger and
Thibaud Hottelier and
Laura Kov{\'{a}}cs and
Andrey Rybalchenko},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Aligators for Arrays (Tool Paper)},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {348--356},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_25},
doi = {10.1007/978-3-642-16242-8\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HenzingerHKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeuleJB10,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Clause Elimination Procedures for {CNF} Formulas},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {357--371},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_26},
doi = {10.1007/978-3-642-16242-8\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeuleJB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HolldoblerMS10,
author = {Steffen H{\"{o}}lldobler and
Norbert Manthey and
Ari Saptawijaya},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Improving Resource-Unaware {SAT} Solvers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {519--534},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_37},
doi = {10.1007/978-3-642-16242-8\_37},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HolldoblerMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HyvarinenJN10,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Partitioning {SAT} Instances for Distributed Solving},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {372--386},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_27},
doi = {10.1007/978-3-642-16242-8\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HyvarinenJN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JouannaudM10,
author = {Jean{-}Pierre Jouannaud and
Benjamin Monate},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Infinite Families of Finite String Rewriting Systems and Their Confluence},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {387--401},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_28},
doi = {10.1007/978-3-642-16242-8\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JouannaudM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JovanovicB10,
author = {Dejan Jovanovic and
Clark W. Barrett},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Polite Theories Revisited},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {402--416},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_29},
doi = {10.1007/978-3-642-16242-8\_29},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JovanovicB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KaminskiS10,
author = {Mark Kaminski and
Gert Smolka},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {417--431},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_30},
doi = {10.1007/978-3-642-16242-8\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KaminskiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KlinovPP10,
author = {Pavel Klinov and
Bijan Parsia and
David Picado{-}Mui{\~{n}}o},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {The Consistency of the {CADIAG-2} Knowledge Base: {A} Probabilistic
Approach},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {432--446},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_31},
doi = {10.1007/978-3-642-16242-8\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KlinovPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KolokolovaLMT10,
author = {Antonina Kolokolova and
Yongmei Liu and
David G. Mitchell and
Eugenia Ternovska},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {On the Complexity of Model Expansion},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {447--458},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_32},
doi = {10.1007/978-3-642-16242-8\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KolokolovaLMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KorovinS10,
author = {Konstantin Korovin and
Christoph Sticksel},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Labelled Unit Superposition Calculi for Instantiation-Based Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {459--473},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_33},
doi = {10.1007/978-3-642-16242-8\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KorovinS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KroeningLR10,
author = {Daniel Kroening and
J{\'{e}}r{\^{o}}me Leroux and
Philipp R{\"{u}}mmer},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Interpolating Quantifier-Free Presburger Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {489--503},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_35},
doi = {10.1007/978-3-642-16242-8\_35},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/KroeningLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Maher10,
author = {Michael J. Maher},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Human and Unhuman Commonsense Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {16--29},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_3},
doi = {10.1007/978-3-642-16242-8\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Maher10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MantadelisJ10,
author = {Theofrastos Mantadelis and
Gerda Janssens},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Variable Compression in ProbLog},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {504--518},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_36},
doi = {10.1007/978-3-642-16242-8\_36},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MantadelisJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/McKinley10,
author = {Richard McKinley},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Expansion Nets: Proof-Nets for Propositional Classical Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {535--549},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_38},
doi = {10.1007/978-3-642-16242-8\_38},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/McKinley10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NeurauterZM10,
author = {Friedrich Neurauter and
Harald Zankl and
Aart Middeldorp},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Revisiting Matrix Interpretations for Polynomial Derivational Complexity
of Term Rewriting},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {550--564},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_39},
doi = {10.1007/978-3-642-16242-8\_39},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/NeurauterZM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PapapanagiotouF10,
author = {Petros Papapanagiotou and
Jacques D. Fleuriot},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {An Isabelle-Like Procedural Mode for {HOL} Light},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {565--580},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_40},
doi = {10.1007/978-3-642-16242-8\_40},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PapapanagiotouF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Preining10,
author = {Norbert Preining},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {G{\"{o}}del Logics - {A} Survey},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {30--51},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_4},
doi = {10.1007/978-3-642-16242-8\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Preining10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ReussS10,
author = {Andreas Reu{\ss} and
Helmut Seidl},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Bottom-Up Tree Automata with Term Constraints},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {581--593},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_41},
doi = {10.1007/978-3-642-16242-8\_41},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ReussS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/RochaM10,
author = {Camilo Rocha and
Jos{\'{e}} Meseguer},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite
Theories},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {594--609},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_42},
doi = {10.1007/978-3-642-16242-8\_42},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/RochaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TasharrofiT10,
author = {Shahab Tasharrofi and
Eugenia Ternovska},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {PBINT, {A} Logic for Modelling Search Problems Involving Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {610--624},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_43},
doi = {10.1007/978-3-642-16242-8\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/TasharrofiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TeigeF10,
author = {Tino Teige and
Martin Fr{\"{a}}nzle},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Resolution for Stochastic Boolean Satisfiability},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {625--639},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_44},
doi = {10.1007/978-3-642-16242-8\_44},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/TeigeF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VeanesBM10,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Symbolic Automata Constraint Solving},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {640--654},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_45},
doi = {10.1007/978-3-642-16242-8\_45},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VeanesBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010y,
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8},
doi = {10.1007/978-3-642-16242-8},
isbn = {978-3-642-16241-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2010y.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-27 01:31 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:
