Skip to main content
Springer Nature Link
Log in

Logic Programming and Knowledge Representation

Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Jürgen Dix
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luís 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 1471)

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

Included in the following conference series:

Conference proceedings info: LPKR 1997.

  • 1115 Accesses

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

About this book

This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997.
The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.

Keywords

Table of contents (9 papers)

  1. Front Matter

    Download chapter PDF

  2. Knowledge representation with logic programs

    • Gerhard Brewka, Jürgen Dix
    Pages 1-51

  3. Datalog with nested rules

    • Sergio Greco, Nicola Leone, Francesco Scarcello
    Pages 52-65

  4. Partial evidential stable models for disjunctive deductive databases

    • Dietmar Seipel
    Pages 66-84

  5. Disjunctive logic programming and autoepistemic logic

    • Li -Yan Yuan, Jia -Huai You, Randy Goebel
    Pages 85-101

  6. A system for abductive learning of logic programs

    • Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
    Pages 102-122

  7. Refining action theories through abductive logic programming

    • Renwei Li, Luis Moniz Pereira, Veronica Dahl
    Pages 123-138

  8. Abduction, argumentation and bi-disjunctive logic programs

    • Kewen Wang, Huowang Chen
    Pages 139-163

  9. Reasoning with prioritized defaults

    • Michael Gelfond, Tran Cao Son
    Pages 164-223

  10. Generalizing updates: From models to programs

    • JoÃo Alexandre Leite, Luís Moniz Pereira
    Pages 224-246
Back to top

Other volumes

  1. Logic Programming and Knowledge Representation

Bibliographic Information

Publish with us

Policies and ethics

Back to top