Matches in SemOpenAlex for { <https://semopenalex.org/work/W2983820811> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2983820811 abstract "This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic to PDL. The paper is an exemplar of tool building for epistemic update logic. It contains the essential code of an implementation of DEMO in Haskell, in Knuth’s ‘literate programming’ style." @default.
- W2983820811 created "2019-11-22" @default.
- W2983820811 creator A5001320880 @default.
- W2983820811 creator A5060284292 @default.
- W2983820811 creator A5065186485 @default.
- W2983820811 creator A5083214023 @default.
- W2983820811 date "2007-01-01" @default.
- W2983820811 modified "2023-09-28" @default.
- W2983820811 title "DEMO — A Demo of Epistemic Modelling" @default.
- W2983820811 cites W101451164 @default.
- W2983820811 cites W102721760 @default.
- W2983820811 cites W1494927210 @default.
- W2983820811 cites W1497616999 @default.
- W2983820811 cites W1518725080 @default.
- W2983820811 cites W1556536463 @default.
- W2983820811 cites W1564519640 @default.
- W2983820811 cites W1585537805 @default.
- W2983820811 cites W1585866170 @default.
- W2983820811 cites W1596067335 @default.
- W2983820811 cites W1600977351 @default.
- W2983820811 cites W2032206951 @default.
- W2983820811 cites W2057361103 @default.
- W2983820811 cites W2062897452 @default.
- W2983820811 cites W2062950667 @default.
- W2983820811 cites W2068361557 @default.
- W2983820811 cites W2087811006 @default.
- W2983820811 cites W2120613606 @default.
- W2983820811 cites W2120926795 @default.
- W2983820811 cites W2122493035 @default.
- W2983820811 cites W2122592893 @default.
- W2983820811 cites W2146819619 @default.
- W2983820811 cites W2153157844 @default.
- W2983820811 cites W2159131252 @default.
- W2983820811 cites W2159753366 @default.
- W2983820811 cites W2183351101 @default.
- W2983820811 cites W2204960913 @default.
- W2983820811 cites W2342082360 @default.
- W2983820811 cites W2610670723 @default.
- W2983820811 cites W3140030144 @default.
- W2983820811 hasPublicationYear "2007" @default.
- W2983820811 type Work @default.
- W2983820811 sameAs 2983820811 @default.
- W2983820811 citedByCount "29" @default.
- W2983820811 countsByYear W29838208112012 @default.
- W2983820811 countsByYear W29838208112013 @default.
- W2983820811 countsByYear W29838208112015 @default.
- W2983820811 countsByYear W29838208112018 @default.
- W2983820811 countsByYear W29838208112019 @default.
- W2983820811 countsByYear W29838208112020 @default.
- W2983820811 crossrefType "journal-article" @default.
- W2983820811 hasAuthorship W2983820811A5001320880 @default.
- W2983820811 hasAuthorship W2983820811A5060284292 @default.
- W2983820811 hasAuthorship W2983820811A5065186485 @default.
- W2983820811 hasAuthorship W2983820811A5083214023 @default.
- W2983820811 hasConcept C102993220 @default.
- W2983820811 hasConcept C107247716 @default.
- W2983820811 hasConcept C199360897 @default.
- W2983820811 hasConcept C203659156 @default.
- W2983820811 hasConcept C2780624054 @default.
- W2983820811 hasConcept C41008148 @default.
- W2983820811 hasConcept C42383842 @default.
- W2983820811 hasConcept C80444323 @default.
- W2983820811 hasConceptScore W2983820811C102993220 @default.
- W2983820811 hasConceptScore W2983820811C107247716 @default.
- W2983820811 hasConceptScore W2983820811C199360897 @default.
- W2983820811 hasConceptScore W2983820811C203659156 @default.
- W2983820811 hasConceptScore W2983820811C2780624054 @default.
- W2983820811 hasConceptScore W2983820811C41008148 @default.
- W2983820811 hasConceptScore W2983820811C42383842 @default.
- W2983820811 hasConceptScore W2983820811C80444323 @default.
- W2983820811 hasLocation W29838208111 @default.
- W2983820811 hasOpenAccess W2983820811 @default.
- W2983820811 hasPrimaryLocation W29838208111 @default.
- W2983820811 hasRelatedWork W102721760 @default.
- W2983820811 hasRelatedWork W1497616999 @default.
- W2983820811 hasRelatedWork W1504850170 @default.
- W2983820811 hasRelatedWork W1507793072 @default.
- W2983820811 hasRelatedWork W1518725080 @default.
- W2983820811 hasRelatedWork W1533142698 @default.
- W2983820811 hasRelatedWork W1600977351 @default.
- W2983820811 hasRelatedWork W1633533734 @default.
- W2983820811 hasRelatedWork W1944365733 @default.
- W2983820811 hasRelatedWork W1973052685 @default.
- W2983820811 hasRelatedWork W1988804687 @default.
- W2983820811 hasRelatedWork W2022205872 @default.
- W2983820811 hasRelatedWork W2039352370 @default.
- W2983820811 hasRelatedWork W2048654653 @default.
- W2983820811 hasRelatedWork W2067483357 @default.
- W2983820811 hasRelatedWork W2096959337 @default.
- W2983820811 hasRelatedWork W2120613606 @default.
- W2983820811 hasRelatedWork W2146819619 @default.
- W2983820811 hasRelatedWork W2153157844 @default.
- W2983820811 hasRelatedWork W2159131252 @default.
- W2983820811 isParatext "false" @default.
- W2983820811 isRetracted "false" @default.
- W2983820811 magId "2983820811" @default.
- W2983820811 workType "article" @default.