FRINK Linked Data Fragments server

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

• W2157874580 abstract "A logic called typed predicate calculus (TPC) that gives declarative meaning to logic programs with type declarations and type inference is introduced. The proper interaction between parametric and inclusion varieties of polymorphism is achieved through a construct called type dependency, which is analogous to implication types but yields more natural and succinct specifications. Unlike other proposals where typing has extra-logical status, in TPC the notion of type-correctness has precise model-theoretic meaning that is independent of any specific type-checking or type-inference procedure. Moreover, many different approaches to typing that were proposed in the past can be studied and compared within the framework of TPC. Another novel feature of TPC is its reflexivity with respect to type declarations; in TPC, these declarations can be queried the same way as any other data. Type reflexivity is useful for browsing knowledge bases and, potentially, for debugging logic programs. >" @default.
• W2157874580 created "2016-06-24" @default.
• W2157874580 creator A5009439823 @default.
• W2157874580 creator A5059918476 @default.
• W2157874580 date "2002-12-10" @default.
• W2157874580 modified "2023-09-27" @default.
• W2157874580 title "A first-order theory of types and polymorphism in logic programming" @default.
• W2157874580 cites W117044614 @default.
• W2157874580 cites W132530506 @default.
• W2157874580 cites W1494051470 @default.
• W2157874580 cites W15157627 @default.
• W2157874580 cites W1575633021 @default.
• W2157874580 cites W1586852614 @default.
• W2157874580 cites W1606504862 @default.
• W2157874580 cites W1672891595 @default.
• W2157874580 cites W171682210 @default.
• W2157874580 cites W1968513265 @default.
• W2157874580 cites W1977583107 @default.
• W2157874580 cites W1984715534 @default.
• W2157874580 cites W1992810975 @default.
• W2157874580 cites W2001507716 @default.
• W2157874580 cites W2035890683 @default.
• W2157874580 cites W2038037493 @default.
• W2157874580 cites W2071386812 @default.
• W2157874580 cites W2091631741 @default.
• W2157874580 cites W2132745831 @default.
• W2157874580 cites W2135105491 @default.
• W2157874580 cites W2140502249 @default.
• W2157874580 cites W2150440003 @default.
• W2157874580 cites W2162621793 @default.
• W2157874580 cites W2166822586 @default.
• W2157874580 cites W2172633566 @default.
• W2157874580 cites W2985357124 @default.
• W2157874580 cites W57428466 @default.
• W2157874580 cites W65123984 @default.
• W2157874580 cites W68738721 @default.
• W2157874580 cites W99535058 @default.
• W2157874580 doi "https://doi.org/10.1109/lics.1991.151655" @default.
• W2157874580 hasPublicationYear "2002" @default.
• W2157874580 type Work @default.
• W2157874580 sameAs 2157874580 @default.
• W2157874580 citedByCount "7" @default.
• W2157874580 crossrefType "proceedings-article" @default.
• W2157874580 hasAuthorship W2157874580A5009439823 @default.
• W2157874580 hasAuthorship W2157874580A5059918476 @default.
• W2157874580 hasConcept C102993220 @default.
• W2157874580 hasConcept C128838566 @default.
• W2157874580 hasConcept C154945302 @default.
• W2157874580 hasConcept C168065819 @default.
• W2157874580 hasConcept C18903297 @default.
• W2157874580 hasConcept C193702766 @default.
• W2157874580 hasConcept C19689857 @default.
• W2157874580 hasConcept C198370458 @default.
• W2157874580 hasConcept C199360897 @default.
• W2157874580 hasConcept C20528804 @default.
• W2157874580 hasConcept C2776214188 @default.
• W2157874580 hasConcept C2777299769 @default.
• W2157874580 hasConcept C41008148 @default.
• W2157874580 hasConcept C55439883 @default.
• W2157874580 hasConcept C62073222 @default.
• W2157874580 hasConcept C80444323 @default.
• W2157874580 hasConcept C86803240 @default.
• W2157874580 hasConcept C93682546 @default.
• W2157874580 hasConceptScore W2157874580C102993220 @default.
• W2157874580 hasConceptScore W2157874580C128838566 @default.
• W2157874580 hasConceptScore W2157874580C154945302 @default.
• W2157874580 hasConceptScore W2157874580C168065819 @default.
• W2157874580 hasConceptScore W2157874580C18903297 @default.
• W2157874580 hasConceptScore W2157874580C193702766 @default.
• W2157874580 hasConceptScore W2157874580C19689857 @default.
• W2157874580 hasConceptScore W2157874580C198370458 @default.
• W2157874580 hasConceptScore W2157874580C199360897 @default.
• W2157874580 hasConceptScore W2157874580C20528804 @default.
• W2157874580 hasConceptScore W2157874580C2776214188 @default.
• W2157874580 hasConceptScore W2157874580C2777299769 @default.
• W2157874580 hasConceptScore W2157874580C41008148 @default.
• W2157874580 hasConceptScore W2157874580C55439883 @default.
• W2157874580 hasConceptScore W2157874580C62073222 @default.
• W2157874580 hasConceptScore W2157874580C80444323 @default.
• W2157874580 hasConceptScore W2157874580C86803240 @default.
• W2157874580 hasConceptScore W2157874580C93682546 @default.
• W2157874580 hasLocation W21578745801 @default.
• W2157874580 hasOpenAccess W2157874580 @default.
• W2157874580 hasPrimaryLocation W21578745801 @default.
• W2157874580 hasRelatedWork W1005446783 @default.
• W2157874580 hasRelatedWork W1547439240 @default.
• W2157874580 hasRelatedWork W1561681267 @default.
• W2157874580 hasRelatedWork W1599587354 @default.
• W2157874580 hasRelatedWork W1607346335 @default.
• W2157874580 hasRelatedWork W165704037 @default.
• W2157874580 hasRelatedWork W167934687 @default.
• W2157874580 hasRelatedWork W1763499098 @default.
• W2157874580 hasRelatedWork W1851327922 @default.
• W2157874580 hasRelatedWork W1910735682 @default.
• W2157874580 hasRelatedWork W1937160721 @default.
• W2157874580 hasRelatedWork W2029923610 @default.
• W2157874580 hasRelatedWork W2038037493 @default.
• W2157874580 hasRelatedWork W2075664221 @default.
• W2157874580 hasRelatedWork W2076819871 @default.
• W2157874580 hasRelatedWork W2115656500 @default.

• next