Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386989781> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4386989781 endingPage "795" @default.
- W4386989781 startingPage "787" @default.
- W4386989781 abstract "Extensions of Answer Set Programming with language constructs from temporal logics, such as temporal equilibrium logic over finite traces ( $$text {TEL}_{!f}$$ ), provide an expressive computational framework for modeling dynamic applications. In this paper, we study the so-called past-present syntactic subclass, which consists of a set of logic programming rules whose body references to the past and head to the present. Such restriction ensures that the past remains independent of the future, which is the case in most dynamic domains. We extend the definitions of completion and loop formulas to the case of past-present formulas, which allows for capturing the temporal stable models of past-present temporal programs by means of an $$text {LTL}_{!f}$$ expression." @default.
- W4386989781 created "2023-09-24" @default.
- W4386989781 creator A5028323744 @default.
- W4386989781 creator A5032071461 @default.
- W4386989781 creator A5058467603 @default.
- W4386989781 creator A5072597602 @default.
- W4386989781 date "2023-01-01" @default.
- W4386989781 modified "2023-10-18" @default.
- W4386989781 title "Past-Present Temporal Programs over Finite Traces" @default.
- W4386989781 cites W1501758783 @default.
- W4386989781 cites W1509545351 @default.
- W4386989781 cites W1549122259 @default.
- W4386989781 cites W1601726121 @default.
- W4386989781 cites W1612453857 @default.
- W4386989781 cites W1766332311 @default.
- W4386989781 cites W2023808162 @default.
- W4386989781 cites W2091138122 @default.
- W4386989781 cites W2127575089 @default.
- W4386989781 cites W2144198727 @default.
- W4386989781 cites W2158059231 @default.
- W4386989781 cites W2545777596 @default.
- W4386989781 cites W2946498291 @default.
- W4386989781 cites W2963254488 @default.
- W4386989781 cites W4200004216 @default.
- W4386989781 doi "https://doi.org/10.1007/978-3-031-43619-2_53" @default.
- W4386989781 hasPublicationYear "2023" @default.
- W4386989781 type Work @default.
- W4386989781 citedByCount "0" @default.
- W4386989781 crossrefType "book-chapter" @default.
- W4386989781 hasAuthorship W4386989781A5028323744 @default.
- W4386989781 hasAuthorship W4386989781A5032071461 @default.
- W4386989781 hasAuthorship W4386989781A5058467603 @default.
- W4386989781 hasAuthorship W4386989781A5072597602 @default.
- W4386989781 hasConcept C11413529 @default.
- W4386989781 hasConcept C128838566 @default.
- W4386989781 hasConcept C177264268 @default.
- W4386989781 hasConcept C199360897 @default.
- W4386989781 hasConcept C25016198 @default.
- W4386989781 hasConcept C37404715 @default.
- W4386989781 hasConcept C41008148 @default.
- W4386989781 hasConcept C4777664 @default.
- W4386989781 hasConcept C80444323 @default.
- W4386989781 hasConceptScore W4386989781C11413529 @default.
- W4386989781 hasConceptScore W4386989781C128838566 @default.
- W4386989781 hasConceptScore W4386989781C177264268 @default.
- W4386989781 hasConceptScore W4386989781C199360897 @default.
- W4386989781 hasConceptScore W4386989781C25016198 @default.
- W4386989781 hasConceptScore W4386989781C37404715 @default.
- W4386989781 hasConceptScore W4386989781C41008148 @default.
- W4386989781 hasConceptScore W4386989781C4777664 @default.
- W4386989781 hasConceptScore W4386989781C80444323 @default.
- W4386989781 hasLocation W43869897811 @default.
- W4386989781 hasOpenAccess W4386989781 @default.
- W4386989781 hasPrimaryLocation W43869897811 @default.
- W4386989781 hasRelatedWork W1031601050 @default.
- W4386989781 hasRelatedWork W1546948343 @default.
- W4386989781 hasRelatedWork W2099776859 @default.
- W4386989781 hasRelatedWork W2117107687 @default.
- W4386989781 hasRelatedWork W253931719 @default.
- W4386989781 hasRelatedWork W2560930356 @default.
- W4386989781 hasRelatedWork W2931443989 @default.
- W4386989781 hasRelatedWork W3005541213 @default.
- W4386989781 hasRelatedWork W31428940 @default.
- W4386989781 hasRelatedWork W4287867357 @default.
- W4386989781 isParatext "false" @default.
- W4386989781 isRetracted "false" @default.
- W4386989781 workType "book-chapter" @default.