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

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
  • About this book