Matches in SemOpenAlex for { <https://semopenalex.org/work/W1815105039> ?p ?o ?g. }
- W1815105039 endingPage "10" @default.
- W1815105039 startingPage "1" @default.
- W1815105039 abstract "Many logic programming based approaches can be used to describe and solve combinatorial search problems. On the one hand there are definite programs and constraint logic programs that compute a solution as an answer substitution to a query containing the variables of the constraint satisfaction problem. On the other hand there are approaches based on stable model semantics, abduction, and first-order logic model generation that compute solutions as models of some theory. This paper compares these different approaches from point of view of knowledge representation (how declarative are the programs) and from point of view of performance (how good are they at solving typical problems)." @default.
- W1815105039 created "2016-06-24" @default.
- W1815105039 creator A5004343076 @default.
- W1815105039 creator A5019723770 @default.
- W1815105039 creator A5042234113 @default.
- W1815105039 date "2000-01-01" @default.
- W1815105039 modified "2023-09-24" @default.
- W1815105039 title "A comparison of logic programming approaches for representation and solving of constraint satisfaction problems" @default.
- W1815105039 cites W108833919 @default.
- W1815105039 cites W130655838 @default.
- W1815105039 cites W1508549924 @default.
- W1815105039 cites W1541434994 @default.
- W1815105039 cites W1557218957 @default.
- W1815105039 cites W1580788337 @default.
- W1815105039 cites W1648841277 @default.
- W1815105039 cites W1672891595 @default.
- W1815105039 cites W176609766 @default.
- W1815105039 cites W1982482731 @default.
- W1815105039 cites W1987005090 @default.
- W1815105039 cites W1988095917 @default.
- W1815105039 cites W2022472812 @default.
- W1815105039 cites W2043193943 @default.
- W1815105039 cites W2060470146 @default.
- W1815105039 cites W2063727779 @default.
- W1815105039 cites W2067273780 @default.
- W1815105039 cites W2078139775 @default.
- W1815105039 cites W2090079575 @default.
- W1815105039 cites W2152131859 @default.
- W1815105039 cites W2570911113 @default.
- W1815105039 cites W45950018 @default.
- W1815105039 cites W80505390 @default.
- W1815105039 cites W81377374 @default.
- W1815105039 cites W83671853 @default.
- W1815105039 cites W94251557 @default.
- W1815105039 hasPublicationYear "2000" @default.
- W1815105039 type Work @default.
- W1815105039 sameAs 1815105039 @default.
- W1815105039 citedByCount "2" @default.
- W1815105039 crossrefType "journal-article" @default.
- W1815105039 hasAuthorship W1815105039A5004343076 @default.
- W1815105039 hasAuthorship W1815105039A5019723770 @default.
- W1815105039 hasAuthorship W1815105039A5042234113 @default.
- W1815105039 hasConcept C126255220 @default.
- W1815105039 hasConcept C127001435 @default.
- W1815105039 hasConcept C128838566 @default.
- W1815105039 hasConcept C137631369 @default.
- W1815105039 hasConcept C154945302 @default.
- W1815105039 hasConcept C156325763 @default.
- W1815105039 hasConcept C161301231 @default.
- W1815105039 hasConcept C173404611 @default.
- W1815105039 hasConcept C176783269 @default.
- W1815105039 hasConcept C17744445 @default.
- W1815105039 hasConcept C184337299 @default.
- W1815105039 hasConcept C199360897 @default.
- W1815105039 hasConcept C199539241 @default.
- W1815105039 hasConcept C199622910 @default.
- W1815105039 hasConcept C204306468 @default.
- W1815105039 hasConcept C2524010 @default.
- W1815105039 hasConcept C2776036281 @default.
- W1815105039 hasConcept C2776359362 @default.
- W1815105039 hasConcept C33923547 @default.
- W1815105039 hasConcept C41008148 @default.
- W1815105039 hasConcept C44616089 @default.
- W1815105039 hasConcept C49937458 @default.
- W1815105039 hasConcept C80444323 @default.
- W1815105039 hasConcept C94625758 @default.
- W1815105039 hasConceptScore W1815105039C126255220 @default.
- W1815105039 hasConceptScore W1815105039C127001435 @default.
- W1815105039 hasConceptScore W1815105039C128838566 @default.
- W1815105039 hasConceptScore W1815105039C137631369 @default.
- W1815105039 hasConceptScore W1815105039C154945302 @default.
- W1815105039 hasConceptScore W1815105039C156325763 @default.
- W1815105039 hasConceptScore W1815105039C161301231 @default.
- W1815105039 hasConceptScore W1815105039C173404611 @default.
- W1815105039 hasConceptScore W1815105039C176783269 @default.
- W1815105039 hasConceptScore W1815105039C17744445 @default.
- W1815105039 hasConceptScore W1815105039C184337299 @default.
- W1815105039 hasConceptScore W1815105039C199360897 @default.
- W1815105039 hasConceptScore W1815105039C199539241 @default.
- W1815105039 hasConceptScore W1815105039C199622910 @default.
- W1815105039 hasConceptScore W1815105039C204306468 @default.
- W1815105039 hasConceptScore W1815105039C2524010 @default.
- W1815105039 hasConceptScore W1815105039C2776036281 @default.
- W1815105039 hasConceptScore W1815105039C2776359362 @default.
- W1815105039 hasConceptScore W1815105039C33923547 @default.
- W1815105039 hasConceptScore W1815105039C41008148 @default.
- W1815105039 hasConceptScore W1815105039C44616089 @default.
- W1815105039 hasConceptScore W1815105039C49937458 @default.
- W1815105039 hasConceptScore W1815105039C80444323 @default.
- W1815105039 hasConceptScore W1815105039C94625758 @default.
- W1815105039 hasLocation W18151050391 @default.
- W1815105039 hasOpenAccess W1815105039 @default.
- W1815105039 hasPrimaryLocation W18151050391 @default.
- W1815105039 hasRelatedWork W1552285502 @default.
- W1815105039 hasRelatedWork W1569719586 @default.
- W1815105039 hasRelatedWork W1605300628 @default.
- W1815105039 hasRelatedWork W1969307923 @default.
- W1815105039 hasRelatedWork W1995731521 @default.