Qualitative Spatial and Temporal Reasoning. (Record no. 20175)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 06025cam a2200697Mi 4500 |
001 - CONTROL NUMBER | |
control field | ocn828298714 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20220701010911.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
fixed length control field | m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 130223s2013 enkae ob 000 0 eng d |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | EBLCP |
Language of cataloging | eng |
Description conventions | pn |
Transcribing agency | EBLCP |
Modifying agency | N$T |
-- | YDXCP |
-- | DG1 |
-- | UMR |
-- | E7B |
-- | IDEBK |
-- | OCLCF |
-- | OCLCQ |
-- | OCLCO |
-- | DEBSZ |
-- | OCLCQ |
-- | COO |
-- | OCLCQ |
-- | DEBBG |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781118601372 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 1118601378 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781118601457 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 1118601459 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Cancelled/invalid ISBN | 9781848212527 |
029 1# - (OCLC) | |
OCLC library identifier | AU@ |
System control number | 000050718536 |
029 1# - (OCLC) | |
OCLC library identifier | CHBIS |
System control number | 009914541 |
029 1# - (OCLC) | |
OCLC library identifier | CHVBK |
System control number | 175204519 |
029 1# - (OCLC) | |
OCLC library identifier | DEBSZ |
System control number | 431339368 |
029 1# - (OCLC) | |
OCLC library identifier | DKDLA |
System control number | 820120-katalog:000696488 |
029 1# - (OCLC) | |
OCLC library identifier | NZ1 |
System control number | 15916492 |
029 1# - (OCLC) | |
OCLC library identifier | DEBBG |
System control number | BV043395462 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)828298714 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | Q339.25 .L54 2012 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT |
Subject category code subdivision | 016000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT |
Subject category code subdivision | 018000 |
Source | bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 |
049 ## - LOCAL HOLDINGS (OCLC) | |
Holding library | MAIN |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Ligozat, Gérard. |
245 10 - TITLE STATEMENT | |
Title | Qualitative Spatial and Temporal Reasoning. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc | London, UK : |
Name of publisher, distributor, etc | ISTE ; |
Place of publication, distribution, etc | Hoboken, N.J. : |
Name of publisher, distributor, etc | Wiley, |
Date of publication, distribution, etc | 2012. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (xxxi, 505 pages) : |
Other physical details | illustrations |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
588 0# - | |
-- | Print version record. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes bibliographical references. |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Cover; Qualitative Spatial and Temporal Reasoning; Title Page; Copyright Page; Table of Contents; Introduction. Qualitative Reasoning; Chapter 1. Allen's Calculus; 1.1. Introduction; 1.1.1. "The mystery of the dark room"; 1.1.2. Contributions of Allen's formalism; 1.2. Allen's interval relations; 1.2.1. Basic relations; 1.2.2. Disjunctive relations; 1.3. Constraint networks; 1.3.1. Definition; 1.3.2. Expressiveness; 1.3.3. Consistency; 1.4. Constraint propagation; 1.4.1. Operations: inversion and composition; 1.4.2. Composition table; 1.4.3. Allen's algebra; 1.4.4. Algebraic closure. |
505 8# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 1.4.5. Enforcing algebraic closure 1.5. Consistency tests; 1.5.1. The case of atomic networks; 1.5.2. Arbitrary networks; 1.5.3. Determining polynomial subsets; Chapter 2. Polynomial Subclasses of Allen's Algebra; 2.1. "Show me a tractable relation!"; 2.2. Subclasses of Allen's algebra; 2.2.1. A geometrical representation of Allen's relations; 2.2.2. Interpretation in terms of granularity; 2.2.3. Convex and pre-convex relations; 2.2.4. The lattice of Allen's basic relations; 2.2.5. Tractability of convex relations; 2.2.6. Pre-convex relations; 2.2.7. Polynomiality of pre-convex relations. |
505 8# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 2.2.8. ORD-Horn relations 2.3. Maximal tractable subclasses of Allen's algebra; 2.3.1. An alternative characterization of pre-convex relations; 2.3.2. The other maximal polynomial subclasses; 2.4. Using polynomial subclasses; 2.4.1. Ladkin and Reinefeld's algorithm; 2.4.2. Empirical study of the consistency problem; 2.5. Models of Allen's language; 2.5.1. Representations of Allen's algebra; 2.5.2. Representations of the time-point algebra; 2.5.3. [aleph-null] categoricity of Allen's algebra; 2.6. Historical note; Chapter 3. Generalized Intervals; 3.1. "When they built the bridge." |
505 8# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 3.1.1. Towards generalized intervals 3.2. Entities and relations; 3.3. The lattice of basic (p, q)-relations; 3.4. Regions associated with basic (p, q)-relations; 3.4.1. Associated polytopes; 3.4.2. M-convexity of the basic relations; 3.5. Inversion and composition; 3.5.1. Inversion; 3.5.2. Composition; 3.5.3. The algebras of generalized intervals; 3.6. Subclasses of relations: convex and pre-convex relations; 3.6.1. (p, q)-relations; 3.6.2. Convex relations; 3.6.3. Pre-convex relations; 3.7. Constraint networks; 3.8. Tractability of strongly pre-convex relations; 3.8.1. ORD-Horn relations. |
505 8# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 3.9. Conclusions 3.10. Historical note; Chapter 4. Binary Qualitative Formalisms; 4.1. "Night driving"; 4.1.1. Parameters; 4.1.2. A panorama of the presented formalisms; 4.2. Directed points in dimension 1; 4.2.1. Operations; 4.2.2. Constraint networks; 4.2.3. Networks reducible to point networks; 4.2.4. Arbitrary directed point networks; 4.3. Directed intervals; 4.3.1. Operations; 4.3.2. Constraint networks and complexity; 4.4. The OPRA direction calculi; 4.5. Dipole calculi; 4.6. The Cardinal direction calculus; 4.6.1. Convex and pre-convex relations; 4.6.2. Complexity; 4.7. The Rectangle calculus. |
520 ## - SUMMARY, ETC. | |
Summary, etc | Starting with an updated description of Allen's calculus, the book proceeds with a description of the main qualitative calculi which have been developed over the last two decades. It describes the connection of complexity issues to geometric properties. Models of the formalisms are described using the algebraic notion of weak representations of the associated algebras. The book also includes a presentation of fuzzy extensions of qualitative calculi, and a description of the study of complexity in terms of clones of operations. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Qualitative reasoning. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Spatial analysis (Statistics) |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Space and time |
General subdivision | Mathematical models. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Space and time |
General subdivision | Mathematical models. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | MATHEMATICS |
General subdivision | Infinity. |
Source of heading or term | bisacsh |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | MATHEMATICS |
General subdivision | Logic. |
Source of heading or term | bisacsh |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
Source of heading or term | fast |
-- | (OCoLC)fst01002068 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Qualitative reasoning. |
Source of heading or term | fast |
-- | (OCoLC)fst01084939 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Space and time |
General subdivision | Mathematical models. |
Source of heading or term | fast |
-- | (OCoLC)fst01127627 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Spatial analysis (Statistics) |
Source of heading or term | fast |
-- | (OCoLC)fst01128784 |
655 #4 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Print version: |
Main entry heading | Ligozat, Gérard. |
Title | Qualitative spatial and temporal reasoning. |
Place, publisher, and date of publication | London, UK : ISTE ; Hoboken, N.J. : Wiley, 2012 |
International Standard Book Number | 9781848212527 |
Record control number | (DLC) 2011029658 |
-- | (OCoLC)699765430 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="http://dx.doi.org/10.1002/9781118601457">http://dx.doi.org/10.1002/9781118601457</a> |
Public note | Wiley Online Library |
994 ## - | |
-- | 92 |
-- | DG1 |
No items available.