Commonsense reasoning : an event calculus based approach / Erik T. Mueller, IBM Watson Group and IBM Research.

Saved in:
Bibliographic Details
Main Author: Mueller, Erik T. (Author)
Format: Book
Language:English
Published: Waltham, MA : Morgan Kaufmann, an imprint of Elsevier, [2015]
Edition:Second edition.
Subjects:

MARC

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