Logic Programming and Knowledge Representation (Record no. 36192)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02917nam a22005295i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540498728 |
-- | 978-3-540-49872-8 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 006.3 |
245 10 - TITLE STATEMENT | |
Title | Logic Programming and Knowledge Representation |
Sub Title | Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers / |
Statement of responsibility, etc | edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1998. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | XII, 252 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents 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. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial intelligence. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Mathematical Logic and Formal Languages. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Techniques. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Dix, Jürgen. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Pereira, Luís Moniz. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Przymusinski, Teodor C. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/BFb0054787 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1998. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK6898 | http://dx.doi.org/10.1007/BFb0054787 | E-BOOKS |