Skip to main content
SpringerLink
Log in

Logic Programming and Nonmonotonic Reasoning

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

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Thomas Eiter

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfgang Faber

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Miros law Truszczyński

    1. Department of Computer Science Lexington, University of Kentucky, USA

    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 2173)

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 (39 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Papers

    1. A Computational Logic Approach to Heterogenous Agent Systems

      • Jürgen Dix
      Pages 1-21

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

      • Robert Baumgartner, Sergio Flesca, Georg Gottlob
      Pages 21-41

    3. On The Complexity of Model Checking and Inference in Minimal Models

      • Leferis M. Kirousis, Phokion G. Kolaitis
      Pages 42-53

    4. Data Integration Needs Reasoning

      • Maurizio Lenzerini
      Pages 54-61

    5. Nonmonotomic Inductive Logic Programming

      • Chiaki Sakama
      Pages 62-80

  3. Regular Papers

    1. Strong Equivalence for Logic Programs and Default Theories (Made Easy)

      • Hudson Turner
      Pages 81-92

    2. On the Effect of Default Negation on the Expressiveness of Disjunctive Rules

      • Tomi Janhunen
      Pages 93-106

    3. On the Expressibility of Stable Logic Programming

      • V. W. Marek, J. B. Remmel
      Pages 107-120

    4. On the Relationship between Defeasible Logic and Well-Founded Semantics

      • Gerhard Brewka
      Pages 121-132

    5. A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs

      • Kewen Wang
      Pages 133-146

    6. Reasoning with Open Logic Programs

      • 1Piero A. Bonatti
      Pages 147-159

    7. Representation of Incomplete Knowledge by Induction of Default Theories

      • Pascal Nicolas, Béatrice Duval
      Pages 160-172

    8. Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules

      • Véronique Ventos, Pierre Brézellec, Henry Soldano
      Pages 173-185

    9. Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming

      • Chitta Baral, Cenk Uyan
      Pages 186-199

    10. Bounded LTL Model Checking with Stable Models

      • Keijo Heljanko, Ilkka Niemelä
      Pages 200-212

    11. Diagnosing Physical Systems in A-Prolog

      • Michael Gelfond, Marcello Balduccini, Joel Galloway
      Pages 213-225

    12. Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach

      • Tran Cao Son, Chitta Baral, Sheila McIlraith
      Pages 226-239

    13. Encoding Solutions of the Frame Problem in Dynamic Logic

      • Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo
      Pages 240-253

    14. ε-RES: Reasoning about Actions, Events and Observations

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

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation