© 1999

Logic for Programming and Automated Reasoning

6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

  • Harald Ganzinger
  • David McAllester
  • Andrei Voronkov
Conference proceedings LPAR 1999

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Session 1

    1. Alan Bundy, Julian Richardson
      Pages 1-12
  3. Session 2

    1. Miki Hermann, Laurent Juban, Phokion G. Kolaitis
      Pages 13-32
    2. Anatoli I. Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets
      Pages 44-61
  4. Session 3

    1. Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud
      Pages 62-76
    2. Yassine Mokhtari, Stephan Merz
      Pages 92-110
  5. Session 4

  6. Session 5

    1. Ian Horrocks, Ulrike Sattler, Stephan Tobies
      Pages 161-180
  7. Session 6

    1. Georg Gottlob, Christos Papadimitriou
      Pages 201-222
  8. Session 7

    1. Jeremy Gow, Alan Bundy, Ian Green
      Pages 258-272
  9. Session 8

    1. Eva Hoogland, Maarten Marx, Martin Otto
      Pages 273-285
  10. Session 9

    1. Pablo López, Ernesto Pimentel
      Pages 304-319

About these proceedings


This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com­ mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a very short time, to the organizing committee, and to the local organizers of the INTAS workshop in Tbilisi in April 1994 (Khimuri Rukhaia, Konstantin Pkhakadze, and Gela Chankvetadze). And last but not least, we would like to thank Konstantin - rovin, who maintained the program committee Web page; Uwe Waldmann, who supplied macros for these proceedings and helped us to install some programs for the electronic management of the program committee work; and Bill McCune, who implemented these programs.


Logic Programming Model Checking Rewriting Systems automated reasoning complexity formal specification logic programming

Editors and affiliations

  • Harald Ganzinger
    • 1
  • David McAllester
    • 2
  • Andrei Voronkov
    • 3
  1. 1.Max-Planck-Institut für InformatikSaarbrückenGermany
  2. 2.AT&T Labs ResearchFlorham ParkUSA
  3. 3.Department of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences