Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567996457> ?p ?o ?g. }
- W1567996457 endingPage "550" @default.
- W1567996457 startingPage "513" @default.
- W1567996457 abstract "Publisher Summary This chapter presents many ways in which temporal phenomena can be modeled, described, reasoned about, and applied. The chapter describes the use of temporal reasoning in artificial intelligence (AI) and presents an alternative logic-based view of temporal logics. . It discusses languages for talking about such temporal representations and their properties; these languages are forms of temporal logic. This chapter discusses the problem of reasoning about descriptions given in these temporal languages and highlights a number of significant techniques. The chapter also outlines the application areas for temporal representation and reasoning. Although quantification in classic first-order logic is typically used to quantify over a particular data domain, the additional aspect of an underlying temporal structure provides a further possibility in temporal logics—that is, the ability to quantify over some aspects of the structure. The term “hybrid logic” is used to refer to logical systems comprising a hybrid of modal/temporal and classic aspects." @default.
- W1567996457 created "2016-06-24" @default.
- W1567996457 creator A5001487424 @default.
- W1567996457 date "2008-01-01" @default.
- W1567996457 modified "2023-09-27" @default.
- W1567996457 title "Chapter 12 Temporal Representation and Reasoning" @default.
- W1567996457 cites W130102441 @default.
- W1567996457 cites W1486653873 @default.
- W1567996457 cites W1491282662 @default.
- W1567996457 cites W1497329491 @default.
- W1567996457 cites W1504216864 @default.
- W1567996457 cites W1520981400 @default.
- W1567996457 cites W1521410408 @default.
- W1567996457 cites W1534873969 @default.
- W1567996457 cites W1566551935 @default.
- W1567996457 cites W1594660938 @default.
- W1567996457 cites W1606950856 @default.
- W1567996457 cites W1669019556 @default.
- W1567996457 cites W1686020995 @default.
- W1567996457 cites W1824565677 @default.
- W1567996457 cites W1885037678 @default.
- W1567996457 cites W1969184283 @default.
- W1567996457 cites W1969550103 @default.
- W1567996457 cites W1970603830 @default.
- W1567996457 cites W1976773489 @default.
- W1567996457 cites W1977441255 @default.
- W1567996457 cites W1978260344 @default.
- W1567996457 cites W1978605527 @default.
- W1567996457 cites W1978654873 @default.
- W1567996457 cites W1980003032 @default.
- W1567996457 cites W1980924813 @default.
- W1567996457 cites W1981808971 @default.
- W1567996457 cites W1986587029 @default.
- W1567996457 cites W1990609140 @default.
- W1567996457 cites W2001859357 @default.
- W1567996457 cites W2003773532 @default.
- W1567996457 cites W2004306067 @default.
- W1567996457 cites W2004463571 @default.
- W1567996457 cites W2007555774 @default.
- W1567996457 cites W2007939755 @default.
- W1567996457 cites W2008276941 @default.
- W1567996457 cites W2008960163 @default.
- W1567996457 cites W2015571575 @default.
- W1567996457 cites W2015640848 @default.
- W1567996457 cites W2015688007 @default.
- W1567996457 cites W2016206563 @default.
- W1567996457 cites W2016280880 @default.
- W1567996457 cites W2017661088 @default.
- W1567996457 cites W2017960715 @default.
- W1567996457 cites W2018216922 @default.
- W1567996457 cites W2018673128 @default.
- W1567996457 cites W2021704447 @default.
- W1567996457 cites W2023251419 @default.
- W1567996457 cites W2023808162 @default.
- W1567996457 cites W2024016985 @default.
- W1567996457 cites W2027456138 @default.
- W1567996457 cites W2039957780 @default.
- W1567996457 cites W2045554431 @default.
- W1567996457 cites W2047294512 @default.
- W1567996457 cites W2048355938 @default.
- W1567996457 cites W2048905609 @default.
- W1567996457 cites W2049351618 @default.
- W1567996457 cites W2053231467 @default.
- W1567996457 cites W2055904049 @default.
- W1567996457 cites W2057007887 @default.
- W1567996457 cites W2057354456 @default.
- W1567996457 cites W2057468158 @default.
- W1567996457 cites W2058840132 @default.
- W1567996457 cites W2060095702 @default.
- W1567996457 cites W2062458205 @default.
- W1567996457 cites W2067441543 @default.
- W1567996457 cites W2072887965 @default.
- W1567996457 cites W2074899782 @default.
- W1567996457 cites W2080267935 @default.
- W1567996457 cites W2081995564 @default.
- W1567996457 cites W2083732130 @default.
- W1567996457 cites W2083987012 @default.
- W1567996457 cites W2086950378 @default.
- W1567996457 cites W2090310951 @default.
- W1567996457 cites W2092486735 @default.
- W1567996457 cites W2092497338 @default.
- W1567996457 cites W2099120582 @default.
- W1567996457 cites W2100738443 @default.
- W1567996457 cites W2101508170 @default.
- W1567996457 cites W2111324752 @default.
- W1567996457 cites W2111581283 @default.
- W1567996457 cites W2112535338 @default.
- W1567996457 cites W2115181241 @default.
- W1567996457 cites W2115309705 @default.
- W1567996457 cites W2117189826 @default.
- W1567996457 cites W2118391576 @default.
- W1567996457 cites W2119709400 @default.
- W1567996457 cites W2122540544 @default.
- W1567996457 cites W2123970780 @default.
- W1567996457 cites W2127464101 @default.
- W1567996457 cites W2128578503 @default.
- W1567996457 cites W2130182605 @default.
- W1567996457 cites W2130773092 @default.