Advertisement

© 2007

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

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace