Matches in SemOpenAlex for { <https://semopenalex.org/work/W1512016031> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1512016031 abstract "Some basic notions of object-oriented programming such as objects, messages and inheritance are provided of a clean definition according to the logic programming paradigm. Objects are represented by logic theories, while inheritance mechanisms are expressed through meta-level axioms. The sending of a message is interpreted as a request for the proof of a formula. The main contribution of the paper is to provide a clean semantic characterization for these notions defining both a proof-theory and a compositional model-theory." @default.
- W1512016031 created "2016-06-24" @default.
- W1512016031 creator A5028993591 @default.
- W1512016031 creator A5040978920 @default.
- W1512016031 creator A5046300674 @default.
- W1512016031 date "1992-01-01" @default.
- W1512016031 modified "2023-09-25" @default.
- W1512016031 title "Objects in a logic programming framework" @default.
- W1512016031 cites W1572130846 @default.
- W1512016031 cites W1842836296 @default.
- W1512016031 cites W2035182234 @default.
- W1512016031 cites W2105486835 @default.
- W1512016031 cites W2108911687 @default.
- W1512016031 doi "https://doi.org/10.1007/3-540-55460-2_8" @default.
- W1512016031 hasPublicationYear "1992" @default.
- W1512016031 type Work @default.
- W1512016031 sameAs 1512016031 @default.
- W1512016031 citedByCount "11" @default.
- W1512016031 crossrefType "book-chapter" @default.
- W1512016031 hasAuthorship W1512016031A5028993591 @default.
- W1512016031 hasAuthorship W1512016031A5040978920 @default.
- W1512016031 hasAuthorship W1512016031A5046300674 @default.
- W1512016031 hasConcept C104317684 @default.
- W1512016031 hasConcept C108710211 @default.
- W1512016031 hasConcept C111472728 @default.
- W1512016031 hasConcept C124304363 @default.
- W1512016031 hasConcept C128838566 @default.
- W1512016031 hasConcept C138885662 @default.
- W1512016031 hasConcept C167729594 @default.
- W1512016031 hasConcept C185592680 @default.
- W1512016031 hasConcept C199360897 @default.
- W1512016031 hasConcept C2318724 @default.
- W1512016031 hasConcept C2524010 @default.
- W1512016031 hasConcept C2780902518 @default.
- W1512016031 hasConcept C33923547 @default.
- W1512016031 hasConcept C41008148 @default.
- W1512016031 hasConcept C55493867 @default.
- W1512016031 hasConcept C80444323 @default.
- W1512016031 hasConceptScore W1512016031C104317684 @default.
- W1512016031 hasConceptScore W1512016031C108710211 @default.
- W1512016031 hasConceptScore W1512016031C111472728 @default.
- W1512016031 hasConceptScore W1512016031C124304363 @default.
- W1512016031 hasConceptScore W1512016031C128838566 @default.
- W1512016031 hasConceptScore W1512016031C138885662 @default.
- W1512016031 hasConceptScore W1512016031C167729594 @default.
- W1512016031 hasConceptScore W1512016031C185592680 @default.
- W1512016031 hasConceptScore W1512016031C199360897 @default.
- W1512016031 hasConceptScore W1512016031C2318724 @default.
- W1512016031 hasConceptScore W1512016031C2524010 @default.
- W1512016031 hasConceptScore W1512016031C2780902518 @default.
- W1512016031 hasConceptScore W1512016031C33923547 @default.
- W1512016031 hasConceptScore W1512016031C41008148 @default.
- W1512016031 hasConceptScore W1512016031C55493867 @default.
- W1512016031 hasConceptScore W1512016031C80444323 @default.
- W1512016031 hasLocation W15120160311 @default.
- W1512016031 hasOpenAccess W1512016031 @default.
- W1512016031 hasPrimaryLocation W15120160311 @default.
- W1512016031 hasRelatedWork W1005446783 @default.
- W1512016031 hasRelatedWork W1508633160 @default.
- W1512016031 hasRelatedWork W1547439240 @default.
- W1512016031 hasRelatedWork W1556867883 @default.
- W1512016031 hasRelatedWork W1561681267 @default.
- W1512016031 hasRelatedWork W1569990888 @default.
- W1512016031 hasRelatedWork W1577536563 @default.
- W1512016031 hasRelatedWork W1599587354 @default.
- W1512016031 hasRelatedWork W1652042804 @default.
- W1512016031 hasRelatedWork W165704037 @default.
- W1512016031 hasRelatedWork W1816916218 @default.
- W1512016031 hasRelatedWork W1851327922 @default.
- W1512016031 hasRelatedWork W1854413010 @default.
- W1512016031 hasRelatedWork W1910735682 @default.
- W1512016031 hasRelatedWork W1937160721 @default.
- W1512016031 hasRelatedWork W2075664221 @default.
- W1512016031 hasRelatedWork W2076819871 @default.
- W1512016031 hasRelatedWork W2137499847 @default.
- W1512016031 hasRelatedWork W2151038558 @default.
- W1512016031 hasRelatedWork W73002046 @default.
- W1512016031 isParatext "false" @default.
- W1512016031 isRetracted "false" @default.
- W1512016031 magId "1512016031" @default.
- W1512016031 workType "book-chapter" @default.