Semantic Structures for Spatially-Distributed Multi-Agent Systems
| Autor: | Frank D. Valencia |
|---|---|
| Přispěvatelé: | Concurrency, Mobility and Transactions (COMETE), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Ambientes VISuales de Progamación Aplicativa (AVISPA Resarch Group), Pontificia Universidad Javeriana (PUJ), Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Theoretical computer science Computer science Process calculus 0102 computer and information sciences 02 engineering and technology Semantics 01 natural sciences lcsh:QA75.5-76.95 F.4.3 D.3.2 Computer Science::Logic in Computer Science 0202 electrical engineering electronic engineering information engineering Computer Science - Multiagent Systems Group (mathematics) Multi-agent system lcsh:Mathematics [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 020207 software engineering lcsh:QA1-939 [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Logic in Computer Science (cs.LO) Computer Science::Other Constraint (information theory) Modal TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer Science - Distributed Parallel and Cluster Computing 010201 computation theory & mathematics [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA] Computer Science::Programming Languages lcsh:Electronic computers. Computer science Distributed Parallel and Cluster Computing (cs.DC) [INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] Multiagent Systems (cs.MA) |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, 300, pp.39-53. ⟨10.4204/EPTCS.300.3⟩ Electronic Proceedings in Theoretical Computer Science, 2019, Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, 300, pp.39-53. ⟨10.4204/EPTCS.300.3⟩ Electronic Proceedings in Theoretical Computer Science, Vol 300, Iss Proc. EXPRESS/SOS 2019, Pp 39-53 (2019) EXPRESS/SOS |
| ISSN: | 2075-2180 |
| Popis: | Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs. In Proceedings EXPRESS/SOS 2019, arXiv:1908.08213. This is an invited contribution to EXPRESS/SOS 2019 based on my invited talk |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|