Advertisement

Logic for Programming and Automated Reasoning

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

  • Harald Ganzinger
  • David McAllester
  • Andrei Voronkov

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
    2. Jean-Marc Andreoli, Roberto Maieli
      Pages 320-336
  11. Session 10

    1. Baxt Demoen, Konstantinos Sagonas
      Pages 337-357
    2. Nikolay Pelov, Maurice Bruynooghe
      Pages 358-375
    3. Elvira Albert, María Alpuente, Michael Harms, Germán Vidal
      Pages 376-395
  12. Back Matter
    Pages 397-399

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/3-540-48242-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66492-5
  • Online ISBN 978-3-540-48242-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering