Matches in SemOpenAlex for { <https://semopenalex.org/work/W2984231500> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2984231500 endingPage "144" @default.
- W2984231500 startingPage "133" @default.
- W2984231500 abstract "Since Konolige's translation of default logic into strongly grounded autoepistemic logic, several other variants of Moore's original autoepistemic logic that embody default logic have been studied. All these logics differ significantly from Moore's autoepistemic logic (standard AEL) in that expansions are subject to additional groundedness-conditions. Hence, the question naturally arises whether default logic can be translated into standard AEL at all. We show, that a modular translation is not possible. However, we exhibit a a faithful polynomial-time translation from propositional default logic into standard AEL which is nonmodular. It follows that the expressive power of standard AEL is strictly greater than that of default logic. Our translation uses as important intermediate step an embedding of Marek's and Truszczynski's nonmonotonic logic N into standard AEL." @default.
- W2984231500 created "2019-11-22" @default.
- W2984231500 creator A5050151740 @default.
- W2984231500 date "1992-01-01" @default.
- W2984231500 modified "2023-09-26" @default.
- W2984231500 title "The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic." @default.
- W2984231500 hasPublicationYear "1992" @default.
- W2984231500 type Work @default.
- W2984231500 sameAs 2984231500 @default.
- W2984231500 citedByCount "0" @default.
- W2984231500 crossrefType "journal-article" @default.
- W2984231500 hasAuthorship W2984231500A5050151740 @default.
- W2984231500 hasConcept C102993220 @default.
- W2984231500 hasConcept C104317684 @default.
- W2984231500 hasConcept C105580179 @default.
- W2984231500 hasConcept C110039528 @default.
- W2984231500 hasConcept C11413529 @default.
- W2984231500 hasConcept C121332964 @default.
- W2984231500 hasConcept C149364088 @default.
- W2984231500 hasConcept C150889026 @default.
- W2984231500 hasConcept C159032336 @default.
- W2984231500 hasConcept C160236029 @default.
- W2984231500 hasConcept C165801399 @default.
- W2984231500 hasConcept C172385210 @default.
- W2984231500 hasConcept C185592680 @default.
- W2984231500 hasConcept C203659156 @default.
- W2984231500 hasConcept C2777796570 @default.
- W2984231500 hasConcept C33203268 @default.
- W2984231500 hasConcept C33923547 @default.
- W2984231500 hasConcept C3845977 @default.
- W2984231500 hasConcept C41008148 @default.
- W2984231500 hasConcept C55493867 @default.
- W2984231500 hasConcept C62520636 @default.
- W2984231500 hasConcept C80444323 @default.
- W2984231500 hasConcept C94375191 @default.
- W2984231500 hasConceptScore W2984231500C102993220 @default.
- W2984231500 hasConceptScore W2984231500C104317684 @default.
- W2984231500 hasConceptScore W2984231500C105580179 @default.
- W2984231500 hasConceptScore W2984231500C110039528 @default.
- W2984231500 hasConceptScore W2984231500C11413529 @default.
- W2984231500 hasConceptScore W2984231500C121332964 @default.
- W2984231500 hasConceptScore W2984231500C149364088 @default.
- W2984231500 hasConceptScore W2984231500C150889026 @default.
- W2984231500 hasConceptScore W2984231500C159032336 @default.
- W2984231500 hasConceptScore W2984231500C160236029 @default.
- W2984231500 hasConceptScore W2984231500C165801399 @default.
- W2984231500 hasConceptScore W2984231500C172385210 @default.
- W2984231500 hasConceptScore W2984231500C185592680 @default.
- W2984231500 hasConceptScore W2984231500C203659156 @default.
- W2984231500 hasConceptScore W2984231500C2777796570 @default.
- W2984231500 hasConceptScore W2984231500C33203268 @default.
- W2984231500 hasConceptScore W2984231500C33923547 @default.
- W2984231500 hasConceptScore W2984231500C3845977 @default.
- W2984231500 hasConceptScore W2984231500C41008148 @default.
- W2984231500 hasConceptScore W2984231500C55493867 @default.
- W2984231500 hasConceptScore W2984231500C62520636 @default.
- W2984231500 hasConceptScore W2984231500C80444323 @default.
- W2984231500 hasConceptScore W2984231500C94375191 @default.
- W2984231500 hasLocation W29842315001 @default.
- W2984231500 hasOpenAccess W2984231500 @default.
- W2984231500 hasPrimaryLocation W29842315001 @default.
- W2984231500 hasRelatedWork W1507743085 @default.
- W2984231500 hasRelatedWork W1578905786 @default.
- W2984231500 hasRelatedWork W1588085199 @default.
- W2984231500 hasRelatedWork W1749135959 @default.
- W2984231500 hasRelatedWork W2030773975 @default.
- W2984231500 hasRelatedWork W2087561262 @default.
- W2984231500 hasRelatedWork W2100078804 @default.
- W2984231500 hasRelatedWork W2119887426 @default.
- W2984231500 hasRelatedWork W2295099510 @default.
- W2984231500 hasRelatedWork W2375042361 @default.
- W2984231500 hasRelatedWork W2510221240 @default.
- W2984231500 hasRelatedWork W2563126189 @default.
- W2984231500 hasRelatedWork W2666015 @default.
- W2984231500 hasRelatedWork W2989222890 @default.
- W2984231500 hasRelatedWork W2989366559 @default.
- W2984231500 hasRelatedWork W3023280592 @default.
- W2984231500 hasRelatedWork W3045221647 @default.
- W2984231500 hasRelatedWork W52985456 @default.
- W2984231500 hasRelatedWork W61757047 @default.
- W2984231500 hasRelatedWork W66421417 @default.
- W2984231500 isParatext "false" @default.
- W2984231500 isRetracted "false" @default.
- W2984231500 magId "2984231500" @default.
- W2984231500 workType "article" @default.