FRINK Linked Data Fragments server

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

• W1551766831 endingPage "43" @default.
• W1551766831 startingPage "30" @default.
• W1551766831 abstract "Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic. In this paper we examine these calculi from a proof-complexity perspective. In particular, we show that the calculus for credulous reasoning obeys almost the same bounds on the proof size as Gentzen’s system LK. Hence proving lower bounds for credulous reasoning will be as hard as proving lower bounds for LK. On the other hand, we show an exponential lower bound to the proof size in Bonatti and Olivetti’s enhanced calculus for skeptical default reasoning." @default.
• W1551766831 created "2016-06-24" @default.
• W1551766831 creator A5008982209 @default.
• W1551766831 creator A5025571978 @default.
• W1551766831 creator A5042128349 @default.
• W1551766831 creator A5057581659 @default.
• W1551766831 creator A5081736632 @default.
• W1551766831 date "2010-01-01" @default.
• W1551766831 modified "2023-09-25" @default.
• W1551766831 title "Proof Complexity of Propositional Default Logic" @default.
• W1551766831 cites W1504738844 @default.
• W1551766831 cites W1761876784 @default.
• W1551766831 cites W1988083342 @default.
• W1551766831 cites W1997714358 @default.
• W1551766831 cites W1999069928 @default.
• W1551766831 cites W2012102524 @default.
• W1551766831 cites W2016171120 @default.
• W1551766831 cites W2019449346 @default.
• W1551766831 cites W2019738341 @default.
• W1551766831 cites W2044169892 @default.
• W1551766831 cites W2080142817 @default.
• W1551766831 cites W2085184180 @default.
• W1551766831 cites W2101249878 @default.
• W1551766831 cites W2155322595 @default.
• W1551766831 cites W2155797483 @default.
• W1551766831 cites W2165390183 @default.
• W1551766831 cites W4248733413 @default.
• W1551766831 cites W4251401320 @default.
• W1551766831 doi "https://doi.org/10.1007/978-3-642-14186-7_5" @default.
• W1551766831 hasPublicationYear "2010" @default.
• W1551766831 type Work @default.
• W1551766831 sameAs 1551766831 @default.
• W1551766831 citedByCount "1" @default.
• W1551766831 crossrefType "book-chapter" @default.
• W1551766831 hasAuthorship W1551766831A5008982209 @default.
• W1551766831 hasAuthorship W1551766831A5025571978 @default.
• W1551766831 hasAuthorship W1551766831A5042128349 @default.
• W1551766831 hasAuthorship W1551766831A5057581659 @default.
• W1551766831 hasAuthorship W1551766831A5081736632 @default.
• W1551766831 hasBestOaLocation W15517668312 @default.
• W1551766831 hasConcept C102993220 @default.
• W1551766831 hasConcept C105605280 @default.
• W1551766831 hasConcept C108710211 @default.
• W1551766831 hasConcept C111472728 @default.
• W1551766831 hasConcept C138885662 @default.
• W1551766831 hasConcept C154945302 @default.
• W1551766831 hasConcept C159032336 @default.
• W1551766831 hasConcept C160236029 @default.
• W1551766831 hasConcept C171018156 @default.
• W1551766831 hasConcept C18296254 @default.
• W1551766831 hasConcept C199343813 @default.
• W1551766831 hasConcept C199360897 @default.
• W1551766831 hasConcept C203659156 @default.
• W1551766831 hasConcept C2318724 @default.
• W1551766831 hasConcept C2524010 @default.
• W1551766831 hasConcept C2777686260 @default.
• W1551766831 hasConcept C33923547 @default.
• W1551766831 hasConcept C3845977 @default.
• W1551766831 hasConcept C41008148 @default.
• W1551766831 hasConcept C62073222 @default.
• W1551766831 hasConcept C62360110 @default.
• W1551766831 hasConcept C65880906 @default.
• W1551766831 hasConcept C69562738 @default.
• W1551766831 hasConcept C71924100 @default.
• W1551766831 hasConcept C80444323 @default.
• W1551766831 hasConcept C89421646 @default.
• W1551766831 hasConcept C97364631 @default.
• W1551766831 hasConceptScore W1551766831C102993220 @default.
• W1551766831 hasConceptScore W1551766831C105605280 @default.
• W1551766831 hasConceptScore W1551766831C108710211 @default.
• W1551766831 hasConceptScore W1551766831C111472728 @default.
• W1551766831 hasConceptScore W1551766831C138885662 @default.
• W1551766831 hasConceptScore W1551766831C154945302 @default.
• W1551766831 hasConceptScore W1551766831C159032336 @default.
• W1551766831 hasConceptScore W1551766831C160236029 @default.
• W1551766831 hasConceptScore W1551766831C171018156 @default.
• W1551766831 hasConceptScore W1551766831C18296254 @default.
• W1551766831 hasConceptScore W1551766831C199343813 @default.
• W1551766831 hasConceptScore W1551766831C199360897 @default.
• W1551766831 hasConceptScore W1551766831C203659156 @default.
• W1551766831 hasConceptScore W1551766831C2318724 @default.
• W1551766831 hasConceptScore W1551766831C2524010 @default.
• W1551766831 hasConceptScore W1551766831C2777686260 @default.
• W1551766831 hasConceptScore W1551766831C33923547 @default.
• W1551766831 hasConceptScore W1551766831C3845977 @default.
• W1551766831 hasConceptScore W1551766831C41008148 @default.
• W1551766831 hasConceptScore W1551766831C62073222 @default.
• W1551766831 hasConceptScore W1551766831C62360110 @default.
• W1551766831 hasConceptScore W1551766831C65880906 @default.
• W1551766831 hasConceptScore W1551766831C69562738 @default.
• W1551766831 hasConceptScore W1551766831C71924100 @default.
• W1551766831 hasConceptScore W1551766831C80444323 @default.
• W1551766831 hasConceptScore W1551766831C89421646 @default.
• W1551766831 hasConceptScore W1551766831C97364631 @default.
• W1551766831 hasLocation W15517668311 @default.
• W1551766831 hasLocation W15517668312 @default.
• W1551766831 hasLocation W15517668313 @default.
• W1551766831 hasOpenAccess W1551766831 @default.

• next