FRINK Linked Data Fragments server

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

• W2144957128 abstract "This paper summarizes a constraint solving technique that is used to reason effectively in the scope of a set-based constraint language that supersedes existing finite domain languages. The first part of this paper motivates the presented work and introduces the constraint language, namely the language of Hereditarily Finite Sets (HFS). Then, the proposed constraint solver is detailed in terms of a set of rewrite rules that exploit finite domain reasoning within the HFS language. The proposed solution improves previous work on CLP (SET) [11] by integrating intervals into the constraint system and by providing a new layered architecture for the solver that supports more effective constraint solving strategies. On the other hand, the proposed approach provides enhanced expressivity and flexibility of domain representation than those usually found in existing finite domain constraint solvers." @default.
• W2144957128 created "2016-06-24" @default.
• W2144957128 creator A5006344484 @default.
• W2144957128 creator A5012267862 @default.
• W2144957128 creator A5062894556 @default.
• W2144957128 date "2009-01-01" @default.
• W2144957128 modified "2023-09-24" @default.
• W2144957128 title "Integrating Finite Domain and Set Constraints into a Set-based Constraint Language" @default.
• W2144957128 cites W1510241546 @default.
• W2144957128 cites W1522189295 @default.
• W2144957128 cites W1733489975 @default.
• W2144957128 cites W173646946 @default.
• W2144957128 cites W1772855117 @default.
• W2144957128 cites W1964166152 @default.
• W2144957128 cites W1982482731 @default.
• W2144957128 cites W2001769932 @default.
• W2144957128 cites W2007319395 @default.
• W2144957128 cites W2012032056 @default.
• W2144957128 cites W2025415897 @default.
• W2144957128 cites W2027319813 @default.
• W2144957128 cites W2036311242 @default.
• W2144957128 cites W2037783464 @default.
• W2144957128 cites W2079333278 @default.
• W2144957128 cites W2085716817 @default.
• W2144957128 cites W2117852264 @default.
• W2144957128 cites W2167206762 @default.
• W2144957128 cites W2913519671 @default.
• W2144957128 cites W3150454502 @default.
• W2144957128 doi "https://doi.org/10.3233/fi-2009-177" @default.
• W2144957128 hasPublicationYear "2009" @default.
• W2144957128 type Work @default.
• W2144957128 sameAs 2144957128 @default.
• W2144957128 citedByCount "4" @default.
• W2144957128 countsByYear W21449571282012 @default.
• W2144957128 countsByYear W21449571282014 @default.
• W2144957128 countsByYear W21449571282018 @default.
• W2144957128 crossrefType "journal-article" @default.
• W2144957128 hasAuthorship W2144957128A5006344484 @default.
• W2144957128 hasAuthorship W2144957128A5012267862 @default.
• W2144957128 hasAuthorship W2144957128A5062894556 @default.
• W2144957128 hasConcept C126255220 @default.
• W2144957128 hasConcept C134306372 @default.
• W2144957128 hasConcept C137631369 @default.
• W2144957128 hasConcept C154945302 @default.
• W2144957128 hasConcept C173404611 @default.
• W2144957128 hasConcept C176783269 @default.
• W2144957128 hasConcept C177264268 @default.
• W2144957128 hasConcept C17744445 @default.
• W2144957128 hasConcept C199360897 @default.
• W2144957128 hasConcept C199539241 @default.
• W2144957128 hasConcept C199622910 @default.
• W2144957128 hasConcept C2524010 @default.
• W2144957128 hasConcept C2776036281 @default.
• W2144957128 hasConcept C2776359362 @default.
• W2144957128 hasConcept C2778770139 @default.
• W2144957128 hasConcept C33923547 @default.
• W2144957128 hasConcept C36503486 @default.
• W2144957128 hasConcept C41008148 @default.
• W2144957128 hasConcept C44616089 @default.
• W2144957128 hasConcept C49937458 @default.
• W2144957128 hasConcept C80444323 @default.
• W2144957128 hasConcept C94625758 @default.
• W2144957128 hasConceptScore W2144957128C126255220 @default.
• W2144957128 hasConceptScore W2144957128C134306372 @default.
• W2144957128 hasConceptScore W2144957128C137631369 @default.
• W2144957128 hasConceptScore W2144957128C154945302 @default.
• W2144957128 hasConceptScore W2144957128C173404611 @default.
• W2144957128 hasConceptScore W2144957128C176783269 @default.
• W2144957128 hasConceptScore W2144957128C177264268 @default.
• W2144957128 hasConceptScore W2144957128C17744445 @default.
• W2144957128 hasConceptScore W2144957128C199360897 @default.
• W2144957128 hasConceptScore W2144957128C199539241 @default.
• W2144957128 hasConceptScore W2144957128C199622910 @default.
• W2144957128 hasConceptScore W2144957128C2524010 @default.
• W2144957128 hasConceptScore W2144957128C2776036281 @default.
• W2144957128 hasConceptScore W2144957128C2776359362 @default.
• W2144957128 hasConceptScore W2144957128C2778770139 @default.
• W2144957128 hasConceptScore W2144957128C33923547 @default.
• W2144957128 hasConceptScore W2144957128C36503486 @default.
• W2144957128 hasConceptScore W2144957128C41008148 @default.
• W2144957128 hasConceptScore W2144957128C44616089 @default.
• W2144957128 hasConceptScore W2144957128C49937458 @default.
• W2144957128 hasConceptScore W2144957128C80444323 @default.
• W2144957128 hasConceptScore W2144957128C94625758 @default.
• W2144957128 hasLocation W21449571281 @default.
• W2144957128 hasOpenAccess W2144957128 @default.
• W2144957128 hasPrimaryLocation W21449571281 @default.
• W2144957128 hasRelatedWork W1514097820 @default.
• W2144957128 hasRelatedWork W1530816677 @default.
• W2144957128 hasRelatedWork W1535632716 @default.
• W2144957128 hasRelatedWork W1590910789 @default.
• W2144957128 hasRelatedWork W1602856035 @default.
• W2144957128 hasRelatedWork W1603221820 @default.
• W2144957128 hasRelatedWork W1982482731 @default.
• W2144957128 hasRelatedWork W2005118481 @default.
• W2144957128 hasRelatedWork W2023005099 @default.
• W2144957128 hasRelatedWork W2030013846 @default.
• W2144957128 hasRelatedWork W203723536 @default.
• W2144957128 hasRelatedWork W2058139572 @default.
• W2144957128 hasRelatedWork W2100328954 @default.

• next