default search action
Search dblp for Publications
export results for "toc:db/conf/lpar/lpar2010y.bht:"
@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 = {Sun, 06 Oct 2024 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} }
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.