Advertisement

© 2006

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

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