© 2002

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

About these proceedings


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

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking