Matches in SemOpenAlex for { <https://semopenalex.org/work/W2768432875> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2768432875 endingPage "26" @default.
- W2768432875 startingPage "11" @default.
- W2768432875 abstract "We present tableaux calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableaux proof procedure for preferential logic P and for loop-cumulative logic CL. 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.
- W2768432875 created "2017-12-04" @default.
- W2768432875 creator A5000093016 @default.
- W2768432875 creator A5002078119 @default.
- W2768432875 creator A5017785610 @default.
- W2768432875 creator A5055132165 @default.
- W2768432875 date "2005-01-01" @default.
- W2768432875 modified "2023-09-28" @default.
- W2768432875 title "A Tableaux Calculus for KLM Preferential and Cumulative Logics" @default.
- W2768432875 cites W138946700 @default.
- W2768432875 cites W1483339275 @default.
- W2768432875 cites W1525236820 @default.
- W2768432875 cites W1740840090 @default.
- W2768432875 cites W1761876784 @default.
- W2768432875 cites W2019701567 @default.
- W2768432875 cites W2044081892 @default.
- W2768432875 cites W2080142817 @default.
- W2768432875 cites W2081202140 @default.
- W2768432875 cites W2089822569 @default.
- W2768432875 cites W2167907160 @default.
- W2768432875 cites W669893 @default.
- W2768432875 hasPublicationYear "2005" @default.
- W2768432875 type Work @default.
- W2768432875 sameAs 2768432875 @default.
- W2768432875 citedByCount "1" @default.
- W2768432875 crossrefType "proceedings-article" @default.
- W2768432875 hasAuthorship W2768432875A5000093016 @default.
- W2768432875 hasAuthorship W2768432875A5002078119 @default.
- W2768432875 hasAuthorship W2768432875A5017785610 @default.
- W2768432875 hasAuthorship W2768432875A5055132165 @default.
- W2768432875 hasConcept C118615104 @default.
- W2768432875 hasConcept C136119220 @default.
- W2768432875 hasConcept C199343813 @default.
- W2768432875 hasConcept C202444582 @default.
- W2768432875 hasConcept C2777686260 @default.
- W2768432875 hasConcept C33923547 @default.
- W2768432875 hasConcept C41008148 @default.
- W2768432875 hasConcept C71924100 @default.
- W2768432875 hasConcept C80444323 @default.
- W2768432875 hasConceptScore W2768432875C118615104 @default.
- W2768432875 hasConceptScore W2768432875C136119220 @default.
- W2768432875 hasConceptScore W2768432875C199343813 @default.
- W2768432875 hasConceptScore W2768432875C202444582 @default.
- W2768432875 hasConceptScore W2768432875C2777686260 @default.
- W2768432875 hasConceptScore W2768432875C33923547 @default.
- W2768432875 hasConceptScore W2768432875C41008148 @default.
- W2768432875 hasConceptScore W2768432875C71924100 @default.
- W2768432875 hasConceptScore W2768432875C80444323 @default.
- W2768432875 hasLocation W27684328751 @default.
- W2768432875 hasOpenAccess W2768432875 @default.
- W2768432875 hasPrimaryLocation W27684328751 @default.
- W2768432875 hasRelatedWork W1503268616 @default.
- W2768432875 hasRelatedWork W1567530468 @default.
- W2768432875 hasRelatedWork W1596032505 @default.
- W2768432875 hasRelatedWork W183020182 @default.
- W2768432875 hasRelatedWork W1979014177 @default.
- W2768432875 hasRelatedWork W1991361313 @default.
- W2768432875 hasRelatedWork W1993721797 @default.
- W2768432875 hasRelatedWork W2120887282 @default.
- W2768432875 hasRelatedWork W2148143203 @default.
- W2768432875 hasRelatedWork W2176422838 @default.
- W2768432875 hasRelatedWork W2270414801 @default.
- W2768432875 hasRelatedWork W2320911652 @default.
- W2768432875 hasRelatedWork W2540819425 @default.
- W2768432875 hasRelatedWork W2932811397 @default.
- W2768432875 hasRelatedWork W2964282487 @default.
- W2768432875 hasRelatedWork W3006060394 @default.
- W2768432875 hasRelatedWork W3008715280 @default.
- W2768432875 hasRelatedWork W3034818545 @default.
- W2768432875 hasRelatedWork W3103407543 @default.
- W2768432875 hasRelatedWork W6559486 @default.
- W2768432875 hasVolume "12" @default.
- W2768432875 isParatext "false" @default.
- W2768432875 isRetracted "false" @default.
- W2768432875 magId "2768432875" @default.
- W2768432875 workType "article" @default.