Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1999

Logic Programming and Nonmonotonic Reasoning

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

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)

Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning

Conference proceedings info: LPNMR 1999.

Sections

Buy it now

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

  1. Front Matter

    Pages I-XI
    PDF

  2. Contributed Papers

    1. Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning

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

    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

    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

    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

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation