Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009309628> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2009309628 endingPage "613" @default.
- W2009309628 startingPage "585" @default.
- W2009309628 abstract "In this paper, we describe a dense temporal logic programming (DTLP) framework based on infinite binary trees called omega trees . We then look at an important subset of omega trees called ordinal trees that represent only meaningful dense time models. Ordinal trees have the properties of stability and recurrence , which allow them to be represented finitely. The finite representations called ordinal structures can be used as temporal data structures and its nodes can be labelled with formulae, giving us the basis for modeling temporally located information. In this paper, we label ordinal structure nodes with Prolog clauses to get temporal horn clauses that represent temporal facts, rules and queries. Temporal resolution tries to prove temporal queries from a set of temporal facts and rules using a process called aligning which provides the counterpart of the conventional unification algorithm. Aligning restructures ordinal trees to facilitate the transfer of temporal information between them. We present theoretical results to show that aligning is computable, and that the procedures for aligning and resolution are correct." @default.
- W2009309628 created "2016-06-24" @default.
- W2009309628 creator A5055274909 @default.
- W2009309628 creator A5085835194 @default.
- W2009309628 date "1996-11-01" @default.
- W2009309628 modified "2023-10-16" @default.
- W2009309628 title "Dense Time Logic Programming" @default.
- W2009309628 cites W1486653873 @default.
- W2009309628 cites W1497559908 @default.
- W2009309628 cites W1504134701 @default.
- W2009309628 cites W1536786076 @default.
- W2009309628 cites W1556067812 @default.
- W2009309628 cites W1588751014 @default.
- W2009309628 cites W1854014853 @default.
- W2009309628 cites W200661342 @default.
- W2009309628 cites W2008276941 @default.
- W2009309628 cites W2020666986 @default.
- W2009309628 cites W2396555304 @default.
- W2009309628 cites W2612793397 @default.
- W2009309628 cites W2806619258 @default.
- W2009309628 cites W90476980 @default.
- W2009309628 doi "https://doi.org/10.1006/jsco.1996.0067" @default.
- W2009309628 hasPublicationYear "1996" @default.
- W2009309628 type Work @default.
- W2009309628 sameAs 2009309628 @default.
- W2009309628 citedByCount "0" @default.
- W2009309628 crossrefType "journal-article" @default.
- W2009309628 hasAuthorship W2009309628A5055274909 @default.
- W2009309628 hasAuthorship W2009309628A5085835194 @default.
- W2009309628 hasBestOaLocation W20093096281 @default.
- W2009309628 hasConcept C113174947 @default.
- W2009309628 hasConcept C11413529 @default.
- W2009309628 hasConcept C114614502 @default.
- W2009309628 hasConcept C138268822 @default.
- W2009309628 hasConcept C154945302 @default.
- W2009309628 hasConcept C162319229 @default.
- W2009309628 hasConcept C162670838 @default.
- W2009309628 hasConcept C177264268 @default.
- W2009309628 hasConcept C189790780 @default.
- W2009309628 hasConcept C197855036 @default.
- W2009309628 hasConcept C199360897 @default.
- W2009309628 hasConcept C25016198 @default.
- W2009309628 hasConcept C33923547 @default.
- W2009309628 hasConcept C41008148 @default.
- W2009309628 hasConcept C4777664 @default.
- W2009309628 hasConcept C80444323 @default.
- W2009309628 hasConcept C81721847 @default.
- W2009309628 hasConcept C96146094 @default.
- W2009309628 hasConceptScore W2009309628C113174947 @default.
- W2009309628 hasConceptScore W2009309628C11413529 @default.
- W2009309628 hasConceptScore W2009309628C114614502 @default.
- W2009309628 hasConceptScore W2009309628C138268822 @default.
- W2009309628 hasConceptScore W2009309628C154945302 @default.
- W2009309628 hasConceptScore W2009309628C162319229 @default.
- W2009309628 hasConceptScore W2009309628C162670838 @default.
- W2009309628 hasConceptScore W2009309628C177264268 @default.
- W2009309628 hasConceptScore W2009309628C189790780 @default.
- W2009309628 hasConceptScore W2009309628C197855036 @default.
- W2009309628 hasConceptScore W2009309628C199360897 @default.
- W2009309628 hasConceptScore W2009309628C25016198 @default.
- W2009309628 hasConceptScore W2009309628C33923547 @default.
- W2009309628 hasConceptScore W2009309628C41008148 @default.
- W2009309628 hasConceptScore W2009309628C4777664 @default.
- W2009309628 hasConceptScore W2009309628C80444323 @default.
- W2009309628 hasConceptScore W2009309628C81721847 @default.
- W2009309628 hasConceptScore W2009309628C96146094 @default.
- W2009309628 hasIssue "5-6" @default.
- W2009309628 hasLocation W20093096281 @default.
- W2009309628 hasOpenAccess W2009309628 @default.
- W2009309628 hasPrimaryLocation W20093096281 @default.
- W2009309628 hasRelatedWork W1036492 @default.
- W2009309628 hasRelatedWork W1486951200 @default.
- W2009309628 hasRelatedWork W1566397985 @default.
- W2009309628 hasRelatedWork W1586852614 @default.
- W2009309628 hasRelatedWork W1994661594 @default.
- W2009309628 hasRelatedWork W2009309628 @default.
- W2009309628 hasRelatedWork W2117107687 @default.
- W2009309628 hasRelatedWork W24188897 @default.
- W2009309628 hasRelatedWork W253931719 @default.
- W2009309628 hasRelatedWork W4256630848 @default.
- W2009309628 hasVolume "22" @default.
- W2009309628 isParatext "false" @default.
- W2009309628 isRetracted "false" @default.
- W2009309628 magId "2009309628" @default.
- W2009309628 workType "article" @default.