Read Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047)

Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047)

E. Hajnicz

4.9/5 (27797 ratings)

Description: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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047). To get started finding Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 3540609415

Description: 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047). To get started finding Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047)

Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science, 1047)

More Books

Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Elzbieta Hajnicz (2008-06-13)

Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Elzbieta Hajnicz (2008-06-13)

[(Time Structures: Formal Description and Algorithmic Representation )] [Author: Elzbieta Hajnicz] [Jun-1996]

[(Time Structures: Formal Description and Algorithmic Representation )] [Author: Elzbieta Hajnicz] [Jun-1996]

Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Elzbieta Hajnicz (1996-03-20)

Time Structures: Formal Description and Algorithmic Representation (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Elzbieta Hajnicz (1996-03-20)