|
|
|
|
| LEADER |
00000cam a22000004a 4500 |
| 001 |
ocm56416111 |
| 003 |
OCoLC |
| 005 |
20240504213016.0 |
| 006 |
m o d |
| 007 |
cr cnu|||unuuu |
| 008 |
040903s2003 enka ob 001 0 eng d |
| 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
|
| 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
|
| 050 |
|
4 |
|a QA76.76.E95
|b B265 2003eb
|
| 072 |
|
7 |
|a COM
|x 025000
|2 bisacsh
|
| 072 |
|
7 |
|a UAA
|2 bicssc
|
| 049 |
|
|
|a HCDD
|
| 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.
|
| 588 |
0 |
|
|a Print version record.
|
| 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.
|
| 650 |
|
0 |
|a Expert systems (Computer science)
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Knowledge representation (Information theory)
|
| 650 |
|
7 |
|a artificial intelligence.
|2 aat
|
| 650 |
|
7 |
|a COMPUTERS
|x Expert Systems.
|2 bisacsh
|
| 650 |
|
7 |
|a Artificial intelligence
|2 fast
|
| 650 |
|
7 |
|a Expert systems (Computer science)
|2 fast
|
| 650 |
|
7 |
|a Knowledge representation (Information theory)
|2 fast
|
| 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
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=202398
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|