FRINK Linked Data Fragments server

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

• W1729360112 endingPage "759" @default.
• W1729360112 startingPage "731" @default.
• W1729360112 abstract "Many fundamental problems in artificial intelligence, knowledge representation, and verification involve reasoning about sets and relations between sets and can be modeled as set constraint satisfaction problems (set CSPs). Such problems are frequently intractable, but there are several important set CSPs that are known to be polynomial-time tractable. We introduce a large class of set CSPs that can be solved in quadratic time. Our class, which we call EI, contains all previously known tractable set CSPs, but also some new ones that are of crucial importance for example in description logics. The class of EI set constraints has an elegant universal-algebraic characterization, which we use to show that every set constraint language that properly contains all EI set constraints already has a finite sublanguage with an NP-hard constraint satisfaction problem." @default.
• W1729360112 created "2016-06-24" @default.
• W1729360112 creator A5048647877 @default.
• W1729360112 creator A5058729018 @default.
• W1729360112 date "2012-12-31" @default.
• W1729360112 modified "2023-10-11" @default.
• W1729360112 title "Tractable Set Constraints" @default.
• W1729360112 cites W1532312848 @default.
• W1729360112 cites W1554378316 @default.
• W1729360112 cites W1570319308 @default.
• W1729360112 cites W1578044518 @default.
• W1729360112 cites W1589630737 @default.
• W1729360112 cites W1607550340 @default.
• W1729360112 cites W1965551900 @default.
• W1729360112 cites W1967190838 @default.
• W1729360112 cites W1972905214 @default.
• W1729360112 cites W1983032729 @default.
• W1729360112 cites W1997649256 @default.
• W1729360112 cites W2010312047 @default.
• W1729360112 cites W2011992362 @default.
• W1729360112 cites W2026753685 @default.
• W1729360112 cites W2052726983 @default.
• W1729360112 cites W2055967649 @default.
• W1729360112 cites W2064224621 @default.
• W1729360112 cites W2070051236 @default.
• W1729360112 cites W2081744921 @default.
• W1729360112 cites W2087215337 @default.
• W1729360112 cites W2102913701 @default.
• W1729360112 cites W2104048625 @default.
• W1729360112 cites W2117246947 @default.
• W1729360112 cites W2124452950 @default.
• W1729360112 cites W2134850460 @default.
• W1729360112 cites W2158513360 @default.
• W1729360112 cites W2161550381 @default.
• W1729360112 cites W2164680823 @default.
• W1729360112 cites W2164778133 @default.
• W1729360112 cites W2166566648 @default.
• W1729360112 cites W2418840954 @default.
• W1729360112 cites W62327733 @default.
• W1729360112 doi "https://doi.org/10.1613/jair.3747" @default.
• W1729360112 hasPublicationYear "2012" @default.
• W1729360112 type Work @default.
• W1729360112 sameAs 1729360112 @default.
• W1729360112 citedByCount "8" @default.
• W1729360112 countsByYear W17293601122014 @default.
• W1729360112 countsByYear W17293601122015 @default.
• W1729360112 countsByYear W17293601122017 @default.
• W1729360112 countsByYear W17293601122018 @default.
• W1729360112 countsByYear W17293601122021 @default.
• W1729360112 countsByYear W17293601122022 @default.
• W1729360112 crossrefType "journal-article" @default.
• W1729360112 hasAuthorship W1729360112A5048647877 @default.
• W1729360112 hasAuthorship W1729360112A5058729018 @default.
• W1729360112 hasBestOaLocation W17293601121 @default.
• W1729360112 hasConcept C100808899 @default.
• W1729360112 hasConcept C154945302 @default.
• W1729360112 hasConcept C177264268 @default.
• W1729360112 hasConcept C17744445 @default.
• W1729360112 hasConcept C182620335 @default.
• W1729360112 hasConcept C199360897 @default.
• W1729360112 hasConcept C199539241 @default.
• W1729360112 hasConcept C199622910 @default.
• W1729360112 hasConcept C2524010 @default.
• W1729360112 hasConcept C2776036281 @default.
• W1729360112 hasConcept C2776359362 @default.
• W1729360112 hasConcept C2776411971 @default.
• W1729360112 hasConcept C2777212361 @default.
• W1729360112 hasConcept C33923547 @default.
• W1729360112 hasConcept C41008148 @default.
• W1729360112 hasConcept C44616089 @default.
• W1729360112 hasConcept C49937458 @default.
• W1729360112 hasConcept C80444323 @default.
• W1729360112 hasConcept C94625758 @default.
• W1729360112 hasConceptScore W1729360112C100808899 @default.
• W1729360112 hasConceptScore W1729360112C154945302 @default.
• W1729360112 hasConceptScore W1729360112C177264268 @default.
• W1729360112 hasConceptScore W1729360112C17744445 @default.
• W1729360112 hasConceptScore W1729360112C182620335 @default.
• W1729360112 hasConceptScore W1729360112C199360897 @default.
• W1729360112 hasConceptScore W1729360112C199539241 @default.
• W1729360112 hasConceptScore W1729360112C199622910 @default.
• W1729360112 hasConceptScore W1729360112C2524010 @default.
• W1729360112 hasConceptScore W1729360112C2776036281 @default.
• W1729360112 hasConceptScore W1729360112C2776359362 @default.
• W1729360112 hasConceptScore W1729360112C2776411971 @default.
• W1729360112 hasConceptScore W1729360112C2777212361 @default.
• W1729360112 hasConceptScore W1729360112C33923547 @default.
• W1729360112 hasConceptScore W1729360112C41008148 @default.
• W1729360112 hasConceptScore W1729360112C44616089 @default.
• W1729360112 hasConceptScore W1729360112C49937458 @default.
• W1729360112 hasConceptScore W1729360112C80444323 @default.
• W1729360112 hasConceptScore W1729360112C94625758 @default.
• W1729360112 hasLocation W17293601121 @default.
• W1729360112 hasLocation W17293601122 @default.
• W1729360112 hasLocation W17293601123 @default.
• W1729360112 hasLocation W17293601124 @default.
• W1729360112 hasLocation W17293601125 @default.
• W1729360112 hasOpenAccess W1729360112 @default.

• next