Ebook: Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

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.

---

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.

---

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.
Content:
Front Matter....Pages -
Knowledge representation with logic programs....Pages 1-51
Datalog with nested rules....Pages 52-65
Partial evidential stable models for disjunctive deductive databases....Pages 66-84
Disjunctive logic programming and autoepistemic logic....Pages 85-101
A system for abductive learning of logic programs....Pages 102-122
Refining action theories through abductive logic programming....Pages 123-138
Abduction, argumentation and bi-disjunctive logic programs....Pages 139-163
Reasoning with prioritized defaults....Pages 164-223
Generalizing updates: From models to programs....Pages 224-246

---

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.
Content:
Front Matter....Pages -
Knowledge representation with logic programs....Pages 1-51
Datalog with nested rules....Pages 52-65
Partial evidential stable models for disjunctive deductive databases....Pages 66-84
Disjunctive logic programming and autoepistemic logic....Pages 85-101
A system for abductive learning of logic programs....Pages 102-122
Refining action theories through abductive logic programming....Pages 123-138
Abduction, argumentation and bi-disjunctive logic programs....Pages 139-163
Reasoning with prioritized defaults....Pages 164-223
Generalizing updates: From models to programs....Pages 224-246
....