FRINK Linked Data Fragments server

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

• W2086424170 endingPage "988" @default.
• W2086424170 startingPage "961" @default.
• W2086424170 abstract "Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be represented faithfully by means of modal nonmonotonic logics in the family proposed by McDermott and Doyle. In this paper properties of logics in this family are thoroughly investigated. We present several results on characterization of expansions. These results are applicable to a wide class of nonmonotonic modal logics. Using these characterization results, algorithms for computing expansions for finite theories are developed. Perhaps the most important finding of this paper is that the structure of the family of modal nonmonotonic logics is much simpler than that of the family of underlying modal (monotonic) logics. Namely, it is often the case that different monotonic modal logics collapse to the same nonmonotonic system. We exhibit four families of logics whose nonmonotonic variants coincide: 5-KD45, TW5-SW5, N-WK , and W5-D4WB . These nonmonotonic logics naturally represent logics related to commonsense reasoning and knowledge representation such as autoepistemic logic, reflexive autoepistemic logic, default logic, and truth maintenance with negation." @default.
• W2086424170 created "2016-06-24" @default.
• W2086424170 creator A5048411051 @default.
• W2086424170 creator A5059534910 @default.
• W2086424170 creator A5079794036 @default.
• W2086424170 date "1993-09-01" @default.
• W2086424170 modified "2023-09-23" @default.
• W2086424170 title "Modal nonmonotonic logics" @default.
• W2086424170 cites W136379439 @default.
• W2086424170 cites W1966552757 @default.
• W2086424170 cites W1966761138 @default.
• W2086424170 cites W1996347293 @default.
• W2086424170 cites W2067326626 @default.
• W2086424170 cites W2155322595 @default.
• W2086424170 cites W2169602487 @default.
• W2086424170 cites W4242309855 @default.
• W2086424170 doi "https://doi.org/10.1145/153724.153773" @default.
• W2086424170 hasPublicationYear "1993" @default.
• W2086424170 type Work @default.
• W2086424170 sameAs 2086424170 @default.
• W2086424170 citedByCount "41" @default.
• W2086424170 countsByYear W20864241702012 @default.
• W2086424170 countsByYear W20864241702014 @default.
• W2086424170 crossrefType "journal-article" @default.
• W2086424170 hasAuthorship W2086424170A5048411051 @default.
• W2086424170 hasAuthorship W2086424170A5059534910 @default.
• W2086424170 hasAuthorship W2086424170A5079794036 @default.
• W2086424170 hasBestOaLocation W20864241702 @default.
• W2086424170 hasConcept C102993220 @default.
• W2086424170 hasConcept C11191006 @default.
• W2086424170 hasConcept C114092440 @default.
• W2086424170 hasConcept C121332964 @default.
• W2086424170 hasConcept C154945302 @default.
• W2086424170 hasConcept C159032336 @default.
• W2086424170 hasConcept C160236029 @default.
• W2086424170 hasConcept C165801399 @default.
• W2086424170 hasConcept C172385210 @default.
• W2086424170 hasConcept C185592680 @default.
• W2086424170 hasConcept C188027245 @default.
• W2086424170 hasConcept C192609573 @default.
• W2086424170 hasConcept C199360897 @default.
• W2086424170 hasConcept C203659156 @default.
• W2086424170 hasConcept C2185349 @default.
• W2086424170 hasConcept C27508121 @default.
• W2086424170 hasConcept C2777796570 @default.
• W2086424170 hasConcept C33203268 @default.
• W2086424170 hasConcept C33923547 @default.
• W2086424170 hasConcept C3845977 @default.
• W2086424170 hasConcept C41008148 @default.
• W2086424170 hasConcept C42011625 @default.
• W2086424170 hasConcept C5263885 @default.
• W2086424170 hasConcept C58166 @default.
• W2086424170 hasConcept C62520636 @default.
• W2086424170 hasConcept C71139939 @default.
• W2086424170 hasConcept C78344899 @default.
• W2086424170 hasConcept C80444323 @default.
• W2086424170 hasConcept C86602344 @default.
• W2086424170 hasConceptScore W2086424170C102993220 @default.
• W2086424170 hasConceptScore W2086424170C11191006 @default.
• W2086424170 hasConceptScore W2086424170C114092440 @default.
• W2086424170 hasConceptScore W2086424170C121332964 @default.
• W2086424170 hasConceptScore W2086424170C154945302 @default.
• W2086424170 hasConceptScore W2086424170C159032336 @default.
• W2086424170 hasConceptScore W2086424170C160236029 @default.
• W2086424170 hasConceptScore W2086424170C165801399 @default.
• W2086424170 hasConceptScore W2086424170C172385210 @default.
• W2086424170 hasConceptScore W2086424170C185592680 @default.
• W2086424170 hasConceptScore W2086424170C188027245 @default.
• W2086424170 hasConceptScore W2086424170C192609573 @default.
• W2086424170 hasConceptScore W2086424170C199360897 @default.
• W2086424170 hasConceptScore W2086424170C203659156 @default.
• W2086424170 hasConceptScore W2086424170C2185349 @default.
• W2086424170 hasConceptScore W2086424170C27508121 @default.
• W2086424170 hasConceptScore W2086424170C2777796570 @default.
• W2086424170 hasConceptScore W2086424170C33203268 @default.
• W2086424170 hasConceptScore W2086424170C33923547 @default.
• W2086424170 hasConceptScore W2086424170C3845977 @default.
• W2086424170 hasConceptScore W2086424170C41008148 @default.
• W2086424170 hasConceptScore W2086424170C42011625 @default.
• W2086424170 hasConceptScore W2086424170C5263885 @default.
• W2086424170 hasConceptScore W2086424170C58166 @default.
• W2086424170 hasConceptScore W2086424170C62520636 @default.
• W2086424170 hasConceptScore W2086424170C71139939 @default.
• W2086424170 hasConceptScore W2086424170C78344899 @default.
• W2086424170 hasConceptScore W2086424170C80444323 @default.
• W2086424170 hasConceptScore W2086424170C86602344 @default.
• W2086424170 hasIssue "4" @default.
• W2086424170 hasLocation W20864241701 @default.
• W2086424170 hasLocation W20864241702 @default.
• W2086424170 hasOpenAccess W2086424170 @default.
• W2086424170 hasPrimaryLocation W20864241701 @default.
• W2086424170 hasRelatedWork W1131711164 @default.
• W2086424170 hasRelatedWork W176661328 @default.
• W2086424170 hasRelatedWork W2071180427 @default.
• W2086424170 hasRelatedWork W207809670 @default.
• W2086424170 hasRelatedWork W2086424170 @default.
• W2086424170 hasRelatedWork W2140174804 @default.
• W2086424170 hasRelatedWork W2186480163 @default.

• next