Matches in SemOpenAlex for { <https://semopenalex.org/work/W2889563233> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2889563233 abstract "In this paper, we propose an extension of a technique transforming logic programs into a particular class of logic programs called CS-programs. Up to now, this technique is a semi-algorithm preserving the least Herbrand model. We integrate in this technique a process of generalization. Thanks to it, we are able to make the computation (the transformation) terminate and if we force the computation to terminate then we obtain a CS-program whose least Herbrand model contains the initial one. In this way, we can tackle successfully reachability problems that are out of the scope of techniques using regular approximations and also of the initial transformation technique (for which computations do not terminate)." @default.
- W2889563233 created "2018-09-27" @default.
- W2889563233 creator A5029090074 @default.
- W2889563233 creator A5049597004 @default.
- W2889563233 creator A5053423731 @default.
- W2889563233 date "2018-01-01" @default.
- W2889563233 modified "2023-09-27" @default.
- W2889563233 title "Approximating Any Logic Program by a CS-Program" @default.
- W2889563233 cites W1509869740 @default.
- W2889563233 cites W1531715723 @default.
- W2889563233 cites W1975745970 @default.
- W2889563233 cites W1985272693 @default.
- W2889563233 cites W24577754 @default.
- W2889563233 cites W1550325718 @default.
- W2889563233 cites W2070896619 @default.
- W2889563233 doi "https://doi.org/10.1007/978-3-319-99840-4_14" @default.
- W2889563233 hasPublicationYear "2018" @default.
- W2889563233 type Work @default.
- W2889563233 sameAs 2889563233 @default.
- W2889563233 citedByCount "0" @default.
- W2889563233 crossrefType "book-chapter" @default.
- W2889563233 hasAuthorship W2889563233A5029090074 @default.
- W2889563233 hasAuthorship W2889563233A5049597004 @default.
- W2889563233 hasAuthorship W2889563233A5053423731 @default.
- W2889563233 hasConcept C104317684 @default.
- W2889563233 hasConcept C11413529 @default.
- W2889563233 hasConcept C128838566 @default.
- W2889563233 hasConcept C134306372 @default.
- W2889563233 hasConcept C136643341 @default.
- W2889563233 hasConcept C154945302 @default.
- W2889563233 hasConcept C177148314 @default.
- W2889563233 hasConcept C185592680 @default.
- W2889563233 hasConcept C199360897 @default.
- W2889563233 hasConcept C204241405 @default.
- W2889563233 hasConcept C2777212361 @default.
- W2889563233 hasConcept C2778012447 @default.
- W2889563233 hasConcept C2778029271 @default.
- W2889563233 hasConcept C2778361913 @default.
- W2889563233 hasConcept C2987117450 @default.
- W2889563233 hasConcept C33923547 @default.
- W2889563233 hasConcept C41008148 @default.
- W2889563233 hasConcept C45374587 @default.
- W2889563233 hasConcept C55493867 @default.
- W2889563233 hasConcept C80444323 @default.
- W2889563233 hasConceptScore W2889563233C104317684 @default.
- W2889563233 hasConceptScore W2889563233C11413529 @default.
- W2889563233 hasConceptScore W2889563233C128838566 @default.
- W2889563233 hasConceptScore W2889563233C134306372 @default.
- W2889563233 hasConceptScore W2889563233C136643341 @default.
- W2889563233 hasConceptScore W2889563233C154945302 @default.
- W2889563233 hasConceptScore W2889563233C177148314 @default.
- W2889563233 hasConceptScore W2889563233C185592680 @default.
- W2889563233 hasConceptScore W2889563233C199360897 @default.
- W2889563233 hasConceptScore W2889563233C204241405 @default.
- W2889563233 hasConceptScore W2889563233C2777212361 @default.
- W2889563233 hasConceptScore W2889563233C2778012447 @default.
- W2889563233 hasConceptScore W2889563233C2778029271 @default.
- W2889563233 hasConceptScore W2889563233C2778361913 @default.
- W2889563233 hasConceptScore W2889563233C2987117450 @default.
- W2889563233 hasConceptScore W2889563233C33923547 @default.
- W2889563233 hasConceptScore W2889563233C41008148 @default.
- W2889563233 hasConceptScore W2889563233C45374587 @default.
- W2889563233 hasConceptScore W2889563233C55493867 @default.
- W2889563233 hasConceptScore W2889563233C80444323 @default.
- W2889563233 hasLocation W28895632331 @default.
- W2889563233 hasLocation W28895632332 @default.
- W2889563233 hasOpenAccess W2889563233 @default.
- W2889563233 hasPrimaryLocation W28895632331 @default.
- W2889563233 hasRelatedWork W1482711118 @default.
- W2889563233 hasRelatedWork W1526056075 @default.
- W2889563233 hasRelatedWork W1565170768 @default.
- W2889563233 hasRelatedWork W1569900092 @default.
- W2889563233 hasRelatedWork W1769923558 @default.
- W2889563233 hasRelatedWork W1858687778 @default.
- W2889563233 hasRelatedWork W1997716585 @default.
- W2889563233 hasRelatedWork W2015307578 @default.
- W2889563233 hasRelatedWork W2119610731 @default.
- W2889563233 hasRelatedWork W2162895617 @default.
- W2889563233 hasRelatedWork W2282760199 @default.
- W2889563233 hasRelatedWork W2339866832 @default.
- W2889563233 hasRelatedWork W2470870125 @default.
- W2889563233 hasRelatedWork W2901553618 @default.
- W2889563233 hasRelatedWork W2949951451 @default.
- W2889563233 hasRelatedWork W2952112626 @default.
- W2889563233 hasRelatedWork W3104749005 @default.
- W2889563233 hasRelatedWork W3176250057 @default.
- W2889563233 hasRelatedWork W1604689825 @default.
- W2889563233 hasRelatedWork W37473834 @default.
- W2889563233 isParatext "false" @default.
- W2889563233 isRetracted "false" @default.
- W2889563233 magId "2889563233" @default.
- W2889563233 workType "book-chapter" @default.