Matches in SemOpenAlex for { <https://semopenalex.org/work/W191799166> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W191799166 endingPage "8" @default.
- W191799166 startingPage "2" @default.
- W191799166 abstract "While being a powerful paradigm for solving Constraint Satisfaction Problems (CSPs), Consistency Techniques (CTs) have never been taken into account during the design of declarative programming languages. This paper defines a theoretical framework for using CTs inside logic programming. Three inference rules are introduced and their formal properties are investigated. Also, computation rules are defined which are worth considering wrt the inference rules. As practical results, the programmer can write generate & test programs while the interpreter/compiler will use CTs for solving them (e.g forward checking or arc consistency). This makes logic programming not only a good language for stating CSPs but also an efficient tool for solving them as confirmed by our first experiences." @default.
- W191799166 created "2016-06-24" @default.
- W191799166 creator A5040497910 @default.
- W191799166 date "1987-08-23" @default.
- W191799166 modified "2023-09-23" @default.
- W191799166 title "A theoretical framework for consistency techniques in logic programming" @default.
- W191799166 cites W116065029 @default.
- W191799166 cites W1541434994 @default.
- W191799166 cites W1559427309 @default.
- W191799166 cites W178624636 @default.
- W191799166 cites W2002597376 @default.
- W191799166 cites W2033755422 @default.
- W191799166 cites W2035182234 @default.
- W191799166 cites W2038118137 @default.
- W191799166 cites W2068852367 @default.
- W191799166 cites W2072755230 @default.
- W191799166 cites W2119456262 @default.
- W191799166 cites W2123396057 @default.
- W191799166 cites W2138037655 @default.
- W191799166 cites W28444215 @default.
- W191799166 cites W2912848477 @default.
- W191799166 cites W90538387 @default.
- W191799166 cites W2508859408 @default.
- W191799166 hasPublicationYear "1987" @default.
- W191799166 type Work @default.
- W191799166 sameAs 191799166 @default.
- W191799166 citedByCount "7" @default.
- W191799166 crossrefType "proceedings-article" @default.
- W191799166 hasAuthorship W191799166A5040497910 @default.
- W191799166 hasConcept C126255220 @default.
- W191799166 hasConcept C128838566 @default.
- W191799166 hasConcept C137631369 @default.
- W191799166 hasConcept C146206909 @default.
- W191799166 hasConcept C154945302 @default.
- W191799166 hasConcept C173404611 @default.
- W191799166 hasConcept C176783269 @default.
- W191799166 hasConcept C199305712 @default.
- W191799166 hasConcept C199360897 @default.
- W191799166 hasConcept C199622910 @default.
- W191799166 hasConcept C204306468 @default.
- W191799166 hasConcept C2776436953 @default.
- W191799166 hasConcept C2778514511 @default.
- W191799166 hasConcept C33923547 @default.
- W191799166 hasConcept C34165917 @default.
- W191799166 hasConcept C41008148 @default.
- W191799166 hasConcept C44616089 @default.
- W191799166 hasConcept C49937458 @default.
- W191799166 hasConcept C50033165 @default.
- W191799166 hasConcept C80444323 @default.
- W191799166 hasConcept C96315309 @default.
- W191799166 hasConceptScore W191799166C126255220 @default.
- W191799166 hasConceptScore W191799166C128838566 @default.
- W191799166 hasConceptScore W191799166C137631369 @default.
- W191799166 hasConceptScore W191799166C146206909 @default.
- W191799166 hasConceptScore W191799166C154945302 @default.
- W191799166 hasConceptScore W191799166C173404611 @default.
- W191799166 hasConceptScore W191799166C176783269 @default.
- W191799166 hasConceptScore W191799166C199305712 @default.
- W191799166 hasConceptScore W191799166C199360897 @default.
- W191799166 hasConceptScore W191799166C199622910 @default.
- W191799166 hasConceptScore W191799166C204306468 @default.
- W191799166 hasConceptScore W191799166C2776436953 @default.
- W191799166 hasConceptScore W191799166C2778514511 @default.
- W191799166 hasConceptScore W191799166C33923547 @default.
- W191799166 hasConceptScore W191799166C34165917 @default.
- W191799166 hasConceptScore W191799166C41008148 @default.
- W191799166 hasConceptScore W191799166C44616089 @default.
- W191799166 hasConceptScore W191799166C49937458 @default.
- W191799166 hasConceptScore W191799166C50033165 @default.
- W191799166 hasConceptScore W191799166C80444323 @default.
- W191799166 hasConceptScore W191799166C96315309 @default.
- W191799166 hasOpenAccess W191799166 @default.
- W191799166 hasRelatedWork W107040879 @default.
- W191799166 hasRelatedWork W116065029 @default.
- W191799166 hasRelatedWork W1493799155 @default.
- W191799166 hasRelatedWork W1502855507 @default.
- W191799166 hasRelatedWork W1548860908 @default.
- W191799166 hasRelatedWork W1563413391 @default.
- W191799166 hasRelatedWork W1639901403 @default.
- W191799166 hasRelatedWork W1691736771 @default.
- W191799166 hasRelatedWork W1696142211 @default.
- W191799166 hasRelatedWork W1757790192 @default.
- W191799166 hasRelatedWork W1898865569 @default.
- W191799166 hasRelatedWork W1988095917 @default.
- W191799166 hasRelatedWork W2022951178 @default.
- W191799166 hasRelatedWork W2068852367 @default.
- W191799166 hasRelatedWork W2119456262 @default.
- W191799166 hasRelatedWork W2123396057 @default.
- W191799166 hasRelatedWork W2135432705 @default.
- W191799166 hasRelatedWork W3196415809 @default.
- W191799166 hasRelatedWork W65937437 @default.
- W191799166 hasRelatedWork W90538387 @default.
- W191799166 isParatext "false" @default.
- W191799166 isRetracted "false" @default.
- W191799166 magId "191799166" @default.
- W191799166 workType "article" @default.