|
|
|
|
LEADER |
00000cam a2200000 i 4500 |
001 |
b8567181 |
003 |
CoU |
005 |
20160527040557.9 |
008 |
140731s2015 mau b 001 0 eng |
010 |
|
|
|a 2014029954
|
019 |
|
|
|a 885225014
|
020 |
|
|
|a 9780128014165
|
020 |
|
|
|a 0128014164
|
035 |
|
|
|a (OCoLC)ocn885092730
|
035 |
|
|
|a (OCoLC)885092730
|
040 |
|
|
|a DLC
|b eng
|e rda
|c DLC
|d YDX
|d YDXCP
|d BTCTA
|d IUL
|d CDX
|d OCLCQ
|
042 |
|
|
|a pcc
|
049 |
|
|
|a CODA
|
050 |
0 |
0 |
|a Q338.85
|b .M84 2015
|
100 |
1 |
|
|a Mueller, Erik T.,
|e author.
|0 http://id.loc.gov/authorities/names/n88258674
|1 http://isni.org/isni/0000000038626827.
|
245 |
1 |
0 |
|a Commonsense reasoning :
|b an event calculus based approach /
|c Erik T. Mueller, IBM Watson Group and IBM Research.
|
250 |
|
|
|a Second edition.
|
264 |
|
1 |
|a Waltham, MA :
|b Morgan Kaufmann, an imprint of Elsevier,
|c [2015]
|
300 |
|
|
|a xxxiii, 482 pages ;
|c 24 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent.
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia.
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier.
|
504 |
|
|
|a Includes bibliographical references (pages 429-463) and indexes.
|
505 |
0 |
|
|a Chapter 1. Introduction -- Part I. Foundations: Chapter 2. The Event Calculus -- Part II. Commonsense Phenomena: Chapter 3. The Effects of Events; Chapter 4. The Triggering of Events; Chapter 5. The Commonsense Law of Inertia; Chapter 6. Indirect Effects of Events; Chapter 7. Continuous Change; Chapter 8. Concurrent Events; Chapter 9. Nondeterministic Effects of Events -- Part III. Commonsense Domains: Chapter 10. Space; Chapter 11. The Mental States of Agents -- Part IV. Default Reasoning: Chapter 12. Default Reasoning -- Part V. Programs and Applications: Chapter 13. The Discrete Event Calculus Reasoner; Chapter 14. Applications; Chapter 15. Commonsense Reasoning Using Answer Set Programming -- Part VI. Logical and Nonlogical Methods: Chapter 16. Logics for Commonsense Reasoning; Chapter 17. Nonlogical Methods for Commonsense Reasoning; Chapter 18. Commonsense Reasoning Using Unstructured Information --Part VII. Knowledge Acquisition: Chapter 19. Acquisition of Commonsense Knowledge -- Part VIII. Conclusion: Chapter 20. Conclusion -- Part IX. Appendices.
|
650 |
|
0 |
|a Commonsense reasoning
|x Automation.
|
650 |
|
0 |
|a Artificial intelligence
|x Mathematics.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Data processing.
|
907 |
|
|
|a .b85671812
|b 09-08-21
|c 04-01-16
|
998 |
|
|
|a eng
|b 08-12-21
|c -
|d m
|e -
|f eng
|g mau
|h 0
|i 1
|
907 |
|
|
|a .b85671812
|b 08-12-21
|c 04-01-16
|
944 |
|
|
|a MARS - RDA ENRICHED
|
999 |
f |
f |
|i c9e1801a-75dd-576a-9d44-4daa4983f73b
|s fe4ebbcf-1d0b-5856-bda0-717c220ede18
|
952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Engineering Math & Physics
|d Closed Stacks - Engineering Math & Physics Library - Stacks
|e Q338.85 .M84 2015
|h Library of Congress classification
|i book
|m U183072072552
|n 1
|