1 option
Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / edited by Luis Moniz Pereira, Teodor C. Przymusinski.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 1471.
- Lecture Notes in Artificial Intelligence ; 1471
- Language:
- English
- Subjects (All):
- Computer architecture.
- Artificial intelligence.
- Logic, Symbolic and mathematical.
- Computer programming.
- Computer System Implementation.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Local Subjects:
- Computer System Implementation.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Physical Description:
- 1 online resource (XII, 252 pages).
- Edition:
- First edition 1998.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- Knowledge representation with logic programs
- Datalog with nested rules
- Partial evidential stable models for disjunctive deductive databases
- Disjunctive logic programming and autoepistemic logic
- A system for abductive learning of logic programs
- Refining action theories through abductive logic programming
- Abduction, argumentation and bi-disjunctive logic programs
- Reasoning with prioritized defaults
- Generalizing updates: From models to programs.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-49872-8
- 9783540498728
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.