Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109577044> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2109577044 endingPage "63" @default.
- W2109577044 startingPage "39" @default.
- W2109577044 abstract "This paper studies the problem of removing unused arguments from logic programs which have been constructed by a schema-based method. Our schema-based method constructs logic programs semi-automatically. These programs have clear structure which depicts the design decisions that have been taken for their construction. On the other hand, these programs have unused arguments. We propose a method that automatically removes the unused arguments from such programs. This method is based on fold-unfold transformations. We have developed a tool which implements our method and evaluates the initial and the transformed programs. This logic program transformation tool is presented as well." @default.
- W2109577044 created "2016-06-24" @default.
- W2109577044 creator A5009937562 @default.
- W2109577044 creator A5048367123 @default.
- W2109577044 creator A5071274866 @default.
- W2109577044 date "2010-02-01" @default.
- W2109577044 modified "2023-09-26" @default.
- W2109577044 title "A TOOL FOR REMOVING UNUSED ARGUMENTS FROM LOGIC PROGRAMS AUTOMATICALLY" @default.
- W2109577044 cites W1497657319 @default.
- W2109577044 cites W1988290118 @default.
- W2109577044 cites W2023299380 @default.
- W2109577044 cites W2029186912 @default.
- W2109577044 cites W2079398243 @default.
- W2109577044 cites W4206370914 @default.
- W2109577044 doi "https://doi.org/10.1142/s0218213010000030" @default.
- W2109577044 hasPublicationYear "2010" @default.
- W2109577044 type Work @default.
- W2109577044 sameAs 2109577044 @default.
- W2109577044 citedByCount "0" @default.
- W2109577044 crossrefType "journal-article" @default.
- W2109577044 hasAuthorship W2109577044A5009937562 @default.
- W2109577044 hasAuthorship W2109577044A5048367123 @default.
- W2109577044 hasAuthorship W2109577044A5071274866 @default.
- W2109577044 hasConcept C115903868 @default.
- W2109577044 hasConcept C128838566 @default.
- W2109577044 hasConcept C199360897 @default.
- W2109577044 hasConcept C23123220 @default.
- W2109577044 hasConcept C2778361913 @default.
- W2109577044 hasConcept C2987117450 @default.
- W2109577044 hasConcept C41008148 @default.
- W2109577044 hasConcept C52146309 @default.
- W2109577044 hasConcept C80444323 @default.
- W2109577044 hasConceptScore W2109577044C115903868 @default.
- W2109577044 hasConceptScore W2109577044C128838566 @default.
- W2109577044 hasConceptScore W2109577044C199360897 @default.
- W2109577044 hasConceptScore W2109577044C23123220 @default.
- W2109577044 hasConceptScore W2109577044C2778361913 @default.
- W2109577044 hasConceptScore W2109577044C2987117450 @default.
- W2109577044 hasConceptScore W2109577044C41008148 @default.
- W2109577044 hasConceptScore W2109577044C52146309 @default.
- W2109577044 hasConceptScore W2109577044C80444323 @default.
- W2109577044 hasIssue "01" @default.
- W2109577044 hasLocation W21095770441 @default.
- W2109577044 hasOpenAccess W2109577044 @default.
- W2109577044 hasPrimaryLocation W21095770441 @default.
- W2109577044 hasRelatedWork W134220871 @default.
- W2109577044 hasRelatedWork W1548372360 @default.
- W2109577044 hasRelatedWork W1759458034 @default.
- W2109577044 hasRelatedWork W2103181655 @default.
- W2109577044 hasRelatedWork W2109043892 @default.
- W2109577044 hasRelatedWork W2119952634 @default.
- W2109577044 hasRelatedWork W2540089100 @default.
- W2109577044 hasRelatedWork W2469909632 @default.
- W2109577044 hasRelatedWork W2479881390 @default.
- W2109577044 hasRelatedWork W2585729726 @default.
- W2109577044 hasVolume "19" @default.
- W2109577044 isParatext "false" @default.
- W2109577044 isRetracted "false" @default.
- W2109577044 magId "2109577044" @default.
- W2109577044 workType "article" @default.