LEADER 03007nam  22005415  450 
001 996465855603316
005 20200703043602.0
010   $a3-540-49746-3
024 7 $a10.1007/3-540-60941-5
035   $a(CKB)1000000000234420
035   $a(SSID)ssj0000327261
035   $a(PQKBManifestationID)11268696
035   $a(PQKBTitleCode)TC0000327261
035   $a(PQKBWorkID)10298931
035   $a(PQKB)10730428
035   $a(DE-He213)978-3-540-49746-2
035   $a(PPN)155188496
035   $a(EXLCZ)991000000000234420
100   $a20121227d1996      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTime Structures$b[electronic resource] $eFormal Description and Algorithmic Representation /$fby Elzbieta Hajnicz
205   $a1st ed. 1996.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996.
215   $a1 online resource (XI, 249 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1047
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-60941-5 
327   $aDescription of time structures in the first order predicate calculus -- Modal temporal logics and description of time structures -- Temporal reasoning algorithms -- Formalization of the constraint propagation algorithm -- Translations of Allen's calculi into modal temporal logic.
330   $aThe 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.
410  0$aLecture Notes in Artificial Intelligence ;$v1047
606   $aArtificial intelligence
606   $aMathematical logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
676   $a511.3
700   $aHajnicz$b Elzbieta$4aut$4http://id.loc.gov/vocabulary/relators/aut$0548570
906   $aBOOK
912   $a996465855603316
996   $aTime structures$9960941
997   $aUNISA