Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100089187> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2100089187 endingPage "300" @default.
- W2100089187 startingPage "283" @default.
- W2100089187 abstract "We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually separately. In this work, we develop a logical language that allows us to describe them together. We present syntax, semantics and a complete axiom system; we discuss similarities and differences with other approaches and mention how the work can be extended." @default.
- W2100089187 created "2016-06-24" @default.
- W2100089187 creator A5037339361 @default.
- W2100089187 date "2009-04-29" @default.
- W2100089187 modified "2023-10-03" @default.
- W2100089187 title "Inference and update" @default.
- W2100089187 cites W1553439336 @default.
- W2100089187 cites W1972015197 @default.
- W2100089187 cites W1973052685 @default.
- W2100089187 cites W1973154161 @default.
- W2100089187 cites W1994227541 @default.
- W2100089187 cites W2084820210 @default.
- W2100089187 cites W2111887774 @default.
- W2100089187 cites W2136843524 @default.
- W2100089187 cites W2159131252 @default.
- W2100089187 cites W3023653957 @default.
- W2100089187 doi "https://doi.org/10.1007/s11229-009-9556-2" @default.
- W2100089187 hasPublicationYear "2009" @default.
- W2100089187 type Work @default.
- W2100089187 sameAs 2100089187 @default.
- W2100089187 citedByCount "26" @default.
- W2100089187 countsByYear W21000891872012 @default.
- W2100089187 countsByYear W21000891872013 @default.
- W2100089187 countsByYear W21000891872014 @default.
- W2100089187 countsByYear W21000891872015 @default.
- W2100089187 countsByYear W21000891872018 @default.
- W2100089187 countsByYear W21000891872019 @default.
- W2100089187 countsByYear W21000891872020 @default.
- W2100089187 countsByYear W21000891872021 @default.
- W2100089187 countsByYear W21000891872022 @default.
- W2100089187 crossrefType "journal-article" @default.
- W2100089187 hasAuthorship W2100089187A5037339361 @default.
- W2100089187 hasBestOaLocation W21000891871 @default.
- W2100089187 hasConcept C110099512 @default.
- W2100089187 hasConcept C111472728 @default.
- W2100089187 hasConcept C123556308 @default.
- W2100089187 hasConcept C138885662 @default.
- W2100089187 hasConcept C154945302 @default.
- W2100089187 hasConcept C15744967 @default.
- W2100089187 hasConcept C167729594 @default.
- W2100089187 hasConcept C182744844 @default.
- W2100089187 hasConcept C184337299 @default.
- W2100089187 hasConcept C188147891 @default.
- W2100089187 hasConcept C199360897 @default.
- W2100089187 hasConcept C204321447 @default.
- W2100089187 hasConcept C2524010 @default.
- W2100089187 hasConcept C2776214188 @default.
- W2100089187 hasConcept C33923547 @default.
- W2100089187 hasConcept C3746660 @default.
- W2100089187 hasConcept C41008148 @default.
- W2100089187 hasConcept C60048249 @default.
- W2100089187 hasConcept C80444323 @default.
- W2100089187 hasConcept C98045186 @default.
- W2100089187 hasConceptScore W2100089187C110099512 @default.
- W2100089187 hasConceptScore W2100089187C111472728 @default.
- W2100089187 hasConceptScore W2100089187C123556308 @default.
- W2100089187 hasConceptScore W2100089187C138885662 @default.
- W2100089187 hasConceptScore W2100089187C154945302 @default.
- W2100089187 hasConceptScore W2100089187C15744967 @default.
- W2100089187 hasConceptScore W2100089187C167729594 @default.
- W2100089187 hasConceptScore W2100089187C182744844 @default.
- W2100089187 hasConceptScore W2100089187C184337299 @default.
- W2100089187 hasConceptScore W2100089187C188147891 @default.
- W2100089187 hasConceptScore W2100089187C199360897 @default.
- W2100089187 hasConceptScore W2100089187C204321447 @default.
- W2100089187 hasConceptScore W2100089187C2524010 @default.
- W2100089187 hasConceptScore W2100089187C2776214188 @default.
- W2100089187 hasConceptScore W2100089187C33923547 @default.
- W2100089187 hasConceptScore W2100089187C3746660 @default.
- W2100089187 hasConceptScore W2100089187C41008148 @default.
- W2100089187 hasConceptScore W2100089187C60048249 @default.
- W2100089187 hasConceptScore W2100089187C80444323 @default.
- W2100089187 hasConceptScore W2100089187C98045186 @default.
- W2100089187 hasIssue "2" @default.
- W2100089187 hasLocation W21000891871 @default.
- W2100089187 hasLocation W21000891872 @default.
- W2100089187 hasOpenAccess W2100089187 @default.
- W2100089187 hasPrimaryLocation W21000891871 @default.
- W2100089187 hasRelatedWork W2062470179 @default.
- W2100089187 hasRelatedWork W2083483925 @default.
- W2100089187 hasRelatedWork W2092285106 @default.
- W2100089187 hasRelatedWork W2121203835 @default.
- W2100089187 hasRelatedWork W2141341254 @default.
- W2100089187 hasRelatedWork W2594235377 @default.
- W2100089187 hasRelatedWork W2769873200 @default.
- W2100089187 hasRelatedWork W2809726438 @default.
- W2100089187 hasRelatedWork W2887262263 @default.
- W2100089187 hasRelatedWork W3177974669 @default.
- W2100089187 hasVolume "169" @default.
- W2100089187 isParatext "false" @default.
- W2100089187 isRetracted "false" @default.
- W2100089187 magId "2100089187" @default.
- W2100089187 workType "article" @default.