FRINK Linked Data Fragments server

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

• W2044169892 endingPage "387" @default.
• W2044169892 startingPage "340" @default.
• W2044169892 abstract "It is well-known that almost all nonmonotonic formalisms have a higher worst-case complexity than classical reasoning. In some sense, this observation denies one of the original motivations of nonmonotonic systems, which was the expectation taht nonmonotonic rules should help to speed-up the reasoning process, and not make it more difficult. In this paper, we look at this issue from a proof-theoretical perspective. We consider analytic calculi for certain nonmonotonic logis and analyze to what extent the presence of nonmonotonic rules can simplify the search for proofs. In particular, we show that there are classes of first-order formulae which have only extremely long “classical” proofs, i.e., proofs without applications of nonmonotonic rules, but there are short proofs using nonmonotonic inferences. Hence,despite the increase of complexity in the worst case, there are instances where nonmonotonic reasoning can be much simpler than classical (cut-free) reasoning." @default.
• W2044169892 created "2016-06-24" @default.
• W2044169892 creator A5065693180 @default.
• W2044169892 creator A5073662063 @default.
• W2044169892 date "2001-07-01" @default.
• W2044169892 modified "2023-09-27" @default.
• W2044169892 title "Proof-complexity results for nonmonotonic reasoning" @default.
• W2044169892 cites W1504169145 @default.
• W2044169892 cites W1506700997 @default.
• W2044169892 cites W1509669894 @default.
• W2044169892 cites W1520888210 @default.
• W2044169892 cites W1552843312 @default.
• W2044169892 cites W1570226938 @default.
• W2044169892 cites W1577367575 @default.
• W2044169892 cites W1584559070 @default.
• W2044169892 cites W1985310272 @default.
• W2044169892 cites W1991972474 @default.
• W2044169892 cites W1992056012 @default.
• W2044169892 cites W1992852948 @default.
• W2044169892 cites W1997714358 @default.
• W2044169892 cites W2014810198 @default.
• W2044169892 cites W2016171120 @default.
• W2044169892 cites W2016237468 @default.
• W2044169892 cites W2017956822 @default.
• W2044169892 cites W2018221833 @default.
• W2044169892 cites W2019449346 @default.
• W2044169892 cites W2039977878 @default.
• W2044169892 cites W2049617814 @default.
• W2044169892 cites W2055029276 @default.
• W2044169892 cites W2067590843 @default.
• W2044169892 cites W2070717151 @default.
• W2044169892 cites W2075387439 @default.
• W2044169892 cites W2080142817 @default.
• W2044169892 cites W2083568285 @default.
• W2044169892 cites W2085184180 @default.
• W2044169892 cites W2129670289 @default.
• W2044169892 cites W2148718809 @default.
• W2044169892 cites W2155322595 @default.
• W2044169892 cites W2167907160 @default.
• W2044169892 cites W2945259913 @default.
• W2044169892 cites W4229938980 @default.
• W2044169892 cites W4237061074 @default.
• W2044169892 cites W4238881545 @default.
• W2044169892 cites W2054357915 @default.
• W2044169892 doi "https://doi.org/10.1145/377978.377987" @default.
• W2044169892 hasPublicationYear "2001" @default.
• W2044169892 type Work @default.
• W2044169892 sameAs 2044169892 @default.
• W2044169892 citedByCount "14" @default.
• W2044169892 countsByYear W20441698922012 @default.
• W2044169892 countsByYear W20441698922013 @default.
• W2044169892 countsByYear W20441698922014 @default.
• W2044169892 countsByYear W20441698922017 @default.
• W2044169892 countsByYear W20441698922020 @default.
• W2044169892 countsByYear W20441698922021 @default.
• W2044169892 countsByYear W20441698922023 @default.
• W2044169892 crossrefType "journal-article" @default.
• W2044169892 hasAuthorship W2044169892A5065693180 @default.
• W2044169892 hasAuthorship W2044169892A5073662063 @default.
• W2044169892 hasConcept C105605280 @default.
• W2044169892 hasConcept C108710211 @default.
• W2044169892 hasConcept C154945302 @default.
• W2044169892 hasConcept C159032336 @default.
• W2044169892 hasConcept C171018156 @default.
• W2044169892 hasConcept C195344581 @default.
• W2044169892 hasConcept C2524010 @default.
• W2044169892 hasConcept C33923547 @default.
• W2044169892 hasConcept C41008148 @default.
• W2044169892 hasConcept C80444323 @default.
• W2044169892 hasConcept C89288958 @default.
• W2044169892 hasConceptScore W2044169892C105605280 @default.
• W2044169892 hasConceptScore W2044169892C108710211 @default.
• W2044169892 hasConceptScore W2044169892C154945302 @default.
• W2044169892 hasConceptScore W2044169892C159032336 @default.
• W2044169892 hasConceptScore W2044169892C171018156 @default.
• W2044169892 hasConceptScore W2044169892C195344581 @default.
• W2044169892 hasConceptScore W2044169892C2524010 @default.
• W2044169892 hasConceptScore W2044169892C33923547 @default.
• W2044169892 hasConceptScore W2044169892C41008148 @default.
• W2044169892 hasConceptScore W2044169892C80444323 @default.
• W2044169892 hasConceptScore W2044169892C89288958 @default.
• W2044169892 hasIssue "3" @default.
• W2044169892 hasLocation W20441698921 @default.
• W2044169892 hasOpenAccess W2044169892 @default.
• W2044169892 hasPrimaryLocation W20441698921 @default.
• W2044169892 hasRelatedWork W1513716387 @default.
• W2044169892 hasRelatedWork W1545565886 @default.
• W2044169892 hasRelatedWork W1580356700 @default.
• W2044169892 hasRelatedWork W1752007346 @default.
• W2044169892 hasRelatedWork W1985711444 @default.
• W2044169892 hasRelatedWork W2044169892 @default.
• W2044169892 hasRelatedWork W2149224158 @default.
• W2044169892 hasRelatedWork W22612880 @default.
• W2044169892 hasRelatedWork W77119612 @default.
• W2044169892 hasRelatedWork W1660287273 @default.
• W2044169892 hasVolume "2" @default.
• W2044169892 isParatext "false" @default.
• W2044169892 isRetracted "false" @default.

• next