Matches in SemOpenAlex for { <https://semopenalex.org/work/W180563605> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W180563605 endingPage "282" @default.
- W180563605 startingPage "268" @default.
- W180563605 abstract "Every variable-free logic program induces a P f P f -coalgebra on the set of atomic formulae in the program. The coalgebra p sends an atomic formula A to the set of the sets of atomic formulae in the antecedent of each clause for which A is the head. In an earlier paper, we identified a variable-free logic program with a P f P f -coalgebra on Set and showed that, if C(P f P f ) is the cofree comonad on P f P f , then given a logic program P qua P f P f -coalgebra, the corresponding C(P f P f )-coalgebra structure describes the parallel and-or derivation trees of P. In this paper, we extend that analysis to arbitrary logic programs. That requires a subtle analysis of lax natural transformations between Poset-valued functors on a Lawvere theory, of locally ordered endofunctors and comonads on locally ordered categories, and of coalgebras, oplax maps of coalgebras, and the relationships between such for locally ordered endofunctors and the cofree comonads on them." @default.
- W180563605 created "2016-06-24" @default.
- W180563605 creator A5026643182 @default.
- W180563605 creator A5082619162 @default.
- W180563605 date "2011-01-01" @default.
- W180563605 modified "2023-10-16" @default.
- W180563605 title "Coalgebraic Semantics for Derivations in Logic Programming" @default.
- W180563605 cites W1525805777 @default.
- W180563605 cites W1584978202 @default.
- W180563605 cites W1591716390 @default.
- W180563605 cites W184244794 @default.
- W180563605 cites W185087817 @default.
- W180563605 cites W1963107927 @default.
- W180563605 cites W1964964089 @default.
- W180563605 cites W1970282061 @default.
- W180563605 cites W2002273357 @default.
- W180563605 cites W2068328548 @default.
- W180563605 cites W2107674601 @default.
- W180563605 cites W2127852846 @default.
- W180563605 cites W2165434002 @default.
- W180563605 cites W2911865844 @default.
- W180563605 cites W2953127448 @default.
- W180563605 cites W4206370914 @default.
- W180563605 doi "https://doi.org/10.1007/978-3-642-22944-2_19" @default.
- W180563605 hasPublicationYear "2011" @default.
- W180563605 type Work @default.
- W180563605 sameAs 180563605 @default.
- W180563605 citedByCount "18" @default.
- W180563605 countsByYear W1805636052012 @default.
- W180563605 countsByYear W1805636052013 @default.
- W180563605 countsByYear W1805636052014 @default.
- W180563605 countsByYear W1805636052015 @default.
- W180563605 countsByYear W1805636052016 @default.
- W180563605 countsByYear W1805636052017 @default.
- W180563605 countsByYear W1805636052019 @default.
- W180563605 countsByYear W1805636052020 @default.
- W180563605 countsByYear W1805636052021 @default.
- W180563605 countsByYear W1805636052023 @default.
- W180563605 crossrefType "book-chapter" @default.
- W180563605 hasAuthorship W180563605A5026643182 @default.
- W180563605 hasAuthorship W180563605A5082619162 @default.
- W180563605 hasBestOaLocation W1805636052 @default.
- W180563605 hasConcept C118615104 @default.
- W180563605 hasConcept C134306372 @default.
- W180563605 hasConcept C136119220 @default.
- W180563605 hasConcept C156772000 @default.
- W180563605 hasConcept C177264268 @default.
- W180563605 hasConcept C180645754 @default.
- W180563605 hasConcept C182365436 @default.
- W180563605 hasConcept C199360897 @default.
- W180563605 hasConcept C202444582 @default.
- W180563605 hasConcept C2778249326 @default.
- W180563605 hasConcept C33923547 @default.
- W180563605 hasConcept C41008148 @default.
- W180563605 hasConceptScore W180563605C118615104 @default.
- W180563605 hasConceptScore W180563605C134306372 @default.
- W180563605 hasConceptScore W180563605C136119220 @default.
- W180563605 hasConceptScore W180563605C156772000 @default.
- W180563605 hasConceptScore W180563605C177264268 @default.
- W180563605 hasConceptScore W180563605C180645754 @default.
- W180563605 hasConceptScore W180563605C182365436 @default.
- W180563605 hasConceptScore W180563605C199360897 @default.
- W180563605 hasConceptScore W180563605C202444582 @default.
- W180563605 hasConceptScore W180563605C2778249326 @default.
- W180563605 hasConceptScore W180563605C33923547 @default.
- W180563605 hasConceptScore W180563605C41008148 @default.
- W180563605 hasLocation W1805636051 @default.
- W180563605 hasLocation W1805636052 @default.
- W180563605 hasLocation W1805636053 @default.
- W180563605 hasOpenAccess W180563605 @default.
- W180563605 hasPrimaryLocation W1805636051 @default.
- W180563605 hasRelatedWork W1912064545 @default.
- W180563605 hasRelatedWork W1968024712 @default.
- W180563605 hasRelatedWork W1981976399 @default.
- W180563605 hasRelatedWork W1988301852 @default.
- W180563605 hasRelatedWork W1996333803 @default.
- W180563605 hasRelatedWork W2046176443 @default.
- W180563605 hasRelatedWork W2150706552 @default.
- W180563605 hasRelatedWork W2278026657 @default.
- W180563605 hasRelatedWork W2945718791 @default.
- W180563605 hasRelatedWork W4383621400 @default.
- W180563605 isParatext "false" @default.
- W180563605 isRetracted "false" @default.
- W180563605 magId "180563605" @default.
- W180563605 workType "book-chapter" @default.