Advertisement

Logic for Programming and Automated Reasoning

7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings

  • Michel Parigot
  • Andrei Voronkov
Conference proceedings LPAR 2000

Part of the Lecture Notes in Artificial Intelligence book series (LNCS, volume 1955)

Also part of the Lecture Notes in Computer Science book sub series (LNAI, volume 1955)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Nonmononic reasoning

    1. Thomas Eiter, Georg Gottlob
      Pages 1-19
  3. Descriptive complexity

  4. Specification and automatic proof-assistants

    1. Thomas Hallgren, Aarne Ranta
      Pages 70-84
    2. David Delahaye
      Pages 85-95
  5. Theorem proving

    1. Miyuki Koshimura, Ryuzo Hasegawa
      Pages 96-113
    2. Christian G. Fermüller, Georg Moser
      Pages 114-130
  6. Verification

    1. Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
      Pages 131-160
    2. Jan Friso Groote, Jaco van de Pol
      Pages 161-178
    3. Cècile Canovas-Dumas, Paul Caspi
      Pages 179-188
  7. Logic programming and CLP

    1. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
      Pages 189-206
    2. Jean-Vincent Loddo, Roberto Di Cosmo
      Pages 207-224
  8. Nonclassical logics and lambda calculus

    1. Matthias Baaz, Agata Ciabattoni, Richard Zach
      Pages 240-256
    2. Rick Statman
      Pages 293-307
  9. Logic and databases

    1. Sergio Greco, Ester Zumpano
      Pages 308-325
    2. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
      Pages 326-343
  10. Program analysis

    1. Gilles Barthe, Bernard Paul Serpette
      Pages 344-361
    2. Elvira Albert, Michael Hanus, Germán Vidal
      Pages 381-398
  11. Mu-calculus

  12. Planning and reasoning about actions

    1. Helko Lehmann, Michael Leuschel
      Pages 451-468
  13. Back Matter
    Pages 487-487

About these proceedings

Keywords

Action Automat Constraint automated reasoning complexity lambda calculus logic nonmonotonic reasoning programming proving theorem proving verification

Editors and affiliations

  • Michel Parigot
    • 1
  • Andrei Voronkov
    • 2
  1. 1.CNRSUniversité de Paris 7Paris Cedex 05France
  2. 2.Computer Science DepartmentUniversity of ManchesterManchesterUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44404-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41285-4
  • Online ISBN 978-3-540-44404-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site