Advertisement

Logic for Programming, Artificial Intelligence, and Reasoning

13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

  • Miki Hermann
  • Andrei Voronkov
Conference proceedings LPAR 2006

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

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

Table of contents

  1. Front Matter
  2. Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
    Pages 1-14
  3. Sébastien Limet, Pierre Pillot
    Pages 15-29
  4. Michael Codish, Peter Schneider–Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
    Pages 30-44
  5. Stephan Falke, Deepak Kapur
    Pages 45-59
  6. Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
    Pages 90-104
  7. Agata Ciabattoni, Kazushige Terui
    Pages 135-149
  8. Richard Bonichon, Olivier Hermant
    Pages 167-181
  9. Christian G. Fermüller, Robert Kosik
    Pages 212-226
  10. Alwen Tiu
    Pages 242-256
  11. Ozan Kahramanoğulları
    Pages 272-286
  12. Hendrik Decker, Davide Martinenghi
    Pages 287-301
  13. Orna Kupferman, Yoad Lustig, Moshe Y. Vardi
    Pages 302-316
  14. Véronique Cortier, Eugen Zălinescu
    Pages 317-331
  15. Tobias Gedell, Reiner Hähnle
    Pages 332-346
  16. Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
    Pages 347-361
  17. John Matthews, J. Strother Moore, Sandip Ray, Daron Vroon
    Pages 362-376
  18. Elvira Albert, Puri Arenas, Germán Puebla
    Pages 377-391
  19. Paweł Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
    Pages 392-406
  20. Álvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
    Pages 407-421
  21. Pablo R. Fillottrani, Guillermo R. Simari
    Pages 437-451
  22. Jonathan Kavanagh, David Mitchell, Eugenia Ternovska, Ján Maňuch, Xiaohong Zhao, Arvind Gupta
    Pages 452-466
  23. Barbara Fila, Siva Anantharaman
    Pages 467-481
  24. Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss
    Pages 482-496
  25. Harald Ganzinger, Konstantin Korovin
    Pages 497-511
  26. Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    Pages 512-526
  27. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
    Pages 527-541
  28. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    Pages 542-556
  29. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani
    Pages 557-571
  30. Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
    Pages 572-586
  31. Back Matter

About these proceedings

Keywords

Artificial intelligence Automat automated reasoning formal method intelligence logic programming

Editors and affiliations

  • Miki Hermann
    • 1
  • Andrei Voronkov
    • 2
  1. 1.LIX (CNRS, UMR 7161), École PolytechniquePalaiseauFrance
  2. 2.University of ManchesterUK

Bibliographic information

  • DOI https://doi.org/10.1007/11916277
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-48281-9
  • Online ISBN 978-3-540-48282-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site