Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497991103> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1497991103 endingPage "137" @default.
- W1497991103 startingPage "110" @default.
- W1497991103 abstract "We propose a simple notion of model for Logic Programs based on indexed monoidal categories. On the one hand our proposal is consistent with well-known techniques for providing a categorical semantics for logical systems. On the other hand, it allows us to keep the effectiveness of the Horn Clause Logic fragment of first order logic. This is shown by providing an effective construction of the initial model of a program, obtained through the application of a general methodology aimed at defining a categorical semantics for structured transition systems. Thus the declarative view (as logical theory) and the operational view (as structured transition system) of a logic program are reconciled in a highly formal framework, which provides interesting hints to possible generalizations of the logic programming paradigm." @default.
- W1497991103 created "2016-06-24" @default.
- W1497991103 creator A5032765727 @default.
- W1497991103 creator A5062051157 @default.
- W1497991103 date "1993-01-01" @default.
- W1497991103 modified "2023-10-16" @default.
- W1497991103 title "A categorical model for logic programs: Indexed monoidal categories" @default.
- W1497991103 cites W1541434994 @default.
- W1497991103 cites W1547373047 @default.
- W1497991103 cites W1549406551 @default.
- W1497991103 cites W1994350081 @default.
- W1497991103 cites W2002273357 @default.
- W1497991103 cites W2003760348 @default.
- W1497991103 cites W2016862652 @default.
- W1497991103 cites W2022837260 @default.
- W1497991103 cites W2027622095 @default.
- W1497991103 cites W2064792687 @default.
- W1497991103 cites W2107674601 @default.
- W1497991103 cites W2120713972 @default.
- W1497991103 cites W2123396057 @default.
- W1497991103 cites W2169526198 @default.
- W1497991103 cites W4206381645 @default.
- W1497991103 cites W4242750030 @default.
- W1497991103 cites W583126019 @default.
- W1497991103 doi "https://doi.org/10.1007/3-540-56596-5_31" @default.
- W1497991103 hasPublicationYear "1993" @default.
- W1497991103 type Work @default.
- W1497991103 sameAs 1497991103 @default.
- W1497991103 citedByCount "16" @default.
- W1497991103 countsByYear W14979911032012 @default.
- W1497991103 countsByYear W14979911032019 @default.
- W1497991103 crossrefType "book-chapter" @default.
- W1497991103 hasAuthorship W1497991103A5032765727 @default.
- W1497991103 hasAuthorship W1497991103A5062051157 @default.
- W1497991103 hasConcept C119857082 @default.
- W1497991103 hasConcept C33923547 @default.
- W1497991103 hasConcept C41008148 @default.
- W1497991103 hasConcept C5274069 @default.
- W1497991103 hasConceptScore W1497991103C119857082 @default.
- W1497991103 hasConceptScore W1497991103C33923547 @default.
- W1497991103 hasConceptScore W1497991103C41008148 @default.
- W1497991103 hasConceptScore W1497991103C5274069 @default.
- W1497991103 hasLocation W14979911031 @default.
- W1497991103 hasOpenAccess W1497991103 @default.
- W1497991103 hasPrimaryLocation W14979911031 @default.
- W1497991103 hasRelatedWork W1506668851 @default.
- W1497991103 hasRelatedWork W1600026779 @default.
- W1497991103 hasRelatedWork W1981301141 @default.
- W1497991103 hasRelatedWork W1987396722 @default.
- W1497991103 hasRelatedWork W2044273750 @default.
- W1497991103 hasRelatedWork W2317983070 @default.
- W1497991103 hasRelatedWork W2962741511 @default.
- W1497991103 hasRelatedWork W2964313687 @default.
- W1497991103 hasRelatedWork W4205771671 @default.
- W1497991103 hasRelatedWork W86096423 @default.
- W1497991103 isParatext "false" @default.
- W1497991103 isRetracted "false" @default.
- W1497991103 magId "1497991103" @default.
- W1497991103 workType "book-chapter" @default.