Advertisement

Table of contents

  1. Front Matter
  2. Gerhard Brewka, Jürgen Dix
    Pages 1-51
  3. Sergio Greco, Nicola Leone, Francesco Scarcello
    Pages 52-65
  4. Li -Yan Yuan, Jia -Huai You, Randy Goebel
    Pages 85-101
  5. Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
    Pages 102-122
  6. Renwei Li, Luis Moniz Pereira, Veronica Dahl
    Pages 123-138
  7. Kewen Wang, Huowang Chen
    Pages 139-163
  8. Michael Gelfond, Tran Cao Son
    Pages 164-223
  9. JoÃo Alexandre Leite, Luís Moniz Pereira
    Pages 224-246

About these proceedings

Introduction

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

Argumentation knowledge knowledge representation learning logic logic programming programming semantics

Bibliographic information

  • Book Title Logic Programming and Knowledge Representation
  • Book Subtitle Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
  • Editors Luis Moniz Pereira
    Teodor C. Przymusinski
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/BFb0054787
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-64958-8
  • eBook ISBN 978-3-540-49872-8
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 252
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Computer System Implementation
    Artificial Intelligence
    Mathematical Logic and Formal Languages
    Programming Techniques
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Engineering
Energy, Utilities & Environment
Aerospace