Springer Book Archives: eBooks only 8.99 each! Save now >>

Lecture Notes in Artificial Intelligence
cover

Time Structures

Formal Description and Algorithmic Representation

Authors: Hajnicz, Elzbieta

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49746-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-60941-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. To make this relationship complete, a formalisation of Allen's famous algorithm, applicable to various structures of time, is presented along with its translation to modal logics. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures.

Table of contents (6 chapters)

Table of contents (6 chapters)
  • Introduction

    Pages 1-20

  • Description of time structures in the first order predicate calculus

    Pages 21-60

  • Modal temporal logics and description of time structures

    Pages 61-106

  • Temporal reasoning algorithms

    Pages 107-165

  • Formalization of the constraint propagation algorithm

    Pages 167-197

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49746-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-60941-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Time Structures
Book Subtitle
Formal Description and Algorithmic Representation
Authors
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1047
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49746-2
DOI
10.1007/3-540-60941-5
Softcover ISBN
978-3-540-60941-4
Edition Number
1
Number of Pages
XI, 249
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.