Matches in SemOpenAlex for { <https://semopenalex.org/work/W2089907340> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2089907340 endingPage "160" @default.
- W2089907340 startingPage "143" @default.
- W2089907340 abstract "Knowledge, belief, and evidence are fundamental notions which appear in a wide range of areas. Over the last decade epistemic reasoning with justifications has broadened even more the scope of applications of epistemic logic as agents gained the ability to not only reason about epistemic states of knowledge and belief of agents, but also to track their justifications and to sort those which are pertinent to given facts and sufficient for epistemic conclusions. This paper extends realization algorithm for S4 -to- LP case to S4 n J -to- S4 n LP case. It converts cut-free derivations in S4 n J into derivations in the corresponding Justification Logic S4 n LP where witnesses of knowledge, the justification terms, are recovered for all instances of justified common knowledge. The algorithm was implemented in the MetaPRL framework and was tested on several well-known epistemic puzzles, such as Muddy Children, Surprise Examination Paradox, etc." @default.
- W2089907340 created "2016-06-24" @default.
- W2089907340 creator A5016916009 @default.
- W2089907340 date "2015-04-01" @default.
- W2089907340 modified "2023-10-17" @default.
- W2089907340 title "Practical Extraction of Evidence Terms From Common-knowledge Reasoning" @default.
- W2089907340 cites W1489270299 @default.
- W2089907340 cites W1494976167 @default.
- W2089907340 cites W1519329408 @default.
- W2089907340 cites W1795577507 @default.
- W2089907340 cites W1992064866 @default.
- W2089907340 cites W2014195574 @default.
- W2089907340 cites W2043468053 @default.
- W2089907340 cites W2110486451 @default.
- W2089907340 cites W2133101582 @default.
- W2089907340 cites W2146819619 @default.
- W2089907340 cites W2150798803 @default.
- W2089907340 cites W2788782666 @default.
- W2089907340 cites W70839428 @default.
- W2089907340 cites W80893307 @default.
- W2089907340 doi "https://doi.org/10.1016/j.entcs.2015.04.009" @default.
- W2089907340 hasPublicationYear "2015" @default.
- W2089907340 type Work @default.
- W2089907340 sameAs 2089907340 @default.
- W2089907340 citedByCount "2" @default.
- W2089907340 countsByYear W20899073402022 @default.
- W2089907340 countsByYear W20899073402023 @default.
- W2089907340 crossrefType "journal-article" @default.
- W2089907340 hasAuthorship W2089907340A5016916009 @default.
- W2089907340 hasBestOaLocation W20899073401 @default.
- W2089907340 hasConcept C102993220 @default.
- W2089907340 hasConcept C107247716 @default.
- W2089907340 hasConcept C111472728 @default.
- W2089907340 hasConcept C138885662 @default.
- W2089907340 hasConcept C154945302 @default.
- W2089907340 hasConcept C15744967 @default.
- W2089907340 hasConcept C159985019 @default.
- W2089907340 hasConcept C192562407 @default.
- W2089907340 hasConcept C199360897 @default.
- W2089907340 hasConcept C203659156 @default.
- W2089907340 hasConcept C204323151 @default.
- W2089907340 hasConcept C2778012447 @default.
- W2089907340 hasConcept C2780343955 @default.
- W2089907340 hasConcept C33923547 @default.
- W2089907340 hasConcept C41008148 @default.
- W2089907340 hasConcept C77805123 @default.
- W2089907340 hasConcept C88548561 @default.
- W2089907340 hasConcept C94375191 @default.
- W2089907340 hasConceptScore W2089907340C102993220 @default.
- W2089907340 hasConceptScore W2089907340C107247716 @default.
- W2089907340 hasConceptScore W2089907340C111472728 @default.
- W2089907340 hasConceptScore W2089907340C138885662 @default.
- W2089907340 hasConceptScore W2089907340C154945302 @default.
- W2089907340 hasConceptScore W2089907340C15744967 @default.
- W2089907340 hasConceptScore W2089907340C159985019 @default.
- W2089907340 hasConceptScore W2089907340C192562407 @default.
- W2089907340 hasConceptScore W2089907340C199360897 @default.
- W2089907340 hasConceptScore W2089907340C203659156 @default.
- W2089907340 hasConceptScore W2089907340C204323151 @default.
- W2089907340 hasConceptScore W2089907340C2778012447 @default.
- W2089907340 hasConceptScore W2089907340C2780343955 @default.
- W2089907340 hasConceptScore W2089907340C33923547 @default.
- W2089907340 hasConceptScore W2089907340C41008148 @default.
- W2089907340 hasConceptScore W2089907340C77805123 @default.
- W2089907340 hasConceptScore W2089907340C88548561 @default.
- W2089907340 hasConceptScore W2089907340C94375191 @default.
- W2089907340 hasLocation W20899073401 @default.
- W2089907340 hasOpenAccess W2089907340 @default.
- W2089907340 hasPrimaryLocation W20899073401 @default.
- W2089907340 hasRelatedWork W2089907340 @default.
- W2089907340 hasRelatedWork W2165546630 @default.
- W2089907340 hasRelatedWork W2370189651 @default.
- W2089907340 hasRelatedWork W2375201043 @default.
- W2089907340 hasRelatedWork W2382290278 @default.
- W2089907340 hasRelatedWork W2748952813 @default.
- W2089907340 hasRelatedWork W2752169191 @default.
- W2089907340 hasRelatedWork W2899084033 @default.
- W2089907340 hasRelatedWork W4246517306 @default.
- W2089907340 hasRelatedWork W4247420895 @default.
- W2089907340 hasVolume "312" @default.
- W2089907340 isParatext "false" @default.
- W2089907340 isRetracted "false" @default.
- W2089907340 magId "2089907340" @default.
- W2089907340 workType "article" @default.