FRINK Linked Data Fragments server

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

• W255527862 abstract "Abstract : Quantified modal logics have emerged as useful tools in computer science for reasoning about knowledge and belief of agents and systems. An important class of these logics have a possible-world semantics from Kripke. In this paper we report on a resolution proof method for logics of belief that is suitable for automatic reasoning in commonsense domains. This method is distinguished by its use of an unrestricted first-order modal language, a bullet operator for dealing with quantified-in variables and skolemization, semantic attachment methods for analyzing the belief operators, and an efficient implementation using a slight modification of ordinary first-order resolution." @default.
• W255527862 created "2016-06-24" @default.
• W255527862 creator A5020223882 @default.
• W255527862 date "1991-08-25" @default.
• W255527862 modified "2023-09-27" @default.
• W255527862 title "Resolution for Epistemic Logics" @default.
• W255527862 hasPublicationYear "1991" @default.
• W255527862 type Work @default.
• W255527862 sameAs 255527862 @default.
• W255527862 citedByCount "0" @default.
• W255527862 crossrefType "journal-article" @default.
• W255527862 hasAuthorship W255527862A5020223882 @default.
• W255527862 hasConcept C102993220 @default.
• W255527862 hasConcept C104317684 @default.
• W255527862 hasConcept C107247716 @default.
• W255527862 hasConcept C111472728 @default.
• W255527862 hasConcept C11191006 @default.
• W255527862 hasConcept C114092440 @default.
• W255527862 hasConcept C136172866 @default.
• W255527862 hasConcept C138268822 @default.
• W255527862 hasConcept C138885662 @default.
• W255527862 hasConcept C154945302 @default.
• W255527862 hasConcept C158448853 @default.
• W255527862 hasConcept C160131679 @default.
• W255527862 hasConcept C17020691 @default.
• W255527862 hasConcept C184337299 @default.
• W255527862 hasConcept C185592680 @default.
• W255527862 hasConcept C188027245 @default.
• W255527862 hasConcept C1883856 @default.
• W255527862 hasConcept C193221554 @default.
• W255527862 hasConcept C199360897 @default.
• W255527862 hasConcept C203659156 @default.
• W255527862 hasConcept C27508121 @default.
• W255527862 hasConcept C2777212361 @default.
• W255527862 hasConcept C41008148 @default.
• W255527862 hasConcept C42011625 @default.
• W255527862 hasConcept C5263885 @default.
• W255527862 hasConcept C55493867 @default.
• W255527862 hasConcept C58166 @default.
• W255527862 hasConcept C71139939 @default.
• W255527862 hasConcept C78344899 @default.
• W255527862 hasConcept C86339819 @default.
• W255527862 hasConcept C86602344 @default.
• W255527862 hasConcept C98224912 @default.
• W255527862 hasConceptScore W255527862C102993220 @default.
• W255527862 hasConceptScore W255527862C104317684 @default.
• W255527862 hasConceptScore W255527862C107247716 @default.
• W255527862 hasConceptScore W255527862C111472728 @default.
• W255527862 hasConceptScore W255527862C11191006 @default.
• W255527862 hasConceptScore W255527862C114092440 @default.
• W255527862 hasConceptScore W255527862C136172866 @default.
• W255527862 hasConceptScore W255527862C138268822 @default.
• W255527862 hasConceptScore W255527862C138885662 @default.
• W255527862 hasConceptScore W255527862C154945302 @default.
• W255527862 hasConceptScore W255527862C158448853 @default.
• W255527862 hasConceptScore W255527862C160131679 @default.
• W255527862 hasConceptScore W255527862C17020691 @default.
• W255527862 hasConceptScore W255527862C184337299 @default.
• W255527862 hasConceptScore W255527862C185592680 @default.
• W255527862 hasConceptScore W255527862C188027245 @default.
• W255527862 hasConceptScore W255527862C1883856 @default.
• W255527862 hasConceptScore W255527862C193221554 @default.
• W255527862 hasConceptScore W255527862C199360897 @default.
• W255527862 hasConceptScore W255527862C203659156 @default.
• W255527862 hasConceptScore W255527862C27508121 @default.
• W255527862 hasConceptScore W255527862C2777212361 @default.
• W255527862 hasConceptScore W255527862C41008148 @default.
• W255527862 hasConceptScore W255527862C42011625 @default.
• W255527862 hasConceptScore W255527862C5263885 @default.
• W255527862 hasConceptScore W255527862C55493867 @default.
• W255527862 hasConceptScore W255527862C58166 @default.
• W255527862 hasConceptScore W255527862C71139939 @default.
• W255527862 hasConceptScore W255527862C78344899 @default.
• W255527862 hasConceptScore W255527862C86339819 @default.
• W255527862 hasConceptScore W255527862C86602344 @default.
• W255527862 hasConceptScore W255527862C98224912 @default.
• W255527862 hasLocation W2555278621 @default.
• W255527862 hasOpenAccess W255527862 @default.
• W255527862 hasPrimaryLocation W2555278621 @default.
• W255527862 hasRelatedWork W1501140891 @default.
• W255527862 hasRelatedWork W1517529971 @default.
• W255527862 hasRelatedWork W1531744462 @default.
• W255527862 hasRelatedWork W1604479724 @default.
• W255527862 hasRelatedWork W2037576563 @default.
• W255527862 hasRelatedWork W2038087719 @default.
• W255527862 hasRelatedWork W2046865417 @default.
• W255527862 hasRelatedWork W2100932907 @default.
• W255527862 hasRelatedWork W2100982478 @default.
• W255527862 hasRelatedWork W2175517467 @default.
• W255527862 hasRelatedWork W2385733187 @default.
• W255527862 hasRelatedWork W2408610511 @default.
• W255527862 hasRelatedWork W2744200867 @default.
• W255527862 hasRelatedWork W2774685358 @default.
• W255527862 hasRelatedWork W2810428662 @default.
• W255527862 hasRelatedWork W2952399902 @default.
• W255527862 hasRelatedWork W3206195904 @default.
• W255527862 hasRelatedWork W66856617 @default.
• W255527862 hasRelatedWork W74457784 @default.
• W255527862 hasRelatedWork W807663550 @default.
• W255527862 isParatext "false" @default.

• next