IST Austria Library

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).

By: LPKR'97 (1997 : Port Jefferson, N.Y.)
Contributor(s): Dix, J. (Jürgen), 1961- | Pereira, Luís Moniz | Przymusinski, Teodor C, 1947-
Material type: TextTextSeries: 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
Contents:
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.
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

 EBook Available
Total holds: 0

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.

There are no comments for this item.

to post a comment.

Powered by Koha