FRINK Linked Data Fragments server

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

• W2623664662 abstract "This document was only presented in a conference with no copyrighted proceedings. The theorems about incompleteness of arithmetic have often been cited as an argument against automatic theorem proving and expert systems. However, these theorems rely on a worst-case analysis, which might happen to be overly pessimistic with respect to real-world domain applications. For this reason, a new framework for a probabilistic analysis of logical complexity is presented in this paper. Specifically, the rate of non-decidable clauses and the convergence of a set of axioms toward the target one when the latter exists in the language are studied, by combining results from mathematical logic and from statistical learning. Two theoretical settings are considered, where learning relies respectively on Turing oracles guessing the provability of a statement from a set of statements, and computable approximations thereof. Interestingly, both settings lead to similar results regarding the convergence rate towards completeness." @default.
• W2623664662 created "2017-06-15" @default.
• W2623664662 creator A5002747181 @default.
• W2623664662 creator A5005493916 @default.
• W2623664662 creator A5034012952 @default.
• W2623664662 date "2007-01-01" @default.
• W2623664662 modified "2023-09-23" @default.
• W2623664662 title "Inductive-deductive systems: a mathematical logic and statistical learning perspective" @default.
• W2623664662 cites W1563736811 @default.
• W2623664662 cites W1564947197 @default.
• W2623664662 cites W1566436741 @default.
• W2623664662 cites W1585638233 @default.
• W2623664662 cites W1620410031 @default.
• W2623664662 cites W1971508608 @default.
• W2623664662 cites W2004652576 @default.
• W2623664662 cites W2019363670 @default.
• W2623664662 cites W2022601608 @default.
• W2623664662 cites W2025892354 @default.
• W2623664662 cites W2110712918 @default.
• W2623664662 cites W2155916019 @default.
• W2623664662 cites W2156909104 @default.
• W2623664662 cites W740415 @default.
• W2623664662 hasPublicationYear "2007" @default.
• W2623664662 type Work @default.
• W2623664662 sameAs 2623664662 @default.
• W2623664662 citedByCount "0" @default.
• W2623664662 crossrefType "journal-article" @default.
• W2623664662 hasAuthorship W2623664662A5002747181 @default.
• W2623664662 hasAuthorship W2623664662A5005493916 @default.
• W2623664662 hasAuthorship W2623664662A5034012952 @default.
• W2623664662 hasConcept C111472728 @default.
• W2623664662 hasConcept C11413529 @default.
• W2623664662 hasConcept C118615104 @default.
• W2623664662 hasConcept C134306372 @default.
• W2623664662 hasConcept C138885662 @default.
• W2623664662 hasConcept C144237770 @default.
• W2623664662 hasConcept C153269930 @default.
• W2623664662 hasConcept C154945302 @default.
• W2623664662 hasConcept C167729594 @default.
• W2623664662 hasConcept C17231256 @default.
• W2623664662 hasConcept C199343813 @default.
• W2623664662 hasConcept C199360897 @default.
• W2623664662 hasConcept C2524010 @default.
• W2623664662 hasConcept C2777026412 @default.
• W2623664662 hasConcept C2777686260 @default.
• W2623664662 hasConcept C33923547 @default.
• W2623664662 hasConcept C41008148 @default.
• W2623664662 hasConcept C47884741 @default.
• W2623664662 hasConcept C49937458 @default.
• W2623664662 hasConcept C71924100 @default.
• W2623664662 hasConcept C80444323 @default.
• W2623664662 hasConcept C97489613 @default.
• W2623664662 hasConcept C9870796 @default.
• W2623664662 hasConceptScore W2623664662C111472728 @default.
• W2623664662 hasConceptScore W2623664662C11413529 @default.
• W2623664662 hasConceptScore W2623664662C118615104 @default.
• W2623664662 hasConceptScore W2623664662C134306372 @default.
• W2623664662 hasConceptScore W2623664662C138885662 @default.
• W2623664662 hasConceptScore W2623664662C144237770 @default.
• W2623664662 hasConceptScore W2623664662C153269930 @default.
• W2623664662 hasConceptScore W2623664662C154945302 @default.
• W2623664662 hasConceptScore W2623664662C167729594 @default.
• W2623664662 hasConceptScore W2623664662C17231256 @default.
• W2623664662 hasConceptScore W2623664662C199343813 @default.
• W2623664662 hasConceptScore W2623664662C199360897 @default.
• W2623664662 hasConceptScore W2623664662C2524010 @default.
• W2623664662 hasConceptScore W2623664662C2777026412 @default.
• W2623664662 hasConceptScore W2623664662C2777686260 @default.
• W2623664662 hasConceptScore W2623664662C33923547 @default.
• W2623664662 hasConceptScore W2623664662C41008148 @default.
• W2623664662 hasConceptScore W2623664662C47884741 @default.
• W2623664662 hasConceptScore W2623664662C49937458 @default.
• W2623664662 hasConceptScore W2623664662C71924100 @default.
• W2623664662 hasConceptScore W2623664662C80444323 @default.
• W2623664662 hasConceptScore W2623664662C97489613 @default.
• W2623664662 hasConceptScore W2623664662C9870796 @default.
• W2623664662 hasLocation W26236646621 @default.
• W2623664662 hasOpenAccess W2623664662 @default.
• W2623664662 hasPrimaryLocation W26236646621 @default.
• W2623664662 hasRelatedWork W1500732533 @default.
• W2623664662 hasRelatedWork W1558239655 @default.
• W2623664662 hasRelatedWork W1634527695 @default.
• W2623664662 hasRelatedWork W2044177285 @default.
• W2623664662 hasRelatedWork W2078890032 @default.
• W2623664662 hasRelatedWork W2103396505 @default.
• W2623664662 hasRelatedWork W2142779776 @default.
• W2623664662 hasRelatedWork W2167991785 @default.
• W2623664662 hasRelatedWork W2284126440 @default.
• W2623664662 hasRelatedWork W2561381301 @default.
• W2623664662 hasRelatedWork W2595250759 @default.
• W2623664662 hasRelatedWork W2608395911 @default.
• W2623664662 hasRelatedWork W2889525872 @default.
• W2623664662 hasRelatedWork W2941092972 @default.
• W2623664662 hasRelatedWork W2952794823 @default.
• W2623664662 hasRelatedWork W2964019829 @default.
• W2623664662 hasRelatedWork W2970818529 @default.
• W2623664662 hasRelatedWork W3043437077 @default.
• W2623664662 hasRelatedWork W38319975 @default.
• W2623664662 hasRelatedWork W2292178561 @default.
• W2623664662 isParatext "false" @default.

• next