MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02113cam a2200325 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
17825948 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220210070117.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
130725s2014 nyua b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2013029651 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781107029569 |
| Qualifying information |
hardback |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Transcribing agency |
DLC |
| Description conventions |
rda |
| Modifying agency |
EG-CaTKH |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.I58 |
| Item number |
G45 2014 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 GE.K 2014 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gelfond, Michael, |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Knowledge representation, reasoning, and the design of intelligent agents : |
| Remainder of title |
the answer-set programming approach / |
| Statement of responsibility, etc. |
Michael Gelfond, Yulia Kahl. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
New York : |
| Name of producer, publisher, distributor, manufacturer |
Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiv, 348 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
24 cm. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Media type code |
n |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Carrier type code |
nc |
| Source |
rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references (pages 331-341) and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation.-- $c Provided by Publisher. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Intelligent agents (Computer software) |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kahl, Yulia, |
| Dates associated with a name |
1970- |
| Relator term |
author. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Books |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| Cataloger's name |
huda.mahmoud |
| Cataloging process |
M |
| First Date, FD (RLIN) |
2022029 |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
orignew |
| d |
1 |
| e |
ecip |
| f |
20 |
| g |
y-gencatlg |
