Advertisement

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

  • Matthias Baaz
  • Andrei Voronkov
Conference proceedings LPAR 2002

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. M. Alpuente, S. Escobar, B. Gramlich, S. Lucas
    Pages 1-18
  3. K. R. Apt, C. F. M. Vermeulen
    Pages 19-35
  4. Benedikt Bollig, Martin Leucker, Philipp Lucas
    Pages 68-85
  5. James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa
    Pages 86-101
  6. Claudio Castellini, Alan Smaill
    Pages 102-114
  7. Mehdi Dastani, Leendert van der Torre
    Pages 115-129
  8. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Pages 130-144
  9. Stefan Edelkamp, Peter Leven
    Pages 145-159
  10. Xiaocong Fan, John Yen
    Pages 160-174
  11. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
    Pages 175-189
  12. Pascal Fontaine, E. Pascal Gribomont
    Pages 190-201
  13. Gianluigi Greco, Sergio Greco, Irina Trubtsyna, Ester Zumpano
    Pages 216-230
  14. Alessio Guglielmi, Lutz Straßburger
    Pages 231-246
  15. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Pages 262-277
  16. A. K. McIver, C. C. Morgan
    Pages 292-310
  17. Joachim Niehren, Mateu Villaret
    Pages 311-326
  18. Norbert Preining
    Pages 327-336
  19. J. Siekmann, C. Benzmüller, A. Fiedler, A. Meier, M. Pollet
    Pages 367-387
  20. Lutz Straβburger
    Pages 388-402
  21. Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz
    Pages 450-463
  22. Back Matter
    Pages 465-465

About these proceedings

Keywords

Artificial intelligence Isabelle Resolution formal verification intelligence logic programming verification

Editors and affiliations

  • Matthias Baaz
    • 1
  • Andrei Voronkov
    • 2
  1. 1.Abteilung für Theoretische InformatikInstitut für Algebra und Diskrete MathematikWienAustria
  2. 2.Department of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information

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