FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W181279230> ?p ?o ?g. }

• W181279230 endingPage "243" @default.
• W181279230 startingPage "215" @default.
• W181279230 abstract "We investigate the semantics of a considerable subset of Temporal Annotated Constraint Logic Programming (TACLP), a class of languages that allows us to reason about qualitative and quantitative, definite and indefinite temporal information using time points and time periods as labels for atoms.After illustrating the power of TACLP with some non-trivial examples, TACLP is given two different kinds of semantics, an operational one based on meta-logic (top-down semantics) and, for the first time, a fixpoint one based on an immediate consequence operator (bottom-up semantics). We prove the top-down semantics to be sound and complete with respect to the bottom-up semantics." @default.
• W181279230 created "2016-06-24" @default.
• W181279230 creator A5015243193 @default.
• W181279230 creator A5032517478 @default.
• W181279230 date "2000-01-01" @default.
• W181279230 modified "2023-10-17" @default.
• W181279230 title "Semantics for Temporal Annotated Constraint Logic Programming" @default.
• W181279230 cites W1488267121 @default.
• W181279230 cites W1577536563 @default.
• W181279230 cites W1589232796 @default.
• W181279230 cites W1849529882 @default.
• W181279230 cites W1977441255 @default.
• W181279230 cites W2008276941 @default.
• W181279230 cites W2063727779 @default.
• W181279230 cites W2066992739 @default.
• W181279230 cites W2086240210 @default.
• W181279230 cites W2092514393 @default.
• W181279230 cites W2122540544 @default.
• W181279230 cites W2153903356 @default.
• W181279230 cites W4211046312 @default.
• W181279230 cites W4213219346 @default.
• W181279230 cites W4237455021 @default.
• W181279230 doi "https://doi.org/10.1007/978-94-011-4040-9_9" @default.
• W181279230 hasPublicationYear "2000" @default.
• W181279230 type Work @default.
• W181279230 sameAs 181279230 @default.
• W181279230 citedByCount "4" @default.
• W181279230 crossrefType "book-chapter" @default.
• W181279230 hasAuthorship W181279230A5015243193 @default.
• W181279230 hasAuthorship W181279230A5032517478 @default.
• W181279230 hasBestOaLocation W1812792302 @default.
• W181279230 hasConcept C104317684 @default.
• W181279230 hasConcept C11413529 @default.
• W181279230 hasConcept C127001435 @default.
• W181279230 hasConcept C128838566 @default.
• W181279230 hasConcept C134306372 @default.
• W181279230 hasConcept C154945302 @default.
• W181279230 hasConcept C156325763 @default.
• W181279230 hasConcept C158448853 @default.
• W181279230 hasConcept C17020691 @default.
• W181279230 hasConcept C176783269 @default.
• W181279230 hasConcept C184337299 @default.
• W181279230 hasConcept C185592680 @default.
• W181279230 hasConcept C195818886 @default.
• W181279230 hasConcept C199360897 @default.
• W181279230 hasConcept C207648694 @default.
• W181279230 hasConcept C25016198 @default.
• W181279230 hasConcept C2524010 @default.
• W181279230 hasConcept C2776036281 @default.
• W181279230 hasConcept C2777212361 @default.
• W181279230 hasConcept C33923547 @default.
• W181279230 hasConcept C41008148 @default.
• W181279230 hasConcept C44616089 @default.
• W181279230 hasConcept C49937458 @default.
• W181279230 hasConcept C55493867 @default.
• W181279230 hasConcept C58041814 @default.
• W181279230 hasConcept C61445026 @default.
• W181279230 hasConcept C80444323 @default.
• W181279230 hasConcept C86339819 @default.
• W181279230 hasConcept C89497691 @default.
• W181279230 hasConceptScore W181279230C104317684 @default.
• W181279230 hasConceptScore W181279230C11413529 @default.
• W181279230 hasConceptScore W181279230C127001435 @default.
• W181279230 hasConceptScore W181279230C128838566 @default.
• W181279230 hasConceptScore W181279230C134306372 @default.
• W181279230 hasConceptScore W181279230C154945302 @default.
• W181279230 hasConceptScore W181279230C156325763 @default.
• W181279230 hasConceptScore W181279230C158448853 @default.
• W181279230 hasConceptScore W181279230C17020691 @default.
• W181279230 hasConceptScore W181279230C176783269 @default.
• W181279230 hasConceptScore W181279230C184337299 @default.
• W181279230 hasConceptScore W181279230C185592680 @default.
• W181279230 hasConceptScore W181279230C195818886 @default.
• W181279230 hasConceptScore W181279230C199360897 @default.
• W181279230 hasConceptScore W181279230C207648694 @default.
• W181279230 hasConceptScore W181279230C25016198 @default.
• W181279230 hasConceptScore W181279230C2524010 @default.
• W181279230 hasConceptScore W181279230C2776036281 @default.
• W181279230 hasConceptScore W181279230C2777212361 @default.
• W181279230 hasConceptScore W181279230C33923547 @default.
• W181279230 hasConceptScore W181279230C41008148 @default.
• W181279230 hasConceptScore W181279230C44616089 @default.
• W181279230 hasConceptScore W181279230C49937458 @default.
• W181279230 hasConceptScore W181279230C55493867 @default.
• W181279230 hasConceptScore W181279230C58041814 @default.
• W181279230 hasConceptScore W181279230C61445026 @default.
• W181279230 hasConceptScore W181279230C80444323 @default.
• W181279230 hasConceptScore W181279230C86339819 @default.
• W181279230 hasConceptScore W181279230C89497691 @default.
• W181279230 hasLocation W1812792301 @default.
• W181279230 hasLocation W1812792302 @default.
• W181279230 hasOpenAccess W181279230 @default.
• W181279230 hasPrimaryLocation W1812792301 @default.
• W181279230 hasRelatedWork W152927470 @default.
• W181279230 hasRelatedWork W1578725873 @default.
• W181279230 hasRelatedWork W1605891696 @default.
• W181279230 hasRelatedWork W1607238569 @default.
• W181279230 hasRelatedWork W1970571555 @default.

• next