Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108736148> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2108736148 endingPage "187" @default.
- W2108736148 startingPage "175" @default.
- W2108736148 abstract "Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages, however, the modular structure of programs is hard to realise, since the output of an entire program cannot in general be composed from the output of its component programs in a direct manner. In this paper, we consider these aspects for the stable-model semantics of disjunctive logic programs (DLPs). We define the notion of a DLP-function, where a well-defined input/output interface is provided, and establish a novel module theorem enabling a suitable compositional semantics for modules. The module theorem extends the well-known splitting-set theorem and allows also a generalisation of a shifting technique for splitting shared disjunctive rules among components." @default.
- W2108736148 created "2016-06-24" @default.
- W2108736148 creator A5039712529 @default.
- W2108736148 creator A5046046339 @default.
- W2108736148 creator A5073662063 @default.
- W2108736148 creator A5006053030 @default.
- W2108736148 date "2007-06-05" @default.
- W2108736148 modified "2023-09-25" @default.
- W2108736148 title "Modularity Aspects of Disjunctive Stable Models" @default.
- W2108736148 cites W1487563773 @default.
- W2108736148 cites W1596557244 @default.
- W2108736148 cites W1864132268 @default.
- W2108736148 cites W1872506843 @default.
- W2108736148 cites W2006574118 @default.
- W2108736148 cites W2016993683 @default.
- W2108736148 cites W2023141722 @default.
- W2108736148 cites W2050842068 @default.
- W2108736148 cites W2076698873 @default.
- W2108736148 cites W2123740011 @default.
- W2108736148 cites W2295882966 @default.
- W2108736148 doi "https://doi.org/10.1007/978-3-540-72200-7_16" @default.
- W2108736148 hasPublicationYear "2007" @default.
- W2108736148 type Work @default.
- W2108736148 sameAs 2108736148 @default.
- W2108736148 citedByCount "24" @default.
- W2108736148 countsByYear W21087361482013 @default.
- W2108736148 countsByYear W21087361482015 @default.
- W2108736148 countsByYear W21087361482018 @default.
- W2108736148 countsByYear W21087361482019 @default.
- W2108736148 countsByYear W21087361482022 @default.
- W2108736148 crossrefType "book-chapter" @default.
- W2108736148 hasAuthorship W2108736148A5006053030 @default.
- W2108736148 hasAuthorship W2108736148A5039712529 @default.
- W2108736148 hasAuthorship W2108736148A5046046339 @default.
- W2108736148 hasAuthorship W2108736148A5073662063 @default.
- W2108736148 hasBestOaLocation W21087361482 @default.
- W2108736148 hasConcept C101468663 @default.
- W2108736148 hasConcept C121332964 @default.
- W2108736148 hasConcept C127001435 @default.
- W2108736148 hasConcept C128838566 @default.
- W2108736148 hasConcept C14036430 @default.
- W2108736148 hasConcept C156325763 @default.
- W2108736148 hasConcept C168167062 @default.
- W2108736148 hasConcept C177264268 @default.
- W2108736148 hasConcept C184337299 @default.
- W2108736148 hasConcept C199360897 @default.
- W2108736148 hasConcept C2779478453 @default.
- W2108736148 hasConcept C33923547 @default.
- W2108736148 hasConcept C41008148 @default.
- W2108736148 hasConcept C54355233 @default.
- W2108736148 hasConcept C78458016 @default.
- W2108736148 hasConcept C80444323 @default.
- W2108736148 hasConcept C86803240 @default.
- W2108736148 hasConcept C97355855 @default.
- W2108736148 hasConceptScore W2108736148C101468663 @default.
- W2108736148 hasConceptScore W2108736148C121332964 @default.
- W2108736148 hasConceptScore W2108736148C127001435 @default.
- W2108736148 hasConceptScore W2108736148C128838566 @default.
- W2108736148 hasConceptScore W2108736148C14036430 @default.
- W2108736148 hasConceptScore W2108736148C156325763 @default.
- W2108736148 hasConceptScore W2108736148C168167062 @default.
- W2108736148 hasConceptScore W2108736148C177264268 @default.
- W2108736148 hasConceptScore W2108736148C184337299 @default.
- W2108736148 hasConceptScore W2108736148C199360897 @default.
- W2108736148 hasConceptScore W2108736148C2779478453 @default.
- W2108736148 hasConceptScore W2108736148C33923547 @default.
- W2108736148 hasConceptScore W2108736148C41008148 @default.
- W2108736148 hasConceptScore W2108736148C54355233 @default.
- W2108736148 hasConceptScore W2108736148C78458016 @default.
- W2108736148 hasConceptScore W2108736148C80444323 @default.
- W2108736148 hasConceptScore W2108736148C86803240 @default.
- W2108736148 hasConceptScore W2108736148C97355855 @default.
- W2108736148 hasLocation W21087361481 @default.
- W2108736148 hasLocation W21087361482 @default.
- W2108736148 hasLocation W21087361483 @default.
- W2108736148 hasOpenAccess W2108736148 @default.
- W2108736148 hasPrimaryLocation W21087361481 @default.
- W2108736148 hasRelatedWork W1536282267 @default.
- W2108736148 hasRelatedWork W1601169590 @default.
- W2108736148 hasRelatedWork W1605891696 @default.
- W2108736148 hasRelatedWork W1988666619 @default.
- W2108736148 hasRelatedWork W2036349108 @default.
- W2108736148 hasRelatedWork W2157541508 @default.
- W2108736148 hasRelatedWork W2398345045 @default.
- W2108736148 hasRelatedWork W2949201044 @default.
- W2108736148 hasRelatedWork W196701684 @default.
- W2108736148 hasRelatedWork W2592609194 @default.
- W2108736148 isParatext "false" @default.
- W2108736148 isRetracted "false" @default.
- W2108736148 magId "2108736148" @default.
- W2108736148 workType "book-chapter" @default.