FRINK Linked Data Fragments server

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

• W2149254449 endingPage "37" @default.
• W2149254449 startingPage "1" @default.
• W2149254449 abstract "Constraint Handling Rules (CHR) is a declarative rule-based programming language that has cut out its niche over the course of the last 20 years. It generalizes concurrent constraint logic programming to multiple heads, thus closing the gap to multiset transformation systems. Its popular extension CHR with Disjunction (CHR∨) is a multiparadigm declarative programming language that allows embedding of Horn programs with SLD resolution. We analyze the assets and the limitations of the classical declarative semantics of CHR∨ and highlight its natural relationship with linear-logic. We furthermore develop two linear-logic semantics for CHR∨ that differ in the reasoning domain for which they are instrumental. We show their idempotence and their soundness and completeness with respect to the operational semantics. We show how to apply the linear-logic semantics to decide program properties and to reason about operational equivalence of CHR∨ programs." @default.
• W2149254449 created "2016-06-24" @default.
• W2149254449 creator A5001305628 @default.
• W2149254449 creator A5032517478 @default.
• W2149254449 date "2013-02-01" @default.
• W2149254449 modified "2023-10-09" @default.
• W2149254449 title "Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction" @default.
• W2149254449 cites W1480740341 @default.
• W2149254449 cites W1483111029 @default.
• W2149254449 cites W1498867194 @default.
• W2149254449 cites W1499633535 @default.
• W2149254449 cites W1502855507 @default.
• W2149254449 cites W1515441675 @default.
• W2149254449 cites W1605034197 @default.
• W2149254449 cites W1826156715 @default.
• W2149254449 cites W1842630681 @default.
• W2149254449 cites W1963779317 @default.
• W2149254449 cites W1970743187 @default.
• W2149254449 cites W2020916002 @default.
• W2149254449 cites W2041934467 @default.
• W2149254449 cites W2070324762 @default.
• W2149254449 cites W2079333278 @default.
• W2149254449 cites W2106458801 @default.
• W2149254449 cites W2119682742 @default.
• W2149254449 cites W2123830440 @default.
• W2149254449 cites W2144493062 @default.
• W2149254449 cites W2144960539 @default.
• W2149254449 cites W2153388953 @default.
• W2149254449 cites W2911865844 @default.
• W2149254449 doi "https://doi.org/10.1145/2422085.2422086" @default.
• W2149254449 hasPublicationYear "2013" @default.
• W2149254449 type Work @default.
• W2149254449 sameAs 2149254449 @default.
• W2149254449 citedByCount "10" @default.
• W2149254449 countsByYear W21492544492013 @default.
• W2149254449 countsByYear W21492544492014 @default.
• W2149254449 countsByYear W21492544492015 @default.
• W2149254449 countsByYear W21492544492017 @default.
• W2149254449 countsByYear W21492544492018 @default.
• W2149254449 countsByYear W21492544492019 @default.
• W2149254449 crossrefType "journal-article" @default.
• W2149254449 hasAuthorship W2149254449A5001305628 @default.
• W2149254449 hasAuthorship W2149254449A5032517478 @default.
• W2149254449 hasBestOaLocation W21492544491 @default.
• W2149254449 hasConcept C105795698 @default.
• W2149254449 hasConcept C127001435 @default.
• W2149254449 hasConcept C128838566 @default.
• W2149254449 hasConcept C137631369 @default.
• W2149254449 hasConcept C154945302 @default.
• W2149254449 hasConcept C156325763 @default.
• W2149254449 hasConcept C173404611 @default.
• W2149254449 hasConcept C176783269 @default.
• W2149254449 hasConcept C184337299 @default.
• W2149254449 hasConcept C189790780 @default.
• W2149254449 hasConcept C199360897 @default.
• W2149254449 hasConcept C207648694 @default.
• W2149254449 hasConcept C28077239 @default.
• W2149254449 hasConcept C33923547 @default.
• W2149254449 hasConcept C39920170 @default.
• W2149254449 hasConcept C41008148 @default.
• W2149254449 hasConcept C44616089 @default.
• W2149254449 hasConcept C49937458 @default.
• W2149254449 hasConcept C80444323 @default.
• W2149254449 hasConcept C81721847 @default.
• W2149254449 hasConcept C89497691 @default.
• W2149254449 hasConceptScore W2149254449C105795698 @default.
• W2149254449 hasConceptScore W2149254449C127001435 @default.
• W2149254449 hasConceptScore W2149254449C128838566 @default.
• W2149254449 hasConceptScore W2149254449C137631369 @default.
• W2149254449 hasConceptScore W2149254449C154945302 @default.
• W2149254449 hasConceptScore W2149254449C156325763 @default.
• W2149254449 hasConceptScore W2149254449C173404611 @default.
• W2149254449 hasConceptScore W2149254449C176783269 @default.
• W2149254449 hasConceptScore W2149254449C184337299 @default.
• W2149254449 hasConceptScore W2149254449C189790780 @default.
• W2149254449 hasConceptScore W2149254449C199360897 @default.
• W2149254449 hasConceptScore W2149254449C207648694 @default.
• W2149254449 hasConceptScore W2149254449C28077239 @default.
• W2149254449 hasConceptScore W2149254449C33923547 @default.
• W2149254449 hasConceptScore W2149254449C39920170 @default.
• W2149254449 hasConceptScore W2149254449C41008148 @default.
• W2149254449 hasConceptScore W2149254449C44616089 @default.
• W2149254449 hasConceptScore W2149254449C49937458 @default.
• W2149254449 hasConceptScore W2149254449C80444323 @default.
• W2149254449 hasConceptScore W2149254449C81721847 @default.
• W2149254449 hasConceptScore W2149254449C89497691 @default.
• W2149254449 hasIssue "1" @default.
• W2149254449 hasLocation W21492544491 @default.
• W2149254449 hasLocation W21492544492 @default.
• W2149254449 hasLocation W21492544493 @default.
• W2149254449 hasOpenAccess W2149254449 @default.
• W2149254449 hasPrimaryLocation W21492544491 @default.
• W2149254449 hasRelatedWork W1487503742 @default.
• W2149254449 hasRelatedWork W1520973258 @default.
• W2149254449 hasRelatedWork W1558467648 @default.
• W2149254449 hasRelatedWork W1591242928 @default.
• W2149254449 hasRelatedWork W1596719193 @default.
• W2149254449 hasRelatedWork W2059108520 @default.

• next