3. LPKR 1997: Port Jefferson, New York, USA

@proceedings{DBLP:conf/lpkr/1997,
  editor    = {J{\"u}rgen Dix and
               Lu\'{\i}s Moniz Pereira and
               Teodor C. Przymusinski},
  title     = {Logic Programming and Knowledge Representation, Third International
               Workshop, LPKR '97, Port Jefferson, New York, USA, October 17,
               1997, Selected Papers},
  booktitle = {LPKR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1471},
  year      = {1998},
  isbn      = {3-540-64958-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

• Gerhard Brewka, Jürgen Dix:
  Knowledge Representation with Logic Programs. 1-51
  Electronic Edition (Springer LINK) BibTeX

Disjunctive Semantics

• Sergio Greco, Nicola Leone, Francesco Scarcello:
  DATALOG with Nested Rules. 52-65
  Electronic Edition (Springer LINK) BibTeX
• Dietmar Seipel:
  Partial Evidential Stable Models for Disjunctive Deductive Databases. 66-84
  Electronic Edition (Springer LINK) BibTeX
• Li-Yan Yuan, Jia-Huai You, Randy Goebel:
  Disjunctive Logic Programming and Autoepistemic Logic. 85-101
  Electronic Edition (Springer LINK) BibTeX

Abduction

• Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
  A System for Abductive Learning of Logic Programs. 102-122
  Electronic Edition (Springer LINK) BibTeX
• Renwei Li, Luís Moniz Pereira, Verónica Dahl:
  Refining Action Theories through Abductive Logic Programming. 123-138
  Electronic Edition (Springer LINK) BibTeX
• Kewen Wang, Huowang Chen:
  Abduction, Argumentation and Bi-Disjunctive Logic Programs. 139-163
  Electronic Edition (Springer LINK) BibTeX

Priorities

• Michael Gelfond, Tran Cao Son:
  Reasoning with Prioritized Defaults. 164-223
  Electronic Edition (Springer LINK) BibTeX

Updates

• João Alexandre Leite, Luís Moniz Pereira:
  Generalizing Updates: From Models to Programs. 224-246
  Electronic Edition (Springer LINK) BibTeX