Skip to main content
  • Conference proceedings
  • © 2001

Logic Programming and Nonmonotonic Reasoning

6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings

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

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

Buy it now

Buying options

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

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

Table of contents (39 papers)

  1. Front Matter

    Pages I-XI
  2. Invited Papers

    1. Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto

      • Robert Baumgartner, Sergio Flesca, Georg Gottlob
      Pages 21-41
    2. On The Complexity of Model Checking and Inference in Minimal Models

      • Leferis M. Kirousis, Phokion G. Kolaitis
      Pages 42-53
    3. Data Integration Needs Reasoning

      • Maurizio Lenzerini
      Pages 54-61
    4. Nonmonotomic Inductive Logic Programming

      • Chiaki Sakama
      Pages 62-80
  3. Regular Papers

    1. On the Expressibility of Stable Logic Programming

      • V. W. Marek, J. B. Remmel
      Pages 107-120
    2. Reasoning with Open Logic Programs

      • 1Piero A. Bonatti
      Pages 147-159
    3. Representation of Incomplete Knowledge by Induction of Default Theories

      • Pascal Nicolas, Béatrice Duval
      Pages 160-172
    4. Bounded LTL Model Checking with Stable Models

      • Keijo Heljanko, Ilkka Niemelä
      Pages 200-212
    5. Diagnosing Physical Systems in A-Prolog

      • Michael Gelfond, Marcello Balduccini, Joel Galloway
      Pages 213-225
    6. Encoding Solutions of the Frame Problem in Dynamic Logic

      • Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo
      Pages 240-253
    7. ε-RES: Reasoning about Actions, Events and Observations

      • Antonis Kakas, Rob Miller, Francesca Toni
      Pages 254-267

Editors and Affiliations

  • Institut für Informationssysteme, Vienna University of Technology, Wien, Austria

    Thomas Eiter, Wolfgang Faber

  • Department of Computer Science Lexington, University of Kentucky, USA

    Miros law Truszczyński

Bibliographic Information

Buy it now

Buying options

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