000 -LEADER |
fixed length control field |
05969nam a2200733 i 4500 |
001 - CONTROL NUMBER |
control field |
6813742 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
IEEE |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200413152913.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
fixed length control field |
m eo d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cn |||m|||a |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
140314s2014 caua foab 000 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Canceled/invalid ISBN |
9781608459674 |
Qualifying information |
paperback |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781608459681 |
Qualifying information |
ebook |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.2200/S00557ED1V01Y201312AIM026 |
Source of number or code |
doi |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(CaBNVSL)swl00403210 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)873082078 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
CaBNVSL |
Language of cataloging |
eng |
Description conventions |
rda |
Transcribing agency |
CaBNVSL |
Modifying agency |
CaBNVSL |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
Q340 |
Item number |
.B275 2014 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
006.3 |
Edition number |
23 |
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) |
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) |
|
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) |
MoCl |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Barták, Roman., |
Relator term |
author. |
245 13 - TITLE STATEMENT |
Title |
An introduction to constraint-based temporal reasoning / |
Statement of responsibility, etc. |
Roman Barták, Robert A. Morris, K. Brent Venable. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : |
Name of producer, publisher, distributor, manufacturer |
Morgan & Claypool, |
Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 PDF (xiii, 107 pages) : |
Other physical details |
illustrations. |
336 ## - CONTENT TYPE |
Content type term |
text |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
electronic |
Source |
isbdmedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Source |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
Synthesis lectures on artificial intelligence and machine learning, |
International Standard Serial Number |
1939-4616 ; |
Volume/sequential designation |
# 26 |
538 ## - SYSTEM DETAILS NOTE |
System details note |
System requirements: Adobe Acrobat Reader. |
538 ## - SYSTEM DETAILS NOTE |
System details note |
Mode of access: World Wide Web. |
500 ## - GENERAL NOTE |
General note |
Part of: Synthesis digital library of engineering and computer science. |
500 ## - GENERAL NOTE |
General note |
Series from website. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references (pages 95-105). |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Bibliography -- Authors' biographies. |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
4. Applications of temporal reasoning -- 4.1 Introduction -- 4.2 Activity planning -- 4.2.1 Constraint-based planning -- 4.2.2 Example plan -- 4.2.3 Fixed vs. flexible plans -- 4.3 Autonomous execution for space exploration systems -- 4.3.1 Remote agent executive -- 4.3.2 Reactive model-based programming language (RMPL) -- 4.4 Extracting temporal information from data -- 4.4.1 Real time situation recognition/monitoring -- 4.4.2 3D reconstructions of image data -- 4.4.3 Detecting temporal patterns in large medical data sets -- 4.4.4 Temporal information extraction from natural language text -- 4.5 Summary -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
3. Extensions: preferences and uncertainty -- 3.1 Preferences -- 3.1.1 Preferences in qualitative frameworks -- 3.1.2 Preferences in quantitative frameworks -- 3.1.3 Simple temporal problems with preferences (STPPs) -- 3.1.4 Other extensions -- 3.2 Uncertainty -- 3.2.1 Simple temporal problems with uncertainty -- 3.2.2 Controllability -- 3.2.3 Conditional temporal problems -- 3.2.4 Conditional simple temporal networks with uncertainty -- 3.3 Combining preferences and uncertainty -- 3.3.1 Simple temporal problems with preferences and uncertainty -- 3.3.2 Conditional temporal problems with preferences -- 3.4 Summary -- |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
2. Temporal frameworks based on constraints -- 2.1 Qualitative temporal frameworks -- 2.1.1 Point algebra -- 2.1.2 Interval algebra -- 2.1.3 Tractability of specific interval algebras and relation to the point algebra -- 2.1.4 Historical context -- 2.2 Quantitative temporal frameworks -- 2.2.1 Simple temporal problems -- 2.2.2 Temporal constraint satisfaction problems -- 2.2.3 Disjunctive temporal problems -- 2.2.4 Temporal networks with alternatives -- 2.2.5 Historical context -- 2.3 Relations between qualitative and quantitative frameworks -- 2.4 Summary -- |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
1. Introduction to time in AI systems -- 1.1 The rise of time management: planning and scheduling -- 1.2 Logical and mathematical formulations -- 1.2.1 Mathematical formulations -- 1.2.2 Logical and philosophical frameworks -- 1.2.3 Origins of time in AI systems -- 1.3 Time granularity -- 1.4 Time and agent architectures -- 1.4.1 Example -- 1.4.2 Overview of remainder of book -- |
506 1# - RESTRICTIONS ON ACCESS NOTE |
Terms governing access |
Abstract freely available; full-text restricted to subscribers or individual document purchasers. |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Google book search |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
INSPEC |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Google scholar |
510 0# - CITATION/REFERENCES NOTE |
Name of source |
Compendex |
520 3# - SUMMARY, ETC. |
Summary, etc. |
Solving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the inception of the field. This book provides a concise introduction to the core computational elements of temporal reasoning for use in AI systems for planning and scheduling, as well as systems that extract temporal information from data. It presents a survey of temporal frameworks based on constraints, both qualitative and quantitative, as well as of major temporal consistency techniques. The book also introduces the reader to more recent extensions to the core model that allow AI systems to explicitly represent temporal preferences and temporal uncertainty. This book is intended for students and researchers interested in constraint-based temporal reasoning. It provides a self-contained guide to the different representations of time, as well as examples of recent applications of time in AI systems. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
Additional physical form available note |
Also available in print. |
588 ## - SOURCE OF DESCRIPTION NOTE |
Source of description note |
Title from PDF title page (viewed on March 14, 2014). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Constraints (Artificial intelligence) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Scheduling |
General subdivision |
Data processing. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Time |
General subdivision |
Data processing. |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
temporal reasoning |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
constraints |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
scheduling |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
planning |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
uncertainty |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
preferences |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
applications of temporal reasoning |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Morris, Robert A., |
Relator term |
author. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Venable, Kristen Brent., |
Relator term |
author. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Print version: |
International Standard Book Number |
9781608459674 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Synthesis digital library of engineering and computer science. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Synthesis lectures on artificial intelligence and machine learning ; |
Volume/sequential designation |
# 26. |
International Standard Serial Number |
1939-4616 |
856 42 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Abstract with links to resource |
Uniform Resource Identifier |
http://ieeexplore.ieee.org/servlet/opac?bknumber=6813742 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Abstract with links to full text |
Uniform Resource Identifier |
http://dx.doi.org/10.2200/S00557ED1V01Y201312AIM026 |