Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288356646> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4288356646 abstract "In this paper we show several similarities among logic systems that deal simultaneously with deductive and quantitative inference. We claim it is appropriate to call the tasks those systems perform as Quantitative Logic Reasoning. Analogous properties hold throughout that class, for whose members there exists a set of linear algebraic techniques applicable in the study of satisfiability decision problems. In this presentation, we consider as Quantitative Logic Reasoning the tasks performed by propositional Probabilistic Logic; first-order logic with counting quantifiers over a fragment containing unary and limited binary predicates; and propositional Lukasiewicz Infinitely-valued Probabilistic Logic" @default.
- W4288356646 created "2022-07-29" @default.
- W4288356646 creator A5024395125 @default.
- W4288356646 date "2019-05-14" @default.
- W4288356646 modified "2023-09-26" @default.
- W4288356646 title "Quantitative Logic Reasoning" @default.
- W4288356646 doi "https://doi.org/10.48550/arxiv.1905.05665" @default.
- W4288356646 hasPublicationYear "2019" @default.
- W4288356646 type Work @default.
- W4288356646 citedByCount "0" @default.
- W4288356646 crossrefType "posted-content" @default.
- W4288356646 hasAuthorship W4288356646A5024395125 @default.
- W4288356646 hasBestOaLocation W42883566461 @default.
- W4288356646 hasConcept C102993220 @default.
- W4288356646 hasConcept C110039528 @default.
- W4288356646 hasConcept C118615104 @default.
- W4288356646 hasConcept C121332964 @default.
- W4288356646 hasConcept C128828806 @default.
- W4288356646 hasConcept C14523651 @default.
- W4288356646 hasConcept C154945302 @default.
- W4288356646 hasConcept C165801399 @default.
- W4288356646 hasConcept C168773769 @default.
- W4288356646 hasConcept C172385210 @default.
- W4288356646 hasConcept C18998212 @default.
- W4288356646 hasConcept C191222856 @default.
- W4288356646 hasConcept C195344581 @default.
- W4288356646 hasConcept C199360897 @default.
- W4288356646 hasConcept C203659156 @default.
- W4288356646 hasConcept C2776214188 @default.
- W4288356646 hasConcept C2777212361 @default.
- W4288356646 hasConcept C2777796570 @default.
- W4288356646 hasConcept C33203268 @default.
- W4288356646 hasConcept C33923547 @default.
- W4288356646 hasConcept C3746660 @default.
- W4288356646 hasConcept C3845977 @default.
- W4288356646 hasConcept C41008148 @default.
- W4288356646 hasConcept C49937458 @default.
- W4288356646 hasConcept C62520636 @default.
- W4288356646 hasConcept C69562738 @default.
- W4288356646 hasConcept C78023250 @default.
- W4288356646 hasConcept C80444323 @default.
- W4288356646 hasConcept C97364631 @default.
- W4288356646 hasConceptScore W4288356646C102993220 @default.
- W4288356646 hasConceptScore W4288356646C110039528 @default.
- W4288356646 hasConceptScore W4288356646C118615104 @default.
- W4288356646 hasConceptScore W4288356646C121332964 @default.
- W4288356646 hasConceptScore W4288356646C128828806 @default.
- W4288356646 hasConceptScore W4288356646C14523651 @default.
- W4288356646 hasConceptScore W4288356646C154945302 @default.
- W4288356646 hasConceptScore W4288356646C165801399 @default.
- W4288356646 hasConceptScore W4288356646C168773769 @default.
- W4288356646 hasConceptScore W4288356646C172385210 @default.
- W4288356646 hasConceptScore W4288356646C18998212 @default.
- W4288356646 hasConceptScore W4288356646C191222856 @default.
- W4288356646 hasConceptScore W4288356646C195344581 @default.
- W4288356646 hasConceptScore W4288356646C199360897 @default.
- W4288356646 hasConceptScore W4288356646C203659156 @default.
- W4288356646 hasConceptScore W4288356646C2776214188 @default.
- W4288356646 hasConceptScore W4288356646C2777212361 @default.
- W4288356646 hasConceptScore W4288356646C2777796570 @default.
- W4288356646 hasConceptScore W4288356646C33203268 @default.
- W4288356646 hasConceptScore W4288356646C33923547 @default.
- W4288356646 hasConceptScore W4288356646C3746660 @default.
- W4288356646 hasConceptScore W4288356646C3845977 @default.
- W4288356646 hasConceptScore W4288356646C41008148 @default.
- W4288356646 hasConceptScore W4288356646C49937458 @default.
- W4288356646 hasConceptScore W4288356646C62520636 @default.
- W4288356646 hasConceptScore W4288356646C69562738 @default.
- W4288356646 hasConceptScore W4288356646C78023250 @default.
- W4288356646 hasConceptScore W4288356646C80444323 @default.
- W4288356646 hasConceptScore W4288356646C97364631 @default.
- W4288356646 hasLocation W42883566461 @default.
- W4288356646 hasOpenAccess W4288356646 @default.
- W4288356646 hasPrimaryLocation W42883566461 @default.
- W4288356646 hasRelatedWork W1997703312 @default.
- W4288356646 hasRelatedWork W2020323165 @default.
- W4288356646 hasRelatedWork W2150027928 @default.
- W4288356646 hasRelatedWork W2376542614 @default.
- W4288356646 hasRelatedWork W2389277141 @default.
- W4288356646 hasRelatedWork W2666015 @default.
- W4288356646 hasRelatedWork W2897231663 @default.
- W4288356646 hasRelatedWork W56816291 @default.
- W4288356646 hasRelatedWork W913011239 @default.
- W4288356646 hasRelatedWork W2809620329 @default.
- W4288356646 isParatext "false" @default.
- W4288356646 isRetracted "false" @default.
- W4288356646 workType "article" @default.