Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026097436> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2026097436 abstract "When we study multi-agent communication system, it forces us to manage an existence of communicationchannels between agents, such as phone numbers or e-mail addresses, while ordinary modal logic for multi-agentsystem does not consider the notion of channel. This paper proposes a decidable and semanticallycomplete logic of belief with communication channels, and then expands the logic with informing actionoperators to change agentsâ beliefs via communication channels. Moreover, for a better formalism for handlingthese semantics efficiently, we propose a linear algebraic representation of these. That is, with the help ofFitting (2003) and van Benthem and Liu (2007), we reformulate our proposed semantics of the doxastic staticlogic and its dynamic extensions in terms of boolean matrices. We also implement and publicize a calculationsystem of our matrix reformulations as an open system on the web." @default.
- W2026097436 created "2016-06-24" @default.
- W2026097436 creator A5003291990 @default.
- W2026097436 creator A5039954220 @default.
- W2026097436 creator A5065788231 @default.
- W2026097436 date "2015-01-01" @default.
- W2026097436 modified "2023-09-23" @default.
- W2026097436 title "Linear Algebraic Semantics for Multi-agent Communication" @default.
- W2026097436 cites W1596943061 @default.
- W2026097436 cites W1700086856 @default.
- W2026097436 cites W2048654653 @default.
- W2026097436 cites W2096959337 @default.
- W2026097436 cites W2159131252 @default.
- W2026097436 cites W260883688 @default.
- W2026097436 cites W2610670723 @default.
- W2026097436 cites W2912435539 @default.
- W2026097436 cites W77806409 @default.
- W2026097436 doi "https://doi.org/10.5220/0005219001740181" @default.
- W2026097436 hasPublicationYear "2015" @default.
- W2026097436 type Work @default.
- W2026097436 sameAs 2026097436 @default.
- W2026097436 citedByCount "0" @default.
- W2026097436 crossrefType "proceedings-article" @default.
- W2026097436 hasAuthorship W2026097436A5003291990 @default.
- W2026097436 hasAuthorship W2026097436A5039954220 @default.
- W2026097436 hasAuthorship W2026097436A5065788231 @default.
- W2026097436 hasConcept C134306372 @default.
- W2026097436 hasConcept C136119220 @default.
- W2026097436 hasConcept C138885662 @default.
- W2026097436 hasConcept C153269930 @default.
- W2026097436 hasConcept C184337299 @default.
- W2026097436 hasConcept C185592680 @default.
- W2026097436 hasConcept C188027245 @default.
- W2026097436 hasConcept C199360897 @default.
- W2026097436 hasConcept C202444582 @default.
- W2026097436 hasConcept C27508121 @default.
- W2026097436 hasConcept C33923547 @default.
- W2026097436 hasConcept C41008148 @default.
- W2026097436 hasConcept C41895202 @default.
- W2026097436 hasConcept C68435242 @default.
- W2026097436 hasConcept C71139939 @default.
- W2026097436 hasConcept C80444323 @default.
- W2026097436 hasConcept C9376300 @default.
- W2026097436 hasConceptScore W2026097436C134306372 @default.
- W2026097436 hasConceptScore W2026097436C136119220 @default.
- W2026097436 hasConceptScore W2026097436C138885662 @default.
- W2026097436 hasConceptScore W2026097436C153269930 @default.
- W2026097436 hasConceptScore W2026097436C184337299 @default.
- W2026097436 hasConceptScore W2026097436C185592680 @default.
- W2026097436 hasConceptScore W2026097436C188027245 @default.
- W2026097436 hasConceptScore W2026097436C199360897 @default.
- W2026097436 hasConceptScore W2026097436C202444582 @default.
- W2026097436 hasConceptScore W2026097436C27508121 @default.
- W2026097436 hasConceptScore W2026097436C33923547 @default.
- W2026097436 hasConceptScore W2026097436C41008148 @default.
- W2026097436 hasConceptScore W2026097436C41895202 @default.
- W2026097436 hasConceptScore W2026097436C68435242 @default.
- W2026097436 hasConceptScore W2026097436C71139939 @default.
- W2026097436 hasConceptScore W2026097436C80444323 @default.
- W2026097436 hasConceptScore W2026097436C9376300 @default.
- W2026097436 hasLocation W20260974361 @default.
- W2026097436 hasOpenAccess W2026097436 @default.
- W2026097436 hasPrimaryLocation W20260974361 @default.
- W2026097436 hasRelatedWork W149626383 @default.
- W2026097436 hasRelatedWork W1500169890 @default.
- W2026097436 hasRelatedWork W1508084520 @default.
- W2026097436 hasRelatedWork W1581615816 @default.
- W2026097436 hasRelatedWork W2007637032 @default.
- W2026097436 hasRelatedWork W2025884596 @default.
- W2026097436 hasRelatedWork W2047220130 @default.
- W2026097436 hasRelatedWork W2078730256 @default.
- W2026097436 hasRelatedWork W2113042118 @default.
- W2026097436 hasRelatedWork W2169925928 @default.
- W2026097436 hasRelatedWork W2170515813 @default.
- W2026097436 hasRelatedWork W2192324004 @default.
- W2026097436 hasRelatedWork W2268902502 @default.
- W2026097436 hasRelatedWork W2271648767 @default.
- W2026097436 hasRelatedWork W2542505095 @default.
- W2026097436 hasRelatedWork W2624961809 @default.
- W2026097436 hasRelatedWork W2884150062 @default.
- W2026097436 hasRelatedWork W2952468129 @default.
- W2026097436 hasRelatedWork W3016712490 @default.
- W2026097436 hasRelatedWork W3133194967 @default.
- W2026097436 isParatext "false" @default.
- W2026097436 isRetracted "false" @default.
- W2026097436 magId "2026097436" @default.
- W2026097436 workType "article" @default.