Skip to main content
SpringerLink
Log in

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Harald Ganzinger

    1. Max-Planck-Institut für Informatik, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David McAllester

    1. AT&T Labs Research, Florham Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrei Voronkov

    1. Department of Computer Science, University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Session 1

    1. Proofs About Lists Using Ellipsis

      • Alan Bundy, Julian Richardson
      Pages 1-12

  3. Session 2

    1. On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System

      • Miki Hermann, Laurent Juban, Phokion G. Kolaitis
      Pages 13-32

    2. Solving Combinatorial Problems with Regular Local Search Algorithms

      • Ramón Béjar, Felip Manyà
      Pages 33-43

    3. Evidence Algorithm and Sequent Logical Inference Search

      • Anatoli I. Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets
      Pages 44-61

  4. Session 3

    1. First Order Linear Temporal Logic over Finite Time Structures

      • Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud
      Pages 62-76

    2. Model Checking Games for the Alternation-Free μ-Calculus and Alternating Automata

      • Martin Leucker
      Pages 77-91

    3. Animating TLA Specifications

      • Yassine Mokhtari, Stephan Merz
      Pages 92-110

  6. Session 5

    1. Practical Reasoning for Expressive Description Logics

      • Ian Horrocks, Ulrike Sattler, Stephan Tobies
      Pages 161-180

    2. Complexity of Terminological Reasoning Revisited

      • Carsten Lutz
      Pages 181-200

  7. Session 6

    1. On the Complexity of Single-Rule Datalog Queries

      • Georg Gottlob, Christos Papadimitriou
      Pages 201-222

  8. Session 7

    1. Abstracting Properties in Concurrent Constraint Programming

      • René Moreno
      Pages 223-237

    2. A Fixpoint Semantics for Reasoning about Finite Failure

      • Roberta Gori
      Pages 238-257

    3. Extensions to the Estimation Calculus

      • Jeremy Gow, Alan Bundy, Ian Green
      Pages 258-272

  9. Session 8

    1. Beth Definability for the Guarded Fragment

      • Eva Hoogland, Maarten Marx, Martin Otto
      Pages 273-285

    2. Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas

      • Michael Dierkes
      Pages 286-303

  10. Session 9

    1. Resource Management in Linear Logic Proof Search Revisited

      • Pablo López, Ernesto Pimentel
      Pages 304-319
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Max-Planck-Institut für Informatik, Saarbrücken, Germany

    Harald Ganzinger

  • AT&T Labs Research, Florham Park, USA

    David McAllester

  • Department of Computer Science, University of Manchester, Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation