Reasoning about Distributed Knowledge of Groups with Infinitely Many Agents

Autor: Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank

Publikováno v: CONCUR 2019-30th International Conference on Concurrency Theory
CONCUR 2019-30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩

International audience; Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c46bee04d38ca506ec3386ff88efd606
https://hal.archives-ouvertes.fr/hal-02172415

10131 Executive Summary and Abstracts Collection ��� Spatial Representation and Reasoning in Language: Ontologies and Logics of Space

Autor: Bateman, John, Cohn, Anthony G., Pustejovsky, James

The goal of this seminar was to bring together researchers from diverse disciplines to address the spatial semantics of natural language, the interface between spatial semantics and geospatial representations, and the role of ontologies in reasoning

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6ac4a9f720a0c0477ff4bfa7e36956bd

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.