Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551296299> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1551296299 endingPage "681" @default.
- W1551296299 startingPage "666" @default.
- W1551296299 abstract "We present tableau calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for preferential and cumulative logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. Moreover, they give a decision procedure for the respective logics and can be used to establish their complexity." @default.
- W1551296299 created "2016-06-24" @default.
- W1551296299 creator A5000093016 @default.
- W1551296299 creator A5002078119 @default.
- W1551296299 creator A5017785610 @default.
- W1551296299 creator A5055132165 @default.
- W1551296299 date "2005-01-01" @default.
- W1551296299 modified "2023-09-30" @default.
- W1551296299 title "Analytic Tableaux for KLM Preferential and Cumulative Logics" @default.
- W1551296299 cites W1483339275 @default.
- W1551296299 cites W1497109150 @default.
- W1551296299 cites W1525236820 @default.
- W1551296299 cites W1761876784 @default.
- W1551296299 cites W2019701567 @default.
- W1551296299 cites W2044081892 @default.
- W1551296299 cites W2080142817 @default.
- W1551296299 cites W2081202140 @default.
- W1551296299 cites W2089822569 @default.
- W1551296299 cites W2167907160 @default.
- W1551296299 doi "https://doi.org/10.1007/11591191_46" @default.
- W1551296299 hasPublicationYear "2005" @default.
- W1551296299 type Work @default.
- W1551296299 sameAs 1551296299 @default.
- W1551296299 citedByCount "19" @default.
- W1551296299 countsByYear W15512962992012 @default.
- W1551296299 countsByYear W15512962992019 @default.
- W1551296299 countsByYear W15512962992021 @default.
- W1551296299 countsByYear W15512962992023 @default.
- W1551296299 crossrefType "book-chapter" @default.
- W1551296299 hasAuthorship W1551296299A5000093016 @default.
- W1551296299 hasAuthorship W1551296299A5002078119 @default.
- W1551296299 hasAuthorship W1551296299A5017785610 @default.
- W1551296299 hasAuthorship W1551296299A5055132165 @default.
- W1551296299 hasConcept C11413529 @default.
- W1551296299 hasConcept C136119220 @default.
- W1551296299 hasConcept C144024400 @default.
- W1551296299 hasConcept C154945302 @default.
- W1551296299 hasConcept C199343813 @default.
- W1551296299 hasConcept C202444582 @default.
- W1551296299 hasConcept C2777686260 @default.
- W1551296299 hasConcept C2779903281 @default.
- W1551296299 hasConcept C33923547 @default.
- W1551296299 hasConcept C36289849 @default.
- W1551296299 hasConcept C41008148 @default.
- W1551296299 hasConcept C42011625 @default.
- W1551296299 hasConcept C5263885 @default.
- W1551296299 hasConcept C58166 @default.
- W1551296299 hasConcept C71924100 @default.
- W1551296299 hasConcept C80444323 @default.
- W1551296299 hasConcept C86602344 @default.
- W1551296299 hasConceptScore W1551296299C11413529 @default.
- W1551296299 hasConceptScore W1551296299C136119220 @default.
- W1551296299 hasConceptScore W1551296299C144024400 @default.
- W1551296299 hasConceptScore W1551296299C154945302 @default.
- W1551296299 hasConceptScore W1551296299C199343813 @default.
- W1551296299 hasConceptScore W1551296299C202444582 @default.
- W1551296299 hasConceptScore W1551296299C2777686260 @default.
- W1551296299 hasConceptScore W1551296299C2779903281 @default.
- W1551296299 hasConceptScore W1551296299C33923547 @default.
- W1551296299 hasConceptScore W1551296299C36289849 @default.
- W1551296299 hasConceptScore W1551296299C41008148 @default.
- W1551296299 hasConceptScore W1551296299C42011625 @default.
- W1551296299 hasConceptScore W1551296299C5263885 @default.
- W1551296299 hasConceptScore W1551296299C58166 @default.
- W1551296299 hasConceptScore W1551296299C71924100 @default.
- W1551296299 hasConceptScore W1551296299C80444323 @default.
- W1551296299 hasConceptScore W1551296299C86602344 @default.
- W1551296299 hasLocation W15512962991 @default.
- W1551296299 hasLocation W15512962992 @default.
- W1551296299 hasOpenAccess W1551296299 @default.
- W1551296299 hasPrimaryLocation W15512962991 @default.
- W1551296299 hasRelatedWork W169137922 @default.
- W1551296299 hasRelatedWork W1783029874 @default.
- W1551296299 hasRelatedWork W2006614341 @default.
- W1551296299 hasRelatedWork W2294217467 @default.
- W1551296299 hasRelatedWork W2386767533 @default.
- W1551296299 hasRelatedWork W4214860462 @default.
- W1551296299 hasRelatedWork W4288880606 @default.
- W1551296299 hasRelatedWork W4367840777 @default.
- W1551296299 hasRelatedWork W810602762 @default.
- W1551296299 hasRelatedWork W2181890270 @default.
- W1551296299 isParatext "false" @default.
- W1551296299 isRetracted "false" @default.
- W1551296299 magId "1551296299" @default.
- W1551296299 workType "book-chapter" @default.