FRINK Linked Data Fragments server

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

• W2110479586 abstract "We explore to what extent and how efficiently constraint programming can be used in the context of automated reasoning for modal logics. We encode modal satisfiability problems as constraint satisfaction problems with non-boolean domains, together with suitable constraints. Experiments show that the approach is very promising." @default.
• W2110479586 created "2016-06-24" @default.
• W2110479586 creator A5016297190 @default.
• W2110479586 creator A5031439294 @default.
• W2110479586 creator A5040163449 @default.
• W2110479586 date "2003-01-01" @default.
• W2110479586 modified "2023-09-27" @default.
• W2110479586 title "Constraint Programming for Modelling and Solving Modal Satisfiability" @default.
• W2110479586 cites W1709509222 @default.
• W2110479586 cites W2021025450 @default.
• W2110479586 cites W2139460891 @default.
• W2110479586 cites W4211144022 @default.
• W2110479586 cites W98547340 @default.
• W2110479586 doi "https://doi.org/10.1007/978-3-540-45193-8_55" @default.
• W2110479586 hasPublicationYear "2003" @default.
• W2110479586 type Work @default.
• W2110479586 sameAs 2110479586 @default.
• W2110479586 citedByCount "7" @default.
• W2110479586 countsByYear W21104795862021 @default.
• W2110479586 crossrefType "book-chapter" @default.
• W2110479586 hasAuthorship W2110479586A5016297190 @default.
• W2110479586 hasAuthorship W2110479586A5031439294 @default.
• W2110479586 hasAuthorship W2110479586A5040163449 @default.
• W2110479586 hasConcept C104317684 @default.
• W2110479586 hasConcept C11413529 @default.
• W2110479586 hasConcept C126255220 @default.
• W2110479586 hasConcept C137631369 @default.
• W2110479586 hasConcept C151730666 @default.
• W2110479586 hasConcept C154945302 @default.
• W2110479586 hasConcept C168773769 @default.
• W2110479586 hasConcept C173404611 @default.
• W2110479586 hasConcept C176783269 @default.
• W2110479586 hasConcept C185592680 @default.
• W2110479586 hasConcept C188027245 @default.
• W2110479586 hasConcept C199622910 @default.
• W2110479586 hasConcept C204306468 @default.
• W2110479586 hasConcept C2524010 @default.
• W2110479586 hasConcept C27508121 @default.
• W2110479586 hasConcept C2776036281 @default.
• W2110479586 hasConcept C2779343474 @default.
• W2110479586 hasConcept C33923547 @default.
• W2110479586 hasConcept C41008148 @default.
• W2110479586 hasConcept C44616089 @default.
• W2110479586 hasConcept C49937458 @default.
• W2110479586 hasConcept C55493867 @default.
• W2110479586 hasConcept C66746571 @default.
• W2110479586 hasConcept C6943359 @default.
• W2110479586 hasConcept C71139939 @default.
• W2110479586 hasConcept C80444323 @default.
• W2110479586 hasConcept C86803240 @default.
• W2110479586 hasConceptScore W2110479586C104317684 @default.
• W2110479586 hasConceptScore W2110479586C11413529 @default.
• W2110479586 hasConceptScore W2110479586C126255220 @default.
• W2110479586 hasConceptScore W2110479586C137631369 @default.
• W2110479586 hasConceptScore W2110479586C151730666 @default.
• W2110479586 hasConceptScore W2110479586C154945302 @default.
• W2110479586 hasConceptScore W2110479586C168773769 @default.
• W2110479586 hasConceptScore W2110479586C173404611 @default.
• W2110479586 hasConceptScore W2110479586C176783269 @default.
• W2110479586 hasConceptScore W2110479586C185592680 @default.
• W2110479586 hasConceptScore W2110479586C188027245 @default.
• W2110479586 hasConceptScore W2110479586C199622910 @default.
• W2110479586 hasConceptScore W2110479586C204306468 @default.
• W2110479586 hasConceptScore W2110479586C2524010 @default.
• W2110479586 hasConceptScore W2110479586C27508121 @default.
• W2110479586 hasConceptScore W2110479586C2776036281 @default.
• W2110479586 hasConceptScore W2110479586C2779343474 @default.
• W2110479586 hasConceptScore W2110479586C33923547 @default.
• W2110479586 hasConceptScore W2110479586C41008148 @default.
• W2110479586 hasConceptScore W2110479586C44616089 @default.
• W2110479586 hasConceptScore W2110479586C49937458 @default.
• W2110479586 hasConceptScore W2110479586C55493867 @default.
• W2110479586 hasConceptScore W2110479586C66746571 @default.
• W2110479586 hasConceptScore W2110479586C6943359 @default.
• W2110479586 hasConceptScore W2110479586C71139939 @default.
• W2110479586 hasConceptScore W2110479586C80444323 @default.
• W2110479586 hasConceptScore W2110479586C86803240 @default.
• W2110479586 hasLocation W21104795861 @default.
• W2110479586 hasOpenAccess W2110479586 @default.
• W2110479586 hasPrimaryLocation W21104795861 @default.
• W2110479586 hasRelatedWork W1486916474 @default.
• W2110479586 hasRelatedWork W1495007641 @default.
• W2110479586 hasRelatedWork W1525466908 @default.
• W2110479586 hasRelatedWork W1526618730 @default.
• W2110479586 hasRelatedWork W1564783277 @default.
• W2110479586 hasRelatedWork W1575501166 @default.
• W2110479586 hasRelatedWork W1589283903 @default.
• W2110479586 hasRelatedWork W1593443951 @default.
• W2110479586 hasRelatedWork W1605860778 @default.
• W2110479586 hasRelatedWork W1876414968 @default.
• W2110479586 hasRelatedWork W2021025450 @default.
• W2110479586 hasRelatedWork W2056108335 @default.
• W2110479586 hasRelatedWork W2111897475 @default.
• W2110479586 hasRelatedWork W2132878464 @default.
• W2110479586 hasRelatedWork W2139460891 @default.
• W2110479586 hasRelatedWork W2150184165 @default.
• W2110479586 hasRelatedWork W2263818007 @default.
• W2110479586 hasRelatedWork W2487679756 @default.
• W2110479586 hasRelatedWork W2524435840 @default.
• W2110479586 hasRelatedWork W39997369 @default.

• next