Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156885169> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2156885169 endingPage "112" @default.
- W2156885169 startingPage "89" @default.
- W2156885169 abstract "This paper is an attempt at mathematical investigation of software development process in the context of declarative logic programming. We introduce notions of specification and specification constructor which are developed from natural language description of a problem. Generalizations of logic programs, called lp-functions are introduced to represent these specifications. We argue that the process of constructing lp-function representing a specification S should be supported by certain types of mathematical results which we call representation theorems. We present two such theorems to illustrate the idea." @default.
- W2156885169 created "2016-06-24" @default.
- W2156885169 creator A5029745883 @default.
- W2156885169 creator A5049254650 @default.
- W2156885169 date "1996-03-01" @default.
- W2156885169 modified "2023-09-27" @default.
- W2156885169 title "TOWARDS A THEORY OF ELABORATION TOLERANCE: LOGIC PROGRAMMING APPROACH" @default.
- W2156885169 doi "https://doi.org/10.1142/s0218194096000053" @default.
- W2156885169 hasPublicationYear "1996" @default.
- W2156885169 type Work @default.
- W2156885169 sameAs 2156885169 @default.
- W2156885169 citedByCount "19" @default.
- W2156885169 countsByYear W21568851692016 @default.
- W2156885169 countsByYear W21568851692017 @default.
- W2156885169 countsByYear W21568851692020 @default.
- W2156885169 crossrefType "journal-article" @default.
- W2156885169 hasAuthorship W2156885169A5029745883 @default.
- W2156885169 hasAuthorship W2156885169A5049254650 @default.
- W2156885169 hasConcept C128838566 @default.
- W2156885169 hasConcept C151730666 @default.
- W2156885169 hasConcept C199360897 @default.
- W2156885169 hasConcept C2779343474 @default.
- W2156885169 hasConcept C41008148 @default.
- W2156885169 hasConcept C80444323 @default.
- W2156885169 hasConcept C86803240 @default.
- W2156885169 hasConceptScore W2156885169C128838566 @default.
- W2156885169 hasConceptScore W2156885169C151730666 @default.
- W2156885169 hasConceptScore W2156885169C199360897 @default.
- W2156885169 hasConceptScore W2156885169C2779343474 @default.
- W2156885169 hasConceptScore W2156885169C41008148 @default.
- W2156885169 hasConceptScore W2156885169C80444323 @default.
- W2156885169 hasConceptScore W2156885169C86803240 @default.
- W2156885169 hasIssue "01" @default.
- W2156885169 hasLocation W21568851691 @default.
- W2156885169 hasOpenAccess W2156885169 @default.
- W2156885169 hasPrimaryLocation W21568851691 @default.
- W2156885169 hasRelatedWork W1548535723 @default.
- W2156885169 hasRelatedWork W1569472630 @default.
- W2156885169 hasRelatedWork W1966767581 @default.
- W2156885169 hasRelatedWork W2109507516 @default.
- W2156885169 hasRelatedWork W2112962394 @default.
- W2156885169 hasRelatedWork W2118300983 @default.
- W2156885169 hasRelatedWork W2166247150 @default.
- W2156885169 hasRelatedWork W2953307851 @default.
- W2156885169 hasRelatedWork W3137189469 @default.
- W2156885169 hasRelatedWork W4243252198 @default.
- W2156885169 hasVolume "06" @default.
- W2156885169 isParatext "false" @default.
- W2156885169 isRetracted "false" @default.
- W2156885169 magId "2156885169" @default.
- W2156885169 workType "article" @default.