Matches in SemOpenAlex for { <https://semopenalex.org/work/W1507296325> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1507296325 endingPage "60" @default.
- W1507296325 startingPage "41" @default.
- W1507296325 abstract "Many of the systems which we, and those who have worked with us, have built were intended to make it easier for people with particular backgrounds to construct and understand logic programs. A major issue when designing this sort of system is pragmatics: from the many logically equivalent ways of describing a program we must identify styles of description which make particular tasks easier to support. The first half of this paper describes three ways in which we have attempted to understand the pragmatics of particular domains using well known methods from computational logic. These are: design using parameterisable components; synthesis by incremental addition of program slices; and meta-interpretation. These are helpful in structuring designs but do not necessarily provide guidance in design lifecycles - where less detailed designs are used to guide the description of more detailed designs. The second half of this paper summarises an example of this form of guidance." @default.
- W1507296325 created "2016-06-24" @default.
- W1507296325 creator A5003060939 @default.
- W1507296325 creator A5022178228 @default.
- W1507296325 date "1999-01-01" @default.
- W1507296325 modified "2023-09-28" @default.
- W1507296325 title "Pragmatics in the Synthesis of Logic Programs" @default.
- W1507296325 cites W1517007512 @default.
- W1507296325 cites W1988161832 @default.
- W1507296325 cites W2002319359 @default.
- W1507296325 cites W2086200448 @default.
- W1507296325 cites W2107594169 @default.
- W1507296325 cites W2117322118 @default.
- W1507296325 cites W2130617267 @default.
- W1507296325 doi "https://doi.org/10.1007/3-540-48958-4_3" @default.
- W1507296325 hasPublicationYear "1999" @default.
- W1507296325 type Work @default.
- W1507296325 sameAs 1507296325 @default.
- W1507296325 citedByCount "3" @default.
- W1507296325 crossrefType "book-chapter" @default.
- W1507296325 hasAuthorship W1507296325A5003060939 @default.
- W1507296325 hasAuthorship W1507296325A5022178228 @default.
- W1507296325 hasConcept C10138342 @default.
- W1507296325 hasConcept C115903868 @default.
- W1507296325 hasConcept C11693617 @default.
- W1507296325 hasConcept C138885662 @default.
- W1507296325 hasConcept C162324750 @default.
- W1507296325 hasConcept C199360897 @default.
- W1507296325 hasConcept C23123220 @default.
- W1507296325 hasConcept C2775945657 @default.
- W1507296325 hasConcept C2780801425 @default.
- W1507296325 hasConcept C41008148 @default.
- W1507296325 hasConcept C41895202 @default.
- W1507296325 hasConcept C527412718 @default.
- W1507296325 hasConcept C88548561 @default.
- W1507296325 hasConceptScore W1507296325C10138342 @default.
- W1507296325 hasConceptScore W1507296325C115903868 @default.
- W1507296325 hasConceptScore W1507296325C11693617 @default.
- W1507296325 hasConceptScore W1507296325C138885662 @default.
- W1507296325 hasConceptScore W1507296325C162324750 @default.
- W1507296325 hasConceptScore W1507296325C199360897 @default.
- W1507296325 hasConceptScore W1507296325C23123220 @default.
- W1507296325 hasConceptScore W1507296325C2775945657 @default.
- W1507296325 hasConceptScore W1507296325C2780801425 @default.
- W1507296325 hasConceptScore W1507296325C41008148 @default.
- W1507296325 hasConceptScore W1507296325C41895202 @default.
- W1507296325 hasConceptScore W1507296325C527412718 @default.
- W1507296325 hasConceptScore W1507296325C88548561 @default.
- W1507296325 hasLocation W15072963251 @default.
- W1507296325 hasOpenAccess W1507296325 @default.
- W1507296325 hasPrimaryLocation W15072963251 @default.
- W1507296325 hasRelatedWork W111313175 @default.
- W1507296325 hasRelatedWork W1496929843 @default.
- W1507296325 hasRelatedWork W150392630 @default.
- W1507296325 hasRelatedWork W1868681840 @default.
- W1507296325 hasRelatedWork W1965224402 @default.
- W1507296325 hasRelatedWork W1979777109 @default.
- W1507296325 hasRelatedWork W2000732985 @default.
- W1507296325 hasRelatedWork W2041435579 @default.
- W1507296325 hasRelatedWork W2075095748 @default.
- W1507296325 hasRelatedWork W2084219346 @default.
- W1507296325 hasRelatedWork W2099594649 @default.
- W1507296325 hasRelatedWork W2105166929 @default.
- W1507296325 hasRelatedWork W2122423178 @default.
- W1507296325 hasRelatedWork W2136510050 @default.
- W1507296325 hasRelatedWork W2423639140 @default.
- W1507296325 hasRelatedWork W2501133716 @default.
- W1507296325 hasRelatedWork W2548295832 @default.
- W1507296325 hasRelatedWork W2616031482 @default.
- W1507296325 hasRelatedWork W2912769002 @default.
- W1507296325 hasRelatedWork W56045297 @default.
- W1507296325 isParatext "false" @default.
- W1507296325 isRetracted "false" @default.
- W1507296325 magId "1507296325" @default.
- W1507296325 workType "book-chapter" @default.