Advertisement

Logic for Programming, Artificial Intelligence, and Reasoning

17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

  • Christian G. Fermüller
  • Andrei Voronkov
Conference proceedings LPAR 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6397)

Table of contents

  1. Front Matter
  2. Krishnendu Chatterjee, Laurent Doyen
    Pages 1-14
  3. Joseph Y. Halpern
    Pages 15-15
  4. Michael J. Maher
    Pages 16-29
  5. Norbert Preining
    Pages 30-51
  6. Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
    Pages 67-81
  7. Franz Baader, Barbara Morawska
    Pages 97-111
  8. Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue
    Pages 112-126
  9. Jasmin Christian Blanchette, Koen Claessen
    Pages 127-141
  10. Guillaume Bonfante, Georg Moser
    Pages 142-156
  11. Taus Brock-Nannestad, Carsten Schürmann
    Pages 157-171
  12. Kai Brünnler
    Pages 172-186
  13. Witold Charatonik, Piotr Witkowski
    Pages 187-201
  14. Michael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp
    Pages 217-232
  15. Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
    Pages 233-247
  16. Claire David, Leonid Libkin, Tony Tan
    Pages 248-262
  17. Yuxin Deng, Rob van Glabbeek
    Pages 278-293
  18. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
    Pages 294-301
  19. Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach
    Pages 302-316
  20. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Pages 317-332
  21. Benjamin Grégoire, Jorge Luis Sacchini
    Pages 333-347
  22. Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko
    Pages 348-356
  23. Marijn Heule, Matti Järvisalo, Armin Biere
    Pages 357-371
  24. Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä
    Pages 372-386
  25. Jean-Pierre Jouannaud, Benjamin Monate
    Pages 387-401
  26. Dejan Jovanović, Clark Barrett
    Pages 402-416
  27. Pavel Klinov, Bijan Parsia, David Picado-Muiño
    Pages 432-446
  28. Antonina Kolokolova, Yongmei Liu, David Mitchell, Eugenia Ternovska
    Pages 447-458
  29. Konstantin Korovin, Christoph Sticksel
    Pages 459-473
  30. Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs
    Pages 474-488
  31. Daniel Kroening, Jérôme Leroux, Philipp Rümmer
    Pages 489-503
  32. Theofrastos Mantadelis, Gerda Janssens
    Pages 504-518
  33. Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya
    Pages 519-534
  34. Friedrich Neurauter, Harald Zankl, Aart Middeldorp
    Pages 550-564
  35. Petros Papapanagiotou, Jacques Fleuriot
    Pages 565-580
  36. Andreas Reuß, Helmut Seidl
    Pages 581-593
  37. Shahab Tasharrofi, Eugenia Ternovska
    Pages 610-624
  38. Tino Teige, Martin Fränzle
    Pages 625-639
  39. Margus Veanes, Nikolaj Bjørner, Leonardo de Moura
    Pages 640-654
  40. Back Matter

Other volumes

  1. 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  2. Logic for Programming, Artificial Intelligence, and Reasoning
    17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

About these proceedings

Keywords

Extension artificial intelligence automated reasoning computational complexity concurrency constraint programming description logic description logics distributed systems knowledge knowledge base knowledge representation model checking modeling proving

Editors and affiliations

  • Christian G. Fermüller
    • 1
  • Andrei Voronkov
    • 2
  1. 1.Institut für Computersprachen 185.2, Theory and Logic GroupTU WienViennaAustria
  2. 2.School of Computer ScienceUniversity of ManchesterManchesterUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16242-8
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16241-1
  • Online ISBN 978-3-642-16242-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site