Skip to main content
SpringerLink
Log in
Book cover

Logic Programming and Nonmonotonic Reasoning

5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Michael Gelfond

    1. Department of Computer Science, University of Texas at El Paso, El Paso, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nicola Leone

    1. Institut für Informationssysteme 184/2, Technische Universität Wien, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gerald Pfeifer

    1. Institut für Informationssysteme 184/2, Technische Universität Wien, Vienna, Austria

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

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

Included in the following conference series:

Conference proceedings info: LPNMR 1999.

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

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Contributed Papers

    1. Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning

      • Georg Gottlob, Francesco Scarcello, Martha Sideri
      Pages 1-18

    2. Classifying Semi-Normal Default Logic on the Basis of its Expressive Power

      • Tomi Janhunen
      Pages 19-33

    3. Locally Determined Logic Programs

      • Douglas Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
      Pages 34-48

    4. Annotated Revision Programs

      • Victor Marek, Inna Pivkina, Miroslaw Truszczyński
      Pages 49-62

    5. Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning

      • Ján Šefránek
      Pages 63-77

    6. An Argumentation Framework for Reasoning about Actions and Change

      • Antonis Kakas, Rob Miller, Francesca Toni
      Pages 78-91

    7. Representing Transition Systems by Logic Programs

      • Vladimir Lifschitz, Hudson Turner
      Pages 92-106

    8. Transformations of Logic Programs Related to Causality and Planning

      • Esra Erdem, Vladimir Lifschitz
      Pages 107-116

    9. From Causal Theories to Logic Programs (Sometimes)

      • Fangzhen Lin, Kewen Wang
      Pages 117-131

    10. Monotone Expansion of Updates in Logical Databases

      • Michael Dekhtyar, Alexander Dikovsky, Sergey Dudakov, Nicolas Spyratos
      Pages 132-146

    11. Updating Extended Logic Programs through Abduction

      • Chiaki Sakama, Katsumi Inoue
      Pages 147-161

    12. LUPS — A Language for Updating Logic Programs

      • José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
      Pages 162-176

    13. Pushing Goal Derivation in DLP Computations

      • Wolfgang Faber, Nicola Leone, Gerald Pfeifer
      Pages 177-191

    14. Linear Tabulated Resolution for the Well-Founded Semantics

      • Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
      Pages 192-205

    15. A Case Study in Using Preference Logic Grammars for Knowledge Representation

      • Baoqiu Cui, Terrance Swift, David S. Warren
      Pages 206-220

    16. Minimal Founded Semantics for Disjunctive Logic Programming

      • Sergio Greco
      Pages 221-235

    17. On the Role of Negation in Choice Logic Programs

      • Marina De Vos, Dirk Vermeir
      Pages 236-246

    18. Default Reasoning via Blocking Sets

      • Thomas Linke, Torsten Schaub
      Pages 247-261

    19. Coherent Well-founded Annotated Logic Programs

      • Carlos Viegas Damásio1, Luís Moniz Pereira, Terrance Swift
      Pages 262-276
Back to top

Other volumes

  1. Logic Programming and Nonmonotonic Reasoning

Keywords

Editors and Affiliations

  • Department of Computer Science, University of Texas at El Paso, El Paso, USA

    Michael Gelfond

  • Institut für Informationssysteme 184/2, Technische Universität Wien, Vienna, Austria

    Nicola Leone, Gerald Pfeifer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation