FRINK Linked Data Fragments server

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

• W2184506848 abstract "CoLoSS, the Coalgebraic Logic Satisability Solver, decides satisability of modal formulas in a generic and compositional way. It implements a uniform polynomial space algorithm to decide satisability for modal logics that are amenable to coalgebraic semantics. This includes e.g. the logics K, KD, Pauly's coalition logic, graded modal logic, and probabilistic modal logic. Logics are easily integrated into CoLoSS by providing a complete axiomatisation of their coalgebraic semantics in a specic format. Moreover, CoLoSS is compositional: it synthesises decision procedures for modular combinations of logics that include the fusion of two modal logics as a special case. One thus automatically obtains reasoning support e.g. for logics interpreted over probabilistic automata that combine non-determinism and probabilities in dierent ways." @default.
• W2184506848 created "2016-06-24" @default.
• W2184506848 creator A5048545843 @default.
• W2184506848 creator A5065295464 @default.
• W2184506848 creator A5073765060 @default.
• W2184506848 creator A5077171828 @default.
• W2184506848 date "2007-01-01" @default.
• W2184506848 modified "2023-10-16" @default.
• W2184506848 title "The Coalgebraic Logic Satisability Solver (System Description)" @default.
• W2184506848 cites W138290785 @default.
• W2184506848 cites W1516264096 @default.
• W2184506848 cites W1525860295 @default.
• W2184506848 cites W1556536463 @default.
• W2184506848 cites W1583784794 @default.
• W2184506848 cites W1594279870 @default.
• W2184506848 cites W1597181838 @default.
• W2184506848 cites W1670748022 @default.
• W2184506848 cites W1976268573 @default.
• W2184506848 cites W2015632512 @default.
• W2184506848 cites W2109058602 @default.
• W2184506848 cites W2126755595 @default.
• W2184506848 cites W2130773382 @default.
• W2184506848 cites W2154829072 @default.
• W2184506848 cites W2911841147 @default.
• W2184506848 cites W2912333754 @default.
• W2184506848 cites W2516023812 @default.
• W2184506848 cites W2583688014 @default.
• W2184506848 hasPublicationYear "2007" @default.
• W2184506848 type Work @default.
• W2184506848 sameAs 2184506848 @default.
• W2184506848 citedByCount "0" @default.
• W2184506848 crossrefType "journal-article" @default.
• W2184506848 hasAuthorship W2184506848A5048545843 @default.
• W2184506848 hasAuthorship W2184506848A5065295464 @default.
• W2184506848 hasAuthorship W2184506848A5073765060 @default.
• W2184506848 hasAuthorship W2184506848A5077171828 @default.
• W2184506848 hasConcept C102993220 @default.
• W2184506848 hasConcept C11191006 @default.
• W2184506848 hasConcept C114092440 @default.
• W2184506848 hasConcept C11413529 @default.
• W2184506848 hasConcept C118615104 @default.
• W2184506848 hasConcept C136119220 @default.
• W2184506848 hasConcept C153269930 @default.
• W2184506848 hasConcept C154945302 @default.
• W2184506848 hasConcept C168773769 @default.
• W2184506848 hasConcept C184337299 @default.
• W2184506848 hasConcept C185592680 @default.
• W2184506848 hasConcept C188027245 @default.
• W2184506848 hasConcept C199360897 @default.
• W2184506848 hasConcept C202444582 @default.
• W2184506848 hasConcept C203659156 @default.
• W2184506848 hasConcept C27508121 @default.
• W2184506848 hasConcept C33923547 @default.
• W2184506848 hasConcept C41008148 @default.
• W2184506848 hasConcept C42011625 @default.
• W2184506848 hasConcept C49937458 @default.
• W2184506848 hasConcept C5263885 @default.
• W2184506848 hasConcept C58166 @default.
• W2184506848 hasConcept C71139939 @default.
• W2184506848 hasConcept C80444323 @default.
• W2184506848 hasConcept C86602344 @default.
• W2184506848 hasConceptScore W2184506848C102993220 @default.
• W2184506848 hasConceptScore W2184506848C11191006 @default.
• W2184506848 hasConceptScore W2184506848C114092440 @default.
• W2184506848 hasConceptScore W2184506848C11413529 @default.
• W2184506848 hasConceptScore W2184506848C118615104 @default.
• W2184506848 hasConceptScore W2184506848C136119220 @default.
• W2184506848 hasConceptScore W2184506848C153269930 @default.
• W2184506848 hasConceptScore W2184506848C154945302 @default.
• W2184506848 hasConceptScore W2184506848C168773769 @default.
• W2184506848 hasConceptScore W2184506848C184337299 @default.
• W2184506848 hasConceptScore W2184506848C185592680 @default.
• W2184506848 hasConceptScore W2184506848C188027245 @default.
• W2184506848 hasConceptScore W2184506848C199360897 @default.
• W2184506848 hasConceptScore W2184506848C202444582 @default.
• W2184506848 hasConceptScore W2184506848C203659156 @default.
• W2184506848 hasConceptScore W2184506848C27508121 @default.
• W2184506848 hasConceptScore W2184506848C33923547 @default.
• W2184506848 hasConceptScore W2184506848C41008148 @default.
• W2184506848 hasConceptScore W2184506848C42011625 @default.
• W2184506848 hasConceptScore W2184506848C49937458 @default.
• W2184506848 hasConceptScore W2184506848C5263885 @default.
• W2184506848 hasConceptScore W2184506848C58166 @default.
• W2184506848 hasConceptScore W2184506848C71139939 @default.
• W2184506848 hasConceptScore W2184506848C80444323 @default.
• W2184506848 hasConceptScore W2184506848C86602344 @default.
• W2184506848 hasLocation W21845068481 @default.
• W2184506848 hasOpenAccess W2184506848 @default.
• W2184506848 hasPrimaryLocation W21845068481 @default.
• W2184506848 hasRelatedWork W1515545234 @default.
• W2184506848 hasRelatedWork W1566446956 @default.
• W2184506848 hasRelatedWork W1570729432 @default.
• W2184506848 hasRelatedWork W1570796240 @default.
• W2184506848 hasRelatedWork W1588790262 @default.
• W2184506848 hasRelatedWork W1874754667 @default.
• W2184506848 hasRelatedWork W187636597 @default.
• W2184506848 hasRelatedWork W1969533183 @default.
• W2184506848 hasRelatedWork W2039834595 @default.
• W2184506848 hasRelatedWork W2086413166 @default.
• W2184506848 hasRelatedWork W2113271515 @default.

• next