FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2037354165> ?p ?o ?g. }

• W2037354165 endingPage "144" @default.
• W2037354165 startingPage "119" @default.
• W2037354165 abstract "Van Emden’s incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the context of constraint logic programming, incremental queries involve adding new constraints or deleting old ones from a query after a solution is found. This paper presents an implementation scheme IQ of incremental queries in Constraint Pandora, which defines a class of non-deterministic concurrent constraint logic programming languages. We use Van Hentenryck and Le Provost’s scheme (VHLP-scheme hereafter), a re-execution approach, as a starting point. Re-execution is costly in concurrent languages, in which process creation and inter-process communications are common operations. The main idea of IQ is that the basic trail unwinding operation used in backtracking is more efficient than re-execution in reaching an execution context along a recorded execution path. We modify the conventional trail-unwinding operation in such a way that constraints are used actively to prune the search space. Analysis shows that the IQ-scheme is at least as efficient as the VHLP-scheme in sequential systems and is much more efficient in concurrent systems. We show the feasibility of our proposal by incorporating the IQ-scheme into IFD-Constraint Pandora, an instance of Constraint Pandora supporting interval and finite domain constraint solving. Our preliminary results agree with that of theoretical analysis." @default.
• W2037354165 created "2016-06-24" @default.
• W2037354165 creator A5022683388 @default.
• W2037354165 creator A5025730618 @default.
• W2037354165 date "1999-10-01" @default.
• W2037354165 modified "2023-09-23" @default.
• W2037354165 title "An execution scheme for interactive problem-solving in concurrent constraint logic programming languages" @default.
• W2037354165 cites W1482885053 @default.
• W2037354165 cites W1493241261 @default.
• W2037354165 cites W1500131472 @default.
• W2037354165 cites W1508058677 @default.
• W2037354165 cites W1541122795 @default.
• W2037354165 cites W1541434994 @default.
• W2037354165 cites W164193862 @default.
• W2037354165 cites W1836031362 @default.
• W2037354165 cites W1955688194 @default.
• W2037354165 cites W1972439918 @default.
• W2037354165 cites W1986446931 @default.
• W2037354165 cites W1988095917 @default.
• W2037354165 cites W1990426442 @default.
• W2037354165 cites W2008716926 @default.
• W2037354165 cites W2021662587 @default.
• W2037354165 cites W2036247401 @default.
• W2037354165 cites W203717583 @default.
• W2037354165 cites W2057058576 @default.
• W2037354165 cites W2060498389 @default.
• W2037354165 cites W2065748487 @default.
• W2037354165 cites W2111646587 @default.
• W2037354165 cites W2123396057 @default.
• W2037354165 cites W2132233302 @default.
• W2037354165 cites W2135432705 @default.
• W2037354165 cites W2161503549 @default.
• W2037354165 cites W238538546 @default.
• W2037354165 cites W2914178012 @default.
• W2037354165 cites W30151932 @default.
• W2037354165 cites W560900853 @default.
• W2037354165 cites W65937437 @default.
• W2037354165 cites W93498906 @default.
• W2037354165 doi "https://doi.org/10.1016/s0096-0551(99)00013-2" @default.
• W2037354165 hasPublicationYear "1999" @default.
• W2037354165 type Work @default.
• W2037354165 sameAs 2037354165 @default.
• W2037354165 citedByCount "0" @default.
• W2037354165 crossrefType "journal-article" @default.
• W2037354165 hasAuthorship W2037354165A5022683388 @default.
• W2037354165 hasAuthorship W2037354165A5025730618 @default.
• W2037354165 hasConcept C126255220 @default.
• W2037354165 hasConcept C128838566 @default.
• W2037354165 hasConcept C134306372 @default.
• W2037354165 hasConcept C137631369 @default.
• W2037354165 hasConcept C151730666 @default.
• W2037354165 hasConcept C154945302 @default.
• W2037354165 hasConcept C156884757 @default.
• W2037354165 hasConcept C173404611 @default.
• W2037354165 hasConcept C176783269 @default.
• W2037354165 hasConcept C199360897 @default.
• W2037354165 hasConcept C199622910 @default.
• W2037354165 hasConcept C204306468 @default.
• W2037354165 hasConcept C2524010 @default.
• W2037354165 hasConcept C2776036281 @default.
• W2037354165 hasConcept C2779343474 @default.
• W2037354165 hasConcept C33923547 @default.
• W2037354165 hasConcept C34165917 @default.
• W2037354165 hasConcept C41008148 @default.
• W2037354165 hasConcept C44616089 @default.
• W2037354165 hasConcept C49937458 @default.
• W2037354165 hasConcept C50033165 @default.
• W2037354165 hasConcept C77618280 @default.
• W2037354165 hasConcept C80444323 @default.
• W2037354165 hasConcept C81721847 @default.
• W2037354165 hasConcept C86803240 @default.
• W2037354165 hasConcept C96315309 @default.
• W2037354165 hasConceptScore W2037354165C126255220 @default.
• W2037354165 hasConceptScore W2037354165C128838566 @default.
• W2037354165 hasConceptScore W2037354165C134306372 @default.
• W2037354165 hasConceptScore W2037354165C137631369 @default.
• W2037354165 hasConceptScore W2037354165C151730666 @default.
• W2037354165 hasConceptScore W2037354165C154945302 @default.
• W2037354165 hasConceptScore W2037354165C156884757 @default.
• W2037354165 hasConceptScore W2037354165C173404611 @default.
• W2037354165 hasConceptScore W2037354165C176783269 @default.
• W2037354165 hasConceptScore W2037354165C199360897 @default.
• W2037354165 hasConceptScore W2037354165C199622910 @default.
• W2037354165 hasConceptScore W2037354165C204306468 @default.
• W2037354165 hasConceptScore W2037354165C2524010 @default.
• W2037354165 hasConceptScore W2037354165C2776036281 @default.
• W2037354165 hasConceptScore W2037354165C2779343474 @default.
• W2037354165 hasConceptScore W2037354165C33923547 @default.
• W2037354165 hasConceptScore W2037354165C34165917 @default.
• W2037354165 hasConceptScore W2037354165C41008148 @default.
• W2037354165 hasConceptScore W2037354165C44616089 @default.
• W2037354165 hasConceptScore W2037354165C49937458 @default.
• W2037354165 hasConceptScore W2037354165C50033165 @default.
• W2037354165 hasConceptScore W2037354165C77618280 @default.
• W2037354165 hasConceptScore W2037354165C80444323 @default.
• W2037354165 hasConceptScore W2037354165C81721847 @default.
• W2037354165 hasConceptScore W2037354165C86803240 @default.
• W2037354165 hasConceptScore W2037354165C96315309 @default.

• next