Skip to main content
SpringerLink
Log in
Book cover

Non-Monotonic Extensions of Logic Programming

ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Jürgen Dix
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Louis Moniz Pereira
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Teodor C. Przymusinski
    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 927)

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

Included in the following conference series:

Conference proceedings info: NMELP 1994.

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

Access this book

Log in via an institution
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 (11 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    Pages 1-2

  3. An argumentation theoretic semantics based on non-refutable falsity

    • José Júlio Alferes, Luís Moniz Pereira
    Pages 3-22

  4. From disjunctive programs to abduction

    • Vladimir Lifschitz, Hudson Turner
    Pages 23-42

  5. Samantics of normal and disjunctive logic programs a unifying framework

    • Teodor C. Przymusinski
    Pages 43-67

  6. Every normal program has a nearly-stable model

    • Cees Witteveen
    Pages 68-84

  7. Logic programming with assumption denial

    • Jia-Huai You, Li Yan Yuan
    Pages 85-100

  8. A resolution-based procedure for default theories with extensions

    • Monica D. Barback, Jorge Lobo
    Pages 101-126

  9. A general approach to bottom-up computation of disjunctive semantics

    • Stefan Brass, Jürgen Dix
    Pages 127-155

  10. Static semantics as program transformation and well-founded computation

    • Stefania Costantini, Gaetano A. Lanzarone
    Pages 156-180

  11. Magic computation for well-founded semantics

    • Lars Degerstedt, Ulf Nilsson
    Pages 181-204

  12. Computing stable and partial stable models of extended disjunctive logic programs

    • Carolina Ruiz, Jack Minker
    Pages 205-229

  13. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Non-Monotonic Extensions of Logic Programming

Keywords

About this book

This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included.
Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation