Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

  • Editors
  • Nachum Dershowitz
  • Andrei Voronkov
Conference proceedings LPAR 2007

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4790)

Table of contents

  1. Front Matter
  2. Johann A. Makowsky
    Pages 1-1
  3. Marko Samer, Helmut Veith
    Pages 2-14
  4. Aharon Abadi, Alexander Rabinovich, Mooly Sagiv
    Pages 17-31
  5. Pietro Abate, Rajeev Goré, Florian Widmann
    Pages 32-46
  6. Behzad Akbarpour, Lawrence C. Paulson
    Pages 47-61
  7. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
    Pages 77-91
  8. David Baelde, Dale Miller
    Pages 92-106
  9. Leopoldo Bertossi, Loreto Bravo
    Pages 107-122
  10. Marc Bezem, Tore Langholm, Michał Walicki
    Pages 123-137
  11. Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
    Pages 138-150
  12. Richard Bonichon, David Delahaye, Damien Doligez
    Pages 151-165
  13. Sebastian Brandt
    Pages 166-180
  14. Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
    Pages 181-195
  15. Véronique Cortier, Stéphanie Delaune
    Pages 196-210
  16. Zaynah Dargaye, Xavier Leroy
    Pages 211-225
  17. Francien Dechesne, MohammadReza Mousavi, Simona Orzan
    Pages 226-241
  18. Stépphanie Delaune, Hai Lin, Christopher Lynch
    Pages 242-256

About these proceedings

Keywords

Automat artificial intelligence automated reasoning formal method intelligence logic programming

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75560-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75558-6
  • Online ISBN 978-3-540-75560-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book