Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380905279> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4380905279 endingPage "209" @default.
- W4380905279 startingPage "197" @default.
- W4380905279 abstract "Dynamic Logic Programming (DLP) is an extension to logic programming designed to support the representation of knowledge about dynamic worlds. It combines the strengths of safe, stratified, side-effect-free logic programming in defining relations with the power of simultaneous transition rules for defining dynamic operations. Because relation definitions in DLP are safe and stratified and side-effect-free, dynamic logic programs are simpler than general Prolog programs and they allow for efficient implementation. At the same time, defining operations using simultaneous transition rules adds expressive power without compromising the conceptual simplicity of logic programming. DLP is the basis for the logic programming language Epilog (aka Dynamic Prolog) [10]." @default.
- W4380905279 created "2023-06-17" @default.
- W4380905279 creator A5014045303 @default.
- W4380905279 date "2023-01-01" @default.
- W4380905279 modified "2023-09-25" @default.
- W4380905279 title "Dynamic Logic Programming" @default.
- W4380905279 cites W1497420090 @default.
- W4380905279 cites W1540582158 @default.
- W4380905279 cites W2003688200 @default.
- W4380905279 cites W2011306767 @default.
- W4380905279 cites W2140627810 @default.
- W4380905279 cites W2963711700 @default.
- W4380905279 cites W3006564246 @default.
- W4380905279 cites W4234159174 @default.
- W4380905279 cites W4239852057 @default.
- W4380905279 doi "https://doi.org/10.1007/978-3-031-35254-6_16" @default.
- W4380905279 hasPublicationYear "2023" @default.
- W4380905279 type Work @default.
- W4380905279 citedByCount "1" @default.
- W4380905279 countsByYear W43809052792023 @default.
- W4380905279 crossrefType "book-chapter" @default.
- W4380905279 hasAuthorship W4380905279A5014045303 @default.
- W4380905279 hasConcept C11413529 @default.
- W4380905279 hasConcept C121332964 @default.
- W4380905279 hasConcept C128838566 @default.
- W4380905279 hasConcept C146206909 @default.
- W4380905279 hasConcept C165801399 @default.
- W4380905279 hasConcept C172385210 @default.
- W4380905279 hasConcept C189790780 @default.
- W4380905279 hasConcept C199360897 @default.
- W4380905279 hasConcept C2777796570 @default.
- W4380905279 hasConcept C34165917 @default.
- W4380905279 hasConcept C37404715 @default.
- W4380905279 hasConcept C41008148 @default.
- W4380905279 hasConcept C50033165 @default.
- W4380905279 hasConcept C62520636 @default.
- W4380905279 hasConcept C80444323 @default.
- W4380905279 hasConcept C81721847 @default.
- W4380905279 hasConcept C96315309 @default.
- W4380905279 hasConceptScore W4380905279C11413529 @default.
- W4380905279 hasConceptScore W4380905279C121332964 @default.
- W4380905279 hasConceptScore W4380905279C128838566 @default.
- W4380905279 hasConceptScore W4380905279C146206909 @default.
- W4380905279 hasConceptScore W4380905279C165801399 @default.
- W4380905279 hasConceptScore W4380905279C172385210 @default.
- W4380905279 hasConceptScore W4380905279C189790780 @default.
- W4380905279 hasConceptScore W4380905279C199360897 @default.
- W4380905279 hasConceptScore W4380905279C2777796570 @default.
- W4380905279 hasConceptScore W4380905279C34165917 @default.
- W4380905279 hasConceptScore W4380905279C37404715 @default.
- W4380905279 hasConceptScore W4380905279C41008148 @default.
- W4380905279 hasConceptScore W4380905279C50033165 @default.
- W4380905279 hasConceptScore W4380905279C62520636 @default.
- W4380905279 hasConceptScore W4380905279C80444323 @default.
- W4380905279 hasConceptScore W4380905279C81721847 @default.
- W4380905279 hasConceptScore W4380905279C96315309 @default.
- W4380905279 hasLocation W43809052791 @default.
- W4380905279 hasOpenAccess W4380905279 @default.
- W4380905279 hasPrimaryLocation W43809052791 @default.
- W4380905279 hasRelatedWork W1498885309 @default.
- W4380905279 hasRelatedWork W1597918680 @default.
- W4380905279 hasRelatedWork W1849174213 @default.
- W4380905279 hasRelatedWork W2348463574 @default.
- W4380905279 hasRelatedWork W2540632701 @default.
- W4380905279 hasRelatedWork W2542995117 @default.
- W4380905279 hasRelatedWork W2553706208 @default.
- W4380905279 hasRelatedWork W4252624629 @default.
- W4380905279 hasRelatedWork W574022443 @default.
- W4380905279 hasRelatedWork W648195185 @default.
- W4380905279 isParatext "false" @default.
- W4380905279 isRetracted "false" @default.
- W4380905279 workType "book-chapter" @default.