FRINK Linked Data Fragments server

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

• W3157498506 abstract "Logic-based approaches to AI have the advantage that their behavior can in principle be explained to a user. If, for instance, a Description Logic reasoner derives a consequence that triggers some action of the overall system, then one can explain such an entailment by presenting a proof of the consequence in an appropriate calculus. How comprehensible such a proof is depends not only on the employed calculus, but also on the properties of the particular proof, such as its overall size, its depth, the complexity of the employed sentences and proof steps, etc. For this reason, we want to determine the complexity of generating proofs that are below a certain threshold w.r.t. a given measure of proof quality. Rather than investigating this problem for a fixed proof calculus and a fixed measure, we aim for general results that hold for wide classes of calculi and measures. In previous work, we first restricted the attention to a setting where proof size is used to measure the quality of a proof. We then extended the approach to a more general setting, but important measures such as proof depth were not covered. In the present paper, we provide results for a class of measures called recursive, which yields lower complexities and also encompasses proof depth. In addition, we close some gaps left open in our previous work, thus providing a comprehensive picture of the complexity landscape." @default.
• W3157498506 created "2021-05-10" @default.
• W3157498506 creator A5020877951 @default.
• W3157498506 creator A5044293361 @default.
• W3157498506 creator A5072323649 @default.
• W3157498506 creator A5073784210 @default.
• W3157498506 creator A5086254817 @default.
• W3157498506 date "2021-04-27" @default.
• W3157498506 modified "2023-09-27" @default.
• W3157498506 title "Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)." @default.
• W3157498506 cites W1480335431 @default.
• W3157498506 cites W1503639539 @default.
• W3157498506 cites W1528986923 @default.
• W3157498506 cites W1539585318 @default.
• W3157498506 cites W1584089457 @default.
• W3157498506 cites W1604657119 @default.
• W3157498506 cites W1667574996 @default.
• W3157498506 cites W181019280 @default.
• W3157498506 cites W181545316 @default.
• W3157498506 cites W1823516517 @default.
• W3157498506 cites W2037522339 @default.
• W3157498506 cites W2111386773 @default.
• W3157498506 cites W2112660220 @default.
• W3157498506 cites W2136512627 @default.
• W3157498506 cites W2145227222 @default.
• W3157498506 cites W2394643924 @default.
• W3157498506 cites W2572885380 @default.
• W3157498506 cites W2739694359 @default.
• W3157498506 cites W2741242335 @default.
• W3157498506 cites W2758171088 @default.
• W3157498506 cites W2997428643 @default.
• W3157498506 cites W3090282170 @default.
• W3157498506 cites W3090876837 @default.
• W3157498506 cites W3099486949 @default.
• W3157498506 cites W3177831581 @default.
• W3157498506 cites W340210133 @default.
• W3157498506 cites W3527310 @default.
• W3157498506 cites W62327733 @default.
• W3157498506 hasPublicationYear "2021" @default.
• W3157498506 type Work @default.
• W3157498506 sameAs 3157498506 @default.
• W3157498506 citedByCount "0" @default.
• W3157498506 crossrefType "posted-content" @default.
• W3157498506 hasAuthorship W3157498506A5020877951 @default.
• W3157498506 hasAuthorship W3157498506A5044293361 @default.
• W3157498506 hasAuthorship W3157498506A5072323649 @default.
• W3157498506 hasAuthorship W3157498506A5073784210 @default.
• W3157498506 hasAuthorship W3157498506A5086254817 @default.
• W3157498506 hasConcept C105605280 @default.
• W3157498506 hasConcept C108710211 @default.
• W3157498506 hasConcept C111472728 @default.
• W3157498506 hasConcept C111919701 @default.
• W3157498506 hasConcept C118539577 @default.
• W3157498506 hasConcept C118615104 @default.
• W3157498506 hasConcept C124101348 @default.
• W3157498506 hasConcept C124978682 @default.
• W3157498506 hasConcept C134752490 @default.
• W3157498506 hasConcept C138885662 @default.
• W3157498506 hasConcept C154945302 @default.
• W3157498506 hasConcept C161505775 @default.
• W3157498506 hasConcept C195653647 @default.
• W3157498506 hasConcept C199343813 @default.
• W3157498506 hasConcept C199360897 @default.
• W3157498506 hasConcept C2318724 @default.
• W3157498506 hasConcept C2524010 @default.
• W3157498506 hasConcept C2777212361 @default.
• W3157498506 hasConcept C2777686260 @default.
• W3157498506 hasConcept C2779530757 @default.
• W3157498506 hasConcept C2780009758 @default.
• W3157498506 hasConcept C33923547 @default.
• W3157498506 hasConcept C41008148 @default.
• W3157498506 hasConcept C71924100 @default.
• W3157498506 hasConcept C80444323 @default.
• W3157498506 hasConcept C9616225 @default.
• W3157498506 hasConceptScore W3157498506C105605280 @default.
• W3157498506 hasConceptScore W3157498506C108710211 @default.
• W3157498506 hasConceptScore W3157498506C111472728 @default.
• W3157498506 hasConceptScore W3157498506C111919701 @default.
• W3157498506 hasConceptScore W3157498506C118539577 @default.
• W3157498506 hasConceptScore W3157498506C118615104 @default.
• W3157498506 hasConceptScore W3157498506C124101348 @default.
• W3157498506 hasConceptScore W3157498506C124978682 @default.
• W3157498506 hasConceptScore W3157498506C134752490 @default.
• W3157498506 hasConceptScore W3157498506C138885662 @default.
• W3157498506 hasConceptScore W3157498506C154945302 @default.
• W3157498506 hasConceptScore W3157498506C161505775 @default.
• W3157498506 hasConceptScore W3157498506C195653647 @default.
• W3157498506 hasConceptScore W3157498506C199343813 @default.
• W3157498506 hasConceptScore W3157498506C199360897 @default.
• W3157498506 hasConceptScore W3157498506C2318724 @default.
• W3157498506 hasConceptScore W3157498506C2524010 @default.
• W3157498506 hasConceptScore W3157498506C2777212361 @default.
• W3157498506 hasConceptScore W3157498506C2777686260 @default.
• W3157498506 hasConceptScore W3157498506C2779530757 @default.
• W3157498506 hasConceptScore W3157498506C2780009758 @default.
• W3157498506 hasConceptScore W3157498506C33923547 @default.
• W3157498506 hasConceptScore W3157498506C41008148 @default.
• W3157498506 hasConceptScore W3157498506C71924100 @default.
• W3157498506 hasConceptScore W3157498506C80444323 @default.
• W3157498506 hasConceptScore W3157498506C9616225 @default.

• next