Matches in SemOpenAlex for { <https://semopenalex.org/work/W1481517572> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1481517572 abstract "Regular approximation is a well-known and useful analysis technique for conventional logic programming. Given the existence of constraint solving techniques, one may wish to obtain more precise approximations of programs while retaining the decidable properties of the approximation. Greater precision could increase the effectiveness of applications that make use of regular approximation, such as the detection of useless clauses and type analysis. In this paper, we introduce arithmetic constraints, based on convex polyhedra, into regular approximation. In addition, Herbrand constraints can be introduced to capture dependencies among arguments." @default.
- W1481517572 created "2016-06-24" @default.
- W1481517572 creator A5020698393 @default.
- W1481517572 creator A5087937399 @default.
- W1481517572 date "1998-01-01" @default.
- W1481517572 modified "2023-10-16" @default.
- W1481517572 title "Constrained Regular Approximation of Logic Programs" @default.
- W1481517572 cites W1489150842 @default.
- W1481517572 cites W1536363973 @default.
- W1481517572 cites W1568478782 @default.
- W1481517572 cites W1732367193 @default.
- W1481517572 cites W1965825795 @default.
- W1481517572 cites W2009995730 @default.
- W1481517572 cites W2037439718 @default.
- W1481517572 cites W2081103684 @default.
- W1481517572 cites W2132661148 @default.
- W1481517572 doi "https://doi.org/10.1007/3-540-49674-2_15" @default.
- W1481517572 hasPublicationYear "1998" @default.
- W1481517572 type Work @default.
- W1481517572 sameAs 1481517572 @default.
- W1481517572 citedByCount "2" @default.
- W1481517572 crossrefType "book-chapter" @default.
- W1481517572 hasAuthorship W1481517572A5020698393 @default.
- W1481517572 hasAuthorship W1481517572A5087937399 @default.
- W1481517572 hasConcept C112680207 @default.
- W1481517572 hasConcept C11413529 @default.
- W1481517572 hasConcept C114614502 @default.
- W1481517572 hasConcept C126255220 @default.
- W1481517572 hasConcept C128838566 @default.
- W1481517572 hasConcept C134306372 @default.
- W1481517572 hasConcept C145242015 @default.
- W1481517572 hasConcept C148764684 @default.
- W1481517572 hasConcept C153269930 @default.
- W1481517572 hasConcept C2524010 @default.
- W1481517572 hasConcept C2987117450 @default.
- W1481517572 hasConcept C33923547 @default.
- W1481517572 hasConcept C41008148 @default.
- W1481517572 hasConcept C54829058 @default.
- W1481517572 hasConcept C80444323 @default.
- W1481517572 hasConceptScore W1481517572C112680207 @default.
- W1481517572 hasConceptScore W1481517572C11413529 @default.
- W1481517572 hasConceptScore W1481517572C114614502 @default.
- W1481517572 hasConceptScore W1481517572C126255220 @default.
- W1481517572 hasConceptScore W1481517572C128838566 @default.
- W1481517572 hasConceptScore W1481517572C134306372 @default.
- W1481517572 hasConceptScore W1481517572C145242015 @default.
- W1481517572 hasConceptScore W1481517572C148764684 @default.
- W1481517572 hasConceptScore W1481517572C153269930 @default.
- W1481517572 hasConceptScore W1481517572C2524010 @default.
- W1481517572 hasConceptScore W1481517572C2987117450 @default.
- W1481517572 hasConceptScore W1481517572C33923547 @default.
- W1481517572 hasConceptScore W1481517572C41008148 @default.
- W1481517572 hasConceptScore W1481517572C54829058 @default.
- W1481517572 hasConceptScore W1481517572C80444323 @default.
- W1481517572 hasLocation W14815175721 @default.
- W1481517572 hasOpenAccess W1481517572 @default.
- W1481517572 hasPrimaryLocation W14815175721 @default.
- W1481517572 hasRelatedWork W137285713 @default.
- W1481517572 hasRelatedWork W153602290 @default.
- W1481517572 hasRelatedWork W1536463841 @default.
- W1481517572 hasRelatedWork W1584030529 @default.
- W1481517572 hasRelatedWork W177423371 @default.
- W1481517572 hasRelatedWork W1790924738 @default.
- W1481517572 hasRelatedWork W1816757904 @default.
- W1481517572 hasRelatedWork W1946377831 @default.
- W1481517572 hasRelatedWork W1991407520 @default.
- W1481517572 hasRelatedWork W2016639451 @default.
- W1481517572 hasRelatedWork W2034336502 @default.
- W1481517572 hasRelatedWork W2064709816 @default.
- W1481517572 hasRelatedWork W2097774457 @default.
- W1481517572 hasRelatedWork W2163020700 @default.
- W1481517572 hasRelatedWork W2266998226 @default.
- W1481517572 hasRelatedWork W2575631630 @default.
- W1481517572 hasRelatedWork W2796556323 @default.
- W1481517572 hasRelatedWork W2949319793 @default.
- W1481517572 hasRelatedWork W2950062734 @default.
- W1481517572 hasRelatedWork W2953183575 @default.
- W1481517572 isParatext "false" @default.
- W1481517572 isRetracted "false" @default.
- W1481517572 magId "1481517572" @default.
- W1481517572 workType "book-chapter" @default.