Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012035115> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2012035115 endingPage "100" @default.
- W2012035115 startingPage "69" @default.
- W2012035115 abstract "Can we evaluate a logic program declaratively? That is, can a logic program be evaluated correctly and efficiently, independent of query modes and rule/predicate ordering, finding a complete set of answers, and terminating properly? the answer could be “yes”, at least for a good subclass of logic programs, based on our investigation and experimentation using a deductive database approach. In this paper, an n -queens problem, a classical logic program, is used as a running example to demonstrate the methodology. Our analysis shows that binding analysis and constraint exploration are two essential issues in the realization of declarative logic programming. The limitations of our methodology are also discussed in the paper." @default.
- W2012035115 created "2016-06-24" @default.
- W2012035115 creator A5017360203 @default.
- W2012035115 creator A5060656344 @default.
- W2012035115 creator A5077039307 @default.
- W2012035115 date "1998-03-01" @default.
- W2012035115 modified "2023-09-24" @default.
- W2012035115 title "Evaluation of declarative n-queens recursion: A deductive database approach" @default.
- W2012035115 cites W142052091 @default.
- W2012035115 cites W1512840853 @default.
- W2012035115 cites W1514583064 @default.
- W2012035115 cites W1521359908 @default.
- W2012035115 cites W1570025952 @default.
- W2012035115 cites W1572693407 @default.
- W2012035115 cites W166984311 @default.
- W2012035115 cites W1970637119 @default.
- W2012035115 cites W1980896392 @default.
- W2012035115 cites W1988095917 @default.
- W2012035115 cites W1992581985 @default.
- W2012035115 cites W2023578426 @default.
- W2012035115 cites W203717583 @default.
- W2012035115 cites W2070553391 @default.
- W2012035115 cites W2096138715 @default.
- W2012035115 cites W2105905502 @default.
- W2012035115 cites W2112853827 @default.
- W2012035115 cites W2124310142 @default.
- W2012035115 cites W2132063146 @default.
- W2012035115 cites W21421256 @default.
- W2012035115 cites W2162621793 @default.
- W2012035115 cites W2912517684 @default.
- W2012035115 cites W2913256821 @default.
- W2012035115 cites W3151640900 @default.
- W2012035115 cites W85989125 @default.
- W2012035115 doi "https://doi.org/10.1016/s0020-0255(97)10019-6" @default.
- W2012035115 hasPublicationYear "1998" @default.
- W2012035115 type Work @default.
- W2012035115 sameAs 2012035115 @default.
- W2012035115 citedByCount "3" @default.
- W2012035115 crossrefType "journal-article" @default.
- W2012035115 hasAuthorship W2012035115A5017360203 @default.
- W2012035115 hasAuthorship W2012035115A5060656344 @default.
- W2012035115 hasAuthorship W2012035115A5077039307 @default.
- W2012035115 hasConcept C128838566 @default.
- W2012035115 hasConcept C148230440 @default.
- W2012035115 hasConcept C154945302 @default.
- W2012035115 hasConcept C168773036 @default.
- W2012035115 hasConcept C176783269 @default.
- W2012035115 hasConcept C177264268 @default.
- W2012035115 hasConcept C182620335 @default.
- W2012035115 hasConcept C199360897 @default.
- W2012035115 hasConcept C2777502361 @default.
- W2012035115 hasConcept C2987117450 @default.
- W2012035115 hasConcept C41008148 @default.
- W2012035115 hasConcept C44616089 @default.
- W2012035115 hasConcept C49937458 @default.
- W2012035115 hasConcept C80444323 @default.
- W2012035115 hasConcept C81721847 @default.
- W2012035115 hasConceptScore W2012035115C128838566 @default.
- W2012035115 hasConceptScore W2012035115C148230440 @default.
- W2012035115 hasConceptScore W2012035115C154945302 @default.
- W2012035115 hasConceptScore W2012035115C168773036 @default.
- W2012035115 hasConceptScore W2012035115C176783269 @default.
- W2012035115 hasConceptScore W2012035115C177264268 @default.
- W2012035115 hasConceptScore W2012035115C182620335 @default.
- W2012035115 hasConceptScore W2012035115C199360897 @default.
- W2012035115 hasConceptScore W2012035115C2777502361 @default.
- W2012035115 hasConceptScore W2012035115C2987117450 @default.
- W2012035115 hasConceptScore W2012035115C41008148 @default.
- W2012035115 hasConceptScore W2012035115C44616089 @default.
- W2012035115 hasConceptScore W2012035115C49937458 @default.
- W2012035115 hasConceptScore W2012035115C80444323 @default.
- W2012035115 hasConceptScore W2012035115C81721847 @default.
- W2012035115 hasIssue "1-4" @default.
- W2012035115 hasLocation W20120351151 @default.
- W2012035115 hasOpenAccess W2012035115 @default.
- W2012035115 hasPrimaryLocation W20120351151 @default.
- W2012035115 hasRelatedWork W148908571 @default.
- W2012035115 hasRelatedWork W1517300050 @default.
- W2012035115 hasRelatedWork W1542459781 @default.
- W2012035115 hasRelatedWork W1556735226 @default.
- W2012035115 hasRelatedWork W1600055947 @default.
- W2012035115 hasRelatedWork W1973135411 @default.
- W2012035115 hasRelatedWork W2012035115 @default.
- W2012035115 hasRelatedWork W2034828140 @default.
- W2012035115 hasRelatedWork W79246384 @default.
- W2012035115 hasRelatedWork W2474462291 @default.
- W2012035115 hasVolume "105" @default.
- W2012035115 isParatext "false" @default.
- W2012035115 isRetracted "false" @default.
- W2012035115 magId "2012035115" @default.
- W2012035115 workType "article" @default.