عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540649581
(Number (ISBN
9783540649588
NATIONAL BIBLIOGRAPHY NUMBER
Number
b551319
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic Programming and Knowledge Representation.
General Material Designation
[Book]
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer Berlin / Heidelberg
Date of Publication, Distribution, etc.
1998
SERIES
Series Title
Lecture notes in computer science.
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
PARALLEL TITLE PROPER
Parallel Title
Logic Programming and Knowledge Representation (Online)
TOPICAL NAME USED AS SUBJECT
Artificial intelligence.
Computer science.
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
