Skip to main content
SpringerLink
Log in
Book cover

Logic Programming and Nonmonotonic Reasoning

Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. V. Wiktor Marek
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anil Nerode
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. Truszczyński
    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 928)

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

Included in the following conference series:

Conference proceedings info: LPNMR 1995.

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

  1. Reasoning with stratified default theories

    • Paweł Cholewiński
    Pages 273-286

  2. Incremental methods for optimizing partial instantiation

    • Raymond T. Ng, Xiaomei Tian
    Pages 287-301

  3. A transformation of propositional Prolog programs into classical logic

    • Robert F. Stärk
    Pages 302-315

  4. Nonmonotonic inheritance, argumentation and logic programming

    • Phan Minh Dung, Tran Cao Son
    Pages 316-329

  5. An abductive framework for extended logic programming

    • Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    Pages 330-343

  6. Embedding circumscriptive theories in general disjunctive programs

    • Chiaki Sakama, Katsumi Inoue
    Pages 344-357

  7. Stable classes and operator pairs for disjunctive programs

    • Jürgen Kalinski
    Pages 358-371

  8. Nonmonotonicity and answer set inference

    • David Pearce
    Pages 372-387

  9. Trans-epistemic semantics for logic programs

    • Arcot Rajasekar
    Pages 388-400

  10. Computing the acceptability semantics

    • Francesca Toni, Antonios C. Kakas
    Pages 401-415

  11. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logic Programming and Nonmonotonic Reasoning

Keywords

About this book

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation