FRINK Linked Data Fragments server

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

• W2470355232 abstract "Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of Satisfiability Modulo Theories. Yet, the exact formal link is obscured as the terminology and concepts used in these two research areas differ. In this paper, by connecting these two areas, we begin the cross-fertilization of not only of the theoretical foundations of both areas but also of the existing solving technologies." @default.
• W2470355232 created "2016-07-22" @default.
• W2470355232 creator A5007235824 @default.
• W2470355232 creator A5008816972 @default.
• W2470355232 date "2016-01-01" @default.
• W2470355232 modified "2023-09-26" @default.
• W2470355232 title "On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories" @default.
• W2470355232 cites W1480909796 @default.
• W2470355232 cites W1481294694 @default.
• W2470355232 cites W1481397690 @default.
• W2470355232 cites W1500991862 @default.
• W2470355232 cites W1577827016 @default.
• W2470355232 cites W1589232796 @default.
• W2470355232 cites W1694306392 @default.
• W2470355232 cites W1766332311 @default.
• W2470355232 cites W1817519191 @default.
• W2470355232 cites W2054623824 @default.
• W2470355232 cites W2087563242 @default.
• W2470355232 cites W2089928029 @default.
• W2470355232 cites W2096621306 @default.
• W2470355232 cites W2399343913 @default.
• W2470355232 cites W2417653876 @default.
• W2470355232 cites W2433033450 @default.
• W2470355232 cites W2626880612 @default.
• W2470355232 cites W2911601159 @default.
• W2470355232 cites W2963711700 @default.
• W2470355232 cites W3103165021 @default.
• W2470355232 cites W62589538 @default.
• W2470355232 cites W2013892603 @default.
• W2470355232 hasPublicationYear "2016" @default.
• W2470355232 type Work @default.
• W2470355232 sameAs 2470355232 @default.
• W2470355232 citedByCount "0" @default.
• W2470355232 crossrefType "journal-article" @default.
• W2470355232 hasAuthorship W2470355232A5007235824 @default.
• W2470355232 hasAuthorship W2470355232A5008816972 @default.
• W2470355232 hasConcept C118615104 @default.
• W2470355232 hasConcept C124101348 @default.
• W2470355232 hasConcept C126255220 @default.
• W2470355232 hasConcept C137631369 @default.
• W2470355232 hasConcept C154945302 @default.
• W2470355232 hasConcept C164155591 @default.
• W2470355232 hasConcept C168773769 @default.
• W2470355232 hasConcept C173404611 @default.
• W2470355232 hasConcept C177264268 @default.
• W2470355232 hasConcept C182620335 @default.
• W2470355232 hasConcept C199360897 @default.
• W2470355232 hasConcept C202444582 @default.
• W2470355232 hasConcept C2524010 @default.
• W2470355232 hasConcept C25343380 @default.
• W2470355232 hasConcept C2776036281 @default.
• W2470355232 hasConcept C33923547 @default.
• W2470355232 hasConcept C41008148 @default.
• W2470355232 hasConcept C44616089 @default.
• W2470355232 hasConcept C49937458 @default.
• W2470355232 hasConcept C54732982 @default.
• W2470355232 hasConcept C80444323 @default.
• W2470355232 hasConcept C9652623 @default.
• W2470355232 hasConceptScore W2470355232C118615104 @default.
• W2470355232 hasConceptScore W2470355232C124101348 @default.
• W2470355232 hasConceptScore W2470355232C126255220 @default.
• W2470355232 hasConceptScore W2470355232C137631369 @default.
• W2470355232 hasConceptScore W2470355232C154945302 @default.
• W2470355232 hasConceptScore W2470355232C164155591 @default.
• W2470355232 hasConceptScore W2470355232C168773769 @default.
• W2470355232 hasConceptScore W2470355232C173404611 @default.
• W2470355232 hasConceptScore W2470355232C177264268 @default.
• W2470355232 hasConceptScore W2470355232C182620335 @default.
• W2470355232 hasConceptScore W2470355232C199360897 @default.
• W2470355232 hasConceptScore W2470355232C202444582 @default.
• W2470355232 hasConceptScore W2470355232C2524010 @default.
• W2470355232 hasConceptScore W2470355232C25343380 @default.
• W2470355232 hasConceptScore W2470355232C2776036281 @default.
• W2470355232 hasConceptScore W2470355232C33923547 @default.
• W2470355232 hasConceptScore W2470355232C41008148 @default.
• W2470355232 hasConceptScore W2470355232C44616089 @default.
• W2470355232 hasConceptScore W2470355232C49937458 @default.
• W2470355232 hasConceptScore W2470355232C54732982 @default.
• W2470355232 hasConceptScore W2470355232C80444323 @default.
• W2470355232 hasConceptScore W2470355232C9652623 @default.
• W2470355232 hasLocation W24703552321 @default.
• W2470355232 hasOpenAccess W2470355232 @default.
• W2470355232 hasPrimaryLocation W24703552321 @default.
• W2470355232 hasRelatedWork W1502870886 @default.
• W2470355232 hasRelatedWork W1503051607 @default.
• W2470355232 hasRelatedWork W164610590 @default.
• W2470355232 hasRelatedWork W1852197782 @default.
• W2470355232 hasRelatedWork W189070505 @default.
• W2470355232 hasRelatedWork W2001560360 @default.
• W2470355232 hasRelatedWork W2058269520 @default.
• W2470355232 hasRelatedWork W2123964226 @default.
• W2470355232 hasRelatedWork W2136179811 @default.
• W2470355232 hasRelatedWork W2149987967 @default.
• W2470355232 hasRelatedWork W2178257381 @default.
• W2470355232 hasRelatedWork W2251961884 @default.
• W2470355232 hasRelatedWork W2294041648 @default.
• W2470355232 hasRelatedWork W2406822549 @default.
• W2470355232 hasRelatedWork W2529281881 @default.
• W2470355232 hasRelatedWork W2907207368 @default.
• W2470355232 hasRelatedWork W2911619792 @default.

• next