Skip to main content

Research Repository

Advanced Search

All Outputs (6)

On the Complexity of Resource-Bounded Logics (2016)
Conference Proceeding
Alechina, N., Bulling, N., Demri, S., & Logan, B. (2016). On the Complexity of Resource-Bounded Logics. In Reachability problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (36-50). https://doi.org/10.1007/978-3-319-45994-3_3

© Springer International Publishing Switzerland 2016. We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking pr... Read More about On the Complexity of Resource-Bounded Logics.

Qualitative Spatial Logics for Buffered Geometries (2016)
Journal Article
Du, H., & Alechina, N. (in press). Qualitative Spatial Logics for Buffered Geometries. Journal of Artificial Intelligence Research, 56, 693-745. https://doi.org/10.1613/jair.5140

This paper describes a series of new qualitative spatial logics for checking consistency of sameAs and partOf matches between spatial objects from different geospatial datasets, especially from crowd-sourced datasets. Since geometries in crowd-source... Read More about Qualitative Spatial Logics for Buffered Geometries.

Verifying existence of resource-bounded coalition uniform strategies (2016)
Conference Proceeding
Alechina, N., Dastani, M., & Logan, B. (2016). Verifying existence of resource-bounded coalition uniform strategies.

We consider the problem of whether a coalition of agents has a knowledge-based strategy to ensure some outcome under a resource bound. We extend previous work on verification of multi-agent systems where actions of agents produce and consume resource... Read More about Verifying existence of resource-bounded coalition uniform strategies.

Verifying systems of resource-bounded agents (2016)
Journal Article
Alechina, N., & Logan, B. (2016). Verifying systems of resource-bounded agents. Lecture Notes in Artificial Intelligence, 9709, 3-12. https://doi.org/10.1007/978-3-319-40189-8_1

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions... Read More about Verifying systems of resource-bounded agents.

A method for matching crowd-sourced and authoritative geospatial data (2016)
Journal Article
Du, H., Alechina, N., Jackson, M., & Hart, G. (2016). A method for matching crowd-sourced and authoritative geospatial data. Transactions in GIS, 21(2), 406-427. https://doi.org/10.1111/tgis.12210

A method for matching crowd-sourced and authoritative geospatial data is presented. A level of tolerance is defined as an input parameter as some difference in the geometry representation of a spatial object is to be expected. The method generates ma... Read More about A method for matching crowd-sourced and authoritative geospatial data.

Coalition logic with individual, distributed and common knowledge (2016)
Journal Article
Ågotnes, T., & Alechina, N. (in press). Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation, Article exv085. https://doi.org/10.1093/logcom/exv085

Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic extensions of coalition logic hav... Read More about Coalition logic with individual, distributed and common knowledge.