Knowledge representation, reasoning, and declarative problem solving /
Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This unique book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching.
Saved in:
Main Author: | |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Cambridge ; New York :
Cambridge University Press,
2003.
|
Subjects: | |
Online Access: |
Full text (Emmanuel users only) |
MARC
LEADER | 00000cam a22000004a 4500 | ||
---|---|---|---|
001 | in00000277625 | ||
006 | m o d | ||
007 | cr cnu|||unuuu | ||
008 | 040903s2003 enka ob 001 0 eng d | ||
005 | 20240703181415.9 | ||
019 | |a 63181609 |a 133163056 |a 191035709 |a 271786504 |a 488476732 |a 559521279 |a 646721279 |a 776964150 |a 814393497 |a 819634284 |a 824548307 |a 847257311 |a 888541231 |a 961578953 |a 962640924 |a 988434245 |a 992086326 |a 1035654200 |a 1037488732 |a 1037757063 |a 1038667991 |a 1045491052 |a 1067000255 |a 1076303812 |a 1102532737 |a 1153501009 |a 1162546243 |a 1170333596 |a 1170385566 | ||
020 | |a 0511042760 |q (electronic bk.) | ||
020 | |a 9780511042768 |q (electronic bk.) | ||
020 | |a 0511030657 |q (electronic bk. ; |q Adobe Reader) | ||
020 | |a 9780511030659 |q (electronic bk. ; |q Adobe Reader) | ||
020 | |a 9780521818025 | ||
020 | |a 0521818028 | ||
020 | |a 0511054513 | ||
020 | |a 9780511054518 | ||
020 | |a 9780511543357 |q (ebook) | ||
020 | |a 0511543352 |q (ebook) | ||
020 | |a 1280434481 | ||
020 | |a 9781280434488 | ||
020 | |a 1107135184 | ||
020 | |a 9781107135185 | ||
020 | |a 9786610434480 | ||
020 | |a 6610434484 | ||
020 | |a 0511178964 | ||
020 | |a 9780511178962 | ||
020 | |a 0511148917 | ||
020 | |a 9780511148910 | ||
020 | |a 0511306105 | ||
020 | |a 9780511306105 | ||
020 | |a 9780521147750 |q (paperback) | ||
020 | |a 0521147751 | ||
035 | |a (OCoLC)56416111 |z (OCoLC)63181609 |z (OCoLC)133163056 |z (OCoLC)191035709 |z (OCoLC)271786504 |z (OCoLC)488476732 |z (OCoLC)559521279 |z (OCoLC)646721279 |z (OCoLC)776964150 |z (OCoLC)814393497 |z (OCoLC)819634284 |z (OCoLC)824548307 |z (OCoLC)847257311 |z (OCoLC)888541231 |z (OCoLC)961578953 |z (OCoLC)962640924 |z (OCoLC)988434245 |z (OCoLC)992086326 |z (OCoLC)1035654200 |z (OCoLC)1037488732 |z (OCoLC)1037757063 |z (OCoLC)1038667991 |z (OCoLC)1045491052 |z (OCoLC)1067000255 |z (OCoLC)1076303812 |z (OCoLC)1102532737 |z (OCoLC)1153501009 |z (OCoLC)1162546243 |z (OCoLC)1170333596 |z (OCoLC)1170385566 | ||
037 | |b OverDrive, Inc. |n http://www.overdrive.com | ||
037 | |a AB2D3258-6FB1-4F71-B012-340A439082DF |b OverDrive, Inc. |n http://www.overdrive.com | ||
040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d DST |d OCLCQ |d TUU |d OCLCQ |d MERUC |d CCO |d E7B |d TEFOD |d COCUF |d YDXCP |d AU@ |d DKDLA |d MHW |d IDEBK |d EBLCP |d OCLCQ |d OCLCF |d DEBSZ |d OCLCQ |d NLGGC |d OCLCQ |d AUD |d TEFOD |d OCLCQ |d AZK |d AGLDB |d CNNOR |d MOR |d PIFBR |d ZCU |d OCLCQ |d WY@ |d U3W |d LUE |d UAB |d INARC |d STF |d BRL |d WRM |d JBG |d OCLCQ |d VTS |d NRAMU |d ICG |d INT |d OCLCQ |d REC |d A6Q |d OCLCQ |d G3B |d DKC |d OCLCQ |d OL$ |d OCLCQ |d K6U |d UKCRE |d VLY |d UKAHL |d LUN |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SFB | ||
050 | 4 | |a QA76.76.E95 |b B265 2003eb | |
072 | 7 | |a COM |x 025000 |2 bisacsh | |
072 | 7 | |a UAA |2 bicssc | |
082 | 0 | 4 | |a 006.3/3 |2 22 |
100 | 1 | |a Baral, Chitta. | |
245 | 1 | 0 | |a Knowledge representation, reasoning, and declarative problem solving / |c Chitta Baral. |
260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2003. | ||
300 | |a 1 online resource (xiv, 530 pages) : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a data file | ||
504 | |a Includes bibliographical references (pages 498-518) and index. | ||
505 | 0 | |a Cover; Half-title; Title; Copyright; Contents; Preface; Chapter 1 Declarative programming in AnsProlog*: introduction and preliminaries; Chapter 2 Simple modules for declarative programming with answer sets; Chapter 3 Principles and properties of declarative programming with answer sets; Chapter 4 Declarative problem solving and reasoning in AnsProlog*; Chapter 5 Reasoning about actions and planning in AnsProlog*; Chapter 6 Complexity, expressiveness, and other properties of AnsProlog* programs; Chapter 7 Answer set computing algorithms. | |
520 | |a Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This unique book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching. | ||
546 | |a English. | ||
588 | 0 | |a Print version record. | |
650 | 0 | |a Expert systems (Computer science) | |
650 | 0 | |a Artificial intelligence. | |
650 | 0 | |a Knowledge representation (Information theory) | |
650 | 2 | |a Expert Systems | |
650 | 2 | |a Artificial Intelligence | |
655 | 0 | |a Electronic books. | |
758 | |i has work: |a Knowledge representation, reasoning, and declarative problem solving (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG6D3C4T48HBW6MfkjmFBq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
776 | 0 | 8 | |i Print version: |a Baral, Chitta. |t Knowledge representation, reasoning, and declarative problem solving. |d Cambridge ; New York : Cambridge University Press, 2003 |z 0521818028 |w (DLC) 2002025622 |w (OCoLC)49384091 |
852 | |b Online |h ProQuest | ||
856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/emmanuel/detail.action?docID=202398 |z Full text (Emmanuel users only) |t 0 |
938 | |a Askews and Holts Library Services |b ASKH |n AH13422913 | ||
938 | |a Askews and Holts Library Services |b ASKH |n AH37545352 | ||
938 | |a EBL - Ebook Library |b EBLB |n EBL202398 | ||
938 | |a ebrary |b EBRY |n ebr10064622 | ||
938 | |a EBSCOhost |b EBSC |n 112695 | ||
938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 43448 | ||
938 | |a Internet Archive |b INAR |n knowledgereprese00bara | ||
938 | |a YBP Library Services |b YANK |n 2617664 | ||
938 | |a YBP Library Services |b YANK |n 3275912 | ||
938 | |a YBP Library Services |b YANK |n 2300819 | ||
938 | |a YBP Library Services |b YANK |n 2826032 | ||
947 | |a FLO |x pq-ebc-base | ||
999 | f | f | |s c697a31c-f42c-41d8-8933-0626f736eb0d |i 2f4b9965-1f42-4a3e-a7a3-e6b1be27c16c |t 0 |
952 | f | f | |a Emmanuel College |b Main Campus |c Emmanuel College Library |d Online |t 0 |e ProQuest |h Other scheme |
856 | 4 | 0 | |t 0 |u https://ebookcentral.proquest.com/lib/emmanuel/detail.action?docID=202398 |y Full text (Emmanuel users only) |