Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008028582/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b11142089.
- catalog contributor b11142090.
- catalog contributor b11142091.
- catalog contributor b11142092.
- catalog created "c1998.".
- catalog date "1998".
- catalog date "c1998.".
- catalog dateCopyrighted "c1998.".
- catalog description "Includes bibliographical references.".
- catalog description "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.".
- catalog description "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.".
- catalog extent "viii, 246 p. :".
- catalog identifier "3540649581 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1471. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1471.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1998".
- catalog issued "c1998.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/15 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Knowledge representation (Information theory) Congresses.".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.63 .L737 1997".
- catalog tableOfContents "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.".
- catalog title "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).".
- catalog type "Conference proceedings. fast".
- catalog type "New York (NY, 1997) swd".
- catalog type "New York (NY, 1998) swd".
- catalog type "text".