FRINK Linked Data Fragments server

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

• W110444153 endingPage "183" @default.
• W110444153 startingPage "169" @default.
• W110444153 abstract "Modal logics have been frequently used to represent the knowledge and belief owned by an agent. However, such systems make the unrealistic assumption that agents are logically omniscent, hence capable of performing extremely complex inferences. Our goal in this paper is twofold. First of all we show that an approximation pattern can be used for a stepwise procedure which determines the satisfiability of a formula in several modal systems like S5, K, T and S4. This method is based on a generalization of the standard possible-world semantics for modal logic. Secondly, we use this semantics to define a modal language which allows the explicit representation of the knowledge owned by a resource-limited agent." @default.
• W110444153 created "2016-06-24" @default.
• W110444153 creator A5027115201 @default.
• W110444153 creator A5040566508 @default.
• W110444153 date "1992-03-02" @default.
• W110444153 modified "2023-09-28" @default.
• W110444153 title "Approximate reasoning and non-omniscient agents" @default.
• W110444153 cites W107342799 @default.
• W110444153 cites W1566211337 @default.
• W110444153 cites W1596067335 @default.
• W110444153 cites W173782181 @default.
• W110444153 cites W1985520716 @default.
• W110444153 cites W1994227541 @default.
• W110444153 cites W2062897452 @default.
• W110444153 cites W2073491323 @default.
• W110444153 cites W2091343125 @default.
• W110444153 cites W2100738443 @default.
• W110444153 cites W2143133577 @default.
• W110444153 cites W2145465694 @default.
• W110444153 cites W2148717074 @default.
• W110444153 cites W2148718809 @default.
• W110444153 cites W3144889436 @default.
• W110444153 cites W3429031 @default.
• W110444153 cites W5583809 @default.
• W110444153 cites W5642659 @default.
• W110444153 cites W80737574 @default.
• W110444153 hasPublicationYear "1992" @default.
• W110444153 type Work @default.
• W110444153 sameAs 110444153 @default.
• W110444153 citedByCount "14" @default.
• W110444153 countsByYear W1104441532013 @default.
• W110444153 countsByYear W1104441532014 @default.
• W110444153 countsByYear W1104441532016 @default.
• W110444153 crossrefType "proceedings-article" @default.
• W110444153 hasAuthorship W110444153A5027115201 @default.
• W110444153 hasAuthorship W110444153A5040566508 @default.
• W110444153 hasConcept C102993220 @default.
• W110444153 hasConcept C107247716 @default.
• W110444153 hasConcept C111472728 @default.
• W110444153 hasConcept C11191006 @default.
• W110444153 hasConcept C114092440 @default.
• W110444153 hasConcept C128913409 @default.
• W110444153 hasConcept C134306372 @default.
• W110444153 hasConcept C136172866 @default.
• W110444153 hasConcept C138885662 @default.
• W110444153 hasConcept C154945302 @default.
• W110444153 hasConcept C159032336 @default.
• W110444153 hasConcept C161301231 @default.
• W110444153 hasConcept C168773769 @default.
• W110444153 hasConcept C177148314 @default.
• W110444153 hasConcept C17744445 @default.
• W110444153 hasConcept C184337299 @default.
• W110444153 hasConcept C185592680 @default.
• W110444153 hasConcept C188027245 @default.
• W110444153 hasConcept C199360897 @default.
• W110444153 hasConcept C199539241 @default.
• W110444153 hasConcept C203659156 @default.
• W110444153 hasConcept C27508121 @default.
• W110444153 hasConcept C2776359362 @default.
• W110444153 hasConcept C33923547 @default.
• W110444153 hasConcept C41008148 @default.
• W110444153 hasConcept C71139939 @default.
• W110444153 hasConcept C78344899 @default.
• W110444153 hasConcept C80444323 @default.
• W110444153 hasConcept C94625758 @default.
• W110444153 hasConceptScore W110444153C102993220 @default.
• W110444153 hasConceptScore W110444153C107247716 @default.
• W110444153 hasConceptScore W110444153C111472728 @default.
• W110444153 hasConceptScore W110444153C11191006 @default.
• W110444153 hasConceptScore W110444153C114092440 @default.
• W110444153 hasConceptScore W110444153C128913409 @default.
• W110444153 hasConceptScore W110444153C134306372 @default.
• W110444153 hasConceptScore W110444153C136172866 @default.
• W110444153 hasConceptScore W110444153C138885662 @default.
• W110444153 hasConceptScore W110444153C154945302 @default.
• W110444153 hasConceptScore W110444153C159032336 @default.
• W110444153 hasConceptScore W110444153C161301231 @default.
• W110444153 hasConceptScore W110444153C168773769 @default.
• W110444153 hasConceptScore W110444153C177148314 @default.
• W110444153 hasConceptScore W110444153C17744445 @default.
• W110444153 hasConceptScore W110444153C184337299 @default.
• W110444153 hasConceptScore W110444153C185592680 @default.
• W110444153 hasConceptScore W110444153C188027245 @default.
• W110444153 hasConceptScore W110444153C199360897 @default.
• W110444153 hasConceptScore W110444153C199539241 @default.
• W110444153 hasConceptScore W110444153C203659156 @default.
• W110444153 hasConceptScore W110444153C27508121 @default.
• W110444153 hasConceptScore W110444153C2776359362 @default.
• W110444153 hasConceptScore W110444153C33923547 @default.
• W110444153 hasConceptScore W110444153C41008148 @default.
• W110444153 hasConceptScore W110444153C71139939 @default.
• W110444153 hasConceptScore W110444153C78344899 @default.
• W110444153 hasConceptScore W110444153C80444323 @default.
• W110444153 hasConceptScore W110444153C94625758 @default.
• W110444153 hasLocation W1104441531 @default.
• W110444153 hasOpenAccess W110444153 @default.
• W110444153 hasPrimaryLocation W1104441531 @default.
• W110444153 hasRelatedWork W107342799 @default.

• next