Matches in SemOpenAlex for { <https://semopenalex.org/work/W157215312> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W157215312 abstract "The logic CSL of comparative concept similarity has been introduced by Sheremet, et al. to capture a form of qualitative similarity comparison. We present here CSymLean, the first theorem-prover for CSL interpreted on symmetric minspaces. It is a Prolog implementation of a labelled tableau calculus recently proposed for this logic, and it is inspired by the Lean methodology." @default.
- W157215312 created "2016-06-24" @default.
- W157215312 creator A5000093016 @default.
- W157215312 creator A5082245122 @default.
- W157215312 date "2011-01-01" @default.
- W157215312 modified "2023-09-25" @default.
- W157215312 title "CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces" @default.
- W157215312 cites W1528334223 @default.
- W157215312 cites W1550086187 @default.
- W157215312 cites W1671333258 @default.
- W157215312 cites W1969434560 @default.
- W157215312 cites W1987043744 @default.
- W157215312 doi "https://doi.org/10.1007/978-3-642-22119-4_4" @default.
- W157215312 hasPublicationYear "2011" @default.
- W157215312 type Work @default.
- W157215312 sameAs 157215312 @default.
- W157215312 citedByCount "0" @default.
- W157215312 crossrefType "book-chapter" @default.
- W157215312 hasAuthorship W157215312A5000093016 @default.
- W157215312 hasAuthorship W157215312A5082245122 @default.
- W157215312 hasConcept C100481476 @default.
- W157215312 hasConcept C103278499 @default.
- W157215312 hasConcept C108710211 @default.
- W157215312 hasConcept C11413529 @default.
- W157215312 hasConcept C115961682 @default.
- W157215312 hasConcept C118615104 @default.
- W157215312 hasConcept C136119220 @default.
- W157215312 hasConcept C154945302 @default.
- W157215312 hasConcept C159718280 @default.
- W157215312 hasConcept C199343813 @default.
- W157215312 hasConcept C199360897 @default.
- W157215312 hasConcept C202444582 @default.
- W157215312 hasConcept C206880738 @default.
- W157215312 hasConcept C2318724 @default.
- W157215312 hasConcept C2524010 @default.
- W157215312 hasConcept C2777686260 @default.
- W157215312 hasConcept C33923547 @default.
- W157215312 hasConcept C41008148 @default.
- W157215312 hasConcept C71924100 @default.
- W157215312 hasConcept C80444323 @default.
- W157215312 hasConcept C81721847 @default.
- W157215312 hasConceptScore W157215312C100481476 @default.
- W157215312 hasConceptScore W157215312C103278499 @default.
- W157215312 hasConceptScore W157215312C108710211 @default.
- W157215312 hasConceptScore W157215312C11413529 @default.
- W157215312 hasConceptScore W157215312C115961682 @default.
- W157215312 hasConceptScore W157215312C118615104 @default.
- W157215312 hasConceptScore W157215312C136119220 @default.
- W157215312 hasConceptScore W157215312C154945302 @default.
- W157215312 hasConceptScore W157215312C159718280 @default.
- W157215312 hasConceptScore W157215312C199343813 @default.
- W157215312 hasConceptScore W157215312C199360897 @default.
- W157215312 hasConceptScore W157215312C202444582 @default.
- W157215312 hasConceptScore W157215312C206880738 @default.
- W157215312 hasConceptScore W157215312C2318724 @default.
- W157215312 hasConceptScore W157215312C2524010 @default.
- W157215312 hasConceptScore W157215312C2777686260 @default.
- W157215312 hasConceptScore W157215312C33923547 @default.
- W157215312 hasConceptScore W157215312C41008148 @default.
- W157215312 hasConceptScore W157215312C71924100 @default.
- W157215312 hasConceptScore W157215312C80444323 @default.
- W157215312 hasConceptScore W157215312C81721847 @default.
- W157215312 hasLocation W1572153121 @default.
- W157215312 hasOpenAccess W157215312 @default.
- W157215312 hasPrimaryLocation W1572153121 @default.
- W157215312 hasRelatedWork W1497557854 @default.
- W157215312 hasRelatedWork W1499915732 @default.
- W157215312 hasRelatedWork W1525790406 @default.
- W157215312 hasRelatedWork W1538506032 @default.
- W157215312 hasRelatedWork W1551050998 @default.
- W157215312 hasRelatedWork W1553445265 @default.
- W157215312 hasRelatedWork W1558816505 @default.
- W157215312 hasRelatedWork W1592155558 @default.
- W157215312 hasRelatedWork W1594947418 @default.
- W157215312 hasRelatedWork W1758843996 @default.
- W157215312 hasRelatedWork W1787768633 @default.
- W157215312 hasRelatedWork W1846589774 @default.
- W157215312 hasRelatedWork W1981368022 @default.
- W157215312 hasRelatedWork W2089921049 @default.
- W157215312 hasRelatedWork W2117766234 @default.
- W157215312 hasRelatedWork W2117935620 @default.
- W157215312 hasRelatedWork W2169523408 @default.
- W157215312 hasRelatedWork W2900916756 @default.
- W157215312 hasRelatedWork W2916237180 @default.
- W157215312 hasRelatedWork W71891286 @default.
- W157215312 isParatext "false" @default.
- W157215312 isRetracted "false" @default.
- W157215312 magId "157215312" @default.
- W157215312 workType "book-chapter" @default.