Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds).
Contributor(s): Dix, J. (Jürgen) | Pereira, Luís Moniz | Przymusinski, Teodor CMaterial type: TextSeries: SerienbezeichnungLecture notes in computer science: 1471.; Lecture notes in computer science: Publisher: Berlin ; New York : Springer, ©1998Description: 1 online resource (viii, 246 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540498728; 3540498729Other title: LPKR '97Subject(s): Logic programming -- Congresses | Knowledge representation (Information theory) -- Congresses | Knowledge representation (Information theory) | Logic programmingGenre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:LPKR'97 (1997 : Port Jefferson, N.Y.): Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papersDDC classification: 005.1/15 LOC classification: QA76.63Online resources: Click here to access online
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes bibliographical references.
Introduction : knowledge representation with logic programs / G. Brewka and J. Dix -- Disjunctive semantics : DATALOG with nested rules / S. Greco, N. Leone, and F. Scarcello -- Partial evidential stable models for disjunctive deductive databases / D. Siepel -- Disjunctive logic programming and autoepsitemic logic / L.-Y. Yuan, J.-H. You, and R. Goebel -- A system for abductive learning of logic programs / E. Lamma [and others] -- Refining action theories through abductive logic programming / R. Li, Moniz Pereira, and V. Dahl -- Abduction, argumentation and bi-disjunctive logic programs / K. Wang and H. Chen -- Reasoning with prioritized defaults / M. Gelfond and T.C. Son -- Generalizing updates : from models to programs / J.A. Leite and L. Moniz Pereira.
Print version record.
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.