Matches in SemOpenAlex for { <https://semopenalex.org/work/W1600462570> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1600462570 abstract "In [6] Moore has introduced a logic to represent the beliefs of ideal rational agents, called autoepistemic logic. This logic was presented as an improvement of the non-monotonic logic of McDermott and Doyle in [4]. We give a new method to characterize the fixpoints in both logics and thus obtain decision procedures for several problems in this context. Although the two logics are conceptually very different our method is very uniform." @default.
- W1600462570 created "2016-06-24" @default.
- W1600462570 creator A5043480289 @default.
- W1600462570 date "1991-01-01" @default.
- W1600462570 modified "2023-09-24" @default.
- W1600462570 title "On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle" @default.
- W1600462570 cites W1966552757 @default.
- W1600462570 cites W1996347293 @default.
- W1600462570 cites W2045262697 @default.
- W1600462570 cites W2067326626 @default.
- W1600462570 cites W2140533498 @default.
- W1600462570 doi "https://doi.org/10.1007/3-540-54487-9_70" @default.
- W1600462570 hasPublicationYear "1991" @default.
- W1600462570 type Work @default.
- W1600462570 sameAs 1600462570 @default.
- W1600462570 citedByCount "2" @default.
- W1600462570 crossrefType "book-chapter" @default.
- W1600462570 hasAuthorship W1600462570A5043480289 @default.
- W1600462570 hasConcept C102993220 @default.
- W1600462570 hasConcept C11413529 @default.
- W1600462570 hasConcept C121332964 @default.
- W1600462570 hasConcept C134306372 @default.
- W1600462570 hasConcept C144760519 @default.
- W1600462570 hasConcept C150889026 @default.
- W1600462570 hasConcept C151730666 @default.
- W1600462570 hasConcept C159032336 @default.
- W1600462570 hasConcept C160236029 @default.
- W1600462570 hasConcept C165801399 @default.
- W1600462570 hasConcept C172385210 @default.
- W1600462570 hasConcept C18998212 @default.
- W1600462570 hasConcept C203659156 @default.
- W1600462570 hasConcept C2777796570 @default.
- W1600462570 hasConcept C2779343474 @default.
- W1600462570 hasConcept C33203268 @default.
- W1600462570 hasConcept C33923547 @default.
- W1600462570 hasConcept C3845977 @default.
- W1600462570 hasConcept C41008148 @default.
- W1600462570 hasConcept C62520636 @default.
- W1600462570 hasConcept C72169020 @default.
- W1600462570 hasConcept C80444323 @default.
- W1600462570 hasConcept C86803240 @default.
- W1600462570 hasConceptScore W1600462570C102993220 @default.
- W1600462570 hasConceptScore W1600462570C11413529 @default.
- W1600462570 hasConceptScore W1600462570C121332964 @default.
- W1600462570 hasConceptScore W1600462570C134306372 @default.
- W1600462570 hasConceptScore W1600462570C144760519 @default.
- W1600462570 hasConceptScore W1600462570C150889026 @default.
- W1600462570 hasConceptScore W1600462570C151730666 @default.
- W1600462570 hasConceptScore W1600462570C159032336 @default.
- W1600462570 hasConceptScore W1600462570C160236029 @default.
- W1600462570 hasConceptScore W1600462570C165801399 @default.
- W1600462570 hasConceptScore W1600462570C172385210 @default.
- W1600462570 hasConceptScore W1600462570C18998212 @default.
- W1600462570 hasConceptScore W1600462570C203659156 @default.
- W1600462570 hasConceptScore W1600462570C2777796570 @default.
- W1600462570 hasConceptScore W1600462570C2779343474 @default.
- W1600462570 hasConceptScore W1600462570C33203268 @default.
- W1600462570 hasConceptScore W1600462570C33923547 @default.
- W1600462570 hasConceptScore W1600462570C3845977 @default.
- W1600462570 hasConceptScore W1600462570C41008148 @default.
- W1600462570 hasConceptScore W1600462570C62520636 @default.
- W1600462570 hasConceptScore W1600462570C72169020 @default.
- W1600462570 hasConceptScore W1600462570C80444323 @default.
- W1600462570 hasConceptScore W1600462570C86803240 @default.
- W1600462570 hasLocation W16004625701 @default.
- W1600462570 hasOpenAccess W1600462570 @default.
- W1600462570 hasPrimaryLocation W16004625701 @default.
- W1600462570 hasRelatedWork W1408900831 @default.
- W1600462570 hasRelatedWork W1489805673 @default.
- W1600462570 hasRelatedWork W1515990520 @default.
- W1600462570 hasRelatedWork W1519055258 @default.
- W1600462570 hasRelatedWork W1523532158 @default.
- W1600462570 hasRelatedWork W1924904173 @default.
- W1600462570 hasRelatedWork W1966552757 @default.
- W1600462570 hasRelatedWork W2001321150 @default.
- W1600462570 hasRelatedWork W2058585877 @default.
- W1600462570 hasRelatedWork W2089296451 @default.
- W1600462570 hasRelatedWork W2109571168 @default.
- W1600462570 hasRelatedWork W2140533498 @default.
- W1600462570 hasRelatedWork W2151653946 @default.
- W1600462570 hasRelatedWork W2183022864 @default.
- W1600462570 hasRelatedWork W2366028492 @default.
- W1600462570 hasRelatedWork W2546606475 @default.
- W1600462570 hasRelatedWork W2740120804 @default.
- W1600462570 hasRelatedWork W2780136906 @default.
- W1600462570 hasRelatedWork W2950775690 @default.
- W1600462570 hasRelatedWork W2951987510 @default.
- W1600462570 isParatext "false" @default.
- W1600462570 isRetracted "false" @default.
- W1600462570 magId "1600462570" @default.
- W1600462570 workType "book-chapter" @default.