Qualitative spatial logics for buffered geometries

QR Code

Qualitative spatial logics for buffered geometries

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-sourced data are usually not very accurate or precise, w...

Full description

Bibliographic Details
Main Authors:	Du, Heshan, Alechina, Natasha
Format:	Article
Language:	English
Published:	Association for the Advancement of Artificial Intelligence 2016
Online Access:	https://eprints.nottingham.ac.uk/35443/

Similar Items

Using qualitative spatial logic for validating crowd-sourced geospatial data
by: Du, Heshan, et al.
Published: (2015)

A logic of directions
by: Du, Heshan, et al.
Published: (2020)

Matching disparate geospatial datasets and validating matches using spatial logic
by: Du, Heshan
Published: (2015)

Coalition and coalition announcement logic
by: Galimullin, Rustam, et al.
Published: (2017)

A method for matching crowd-sourced and authoritative geospatial data
by: Du, Heshan, et al.
Published: (2016)

Coalition logic with individual, distributed and common knowledge
by: Ågotnes, Thomas, et al.
Published: (2016)

A logic for reasoning about knowledge of unawareness
by: Agotnes, Thomas, et al.
Published: (2014)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

On the complexity of resource-bounded logics
by: Alechina, Natasha, et al.
Published: (2016)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

On the complexity of resource-bounded logics
by: Alechina, N., et al.
Published: (2018)

Buffer to a recession
Published: (2009)

Interval-based qualitative spatial reasoning.
by: Travers, Anthony J.
Published: (1998)

Microelectrode arrays with active-area geometries defined by spatial light modulation
by: Vogel, Yan, et al.
Published: (2020)

A novel Fuzzy Logic Controller (FLC) for shortening the TCP channel roundtrip time by eliminating user buffer overflow adaptively
by: Lin, W., et al.
Published: (2005)

On the shifting spatial logics of socioeconomic regulation in post-1949 China
by: Lim, Kean Fan
Published: (2016)

Community-level spatial structure supports a model of stochastic geometry in species-rich shrublands
by: Perry, G., et al.
Published: (2016)

Emotional intelligence as a buffer of occupational stress
by: Newton, C., et al.
Published: (2016)

Design of low voltage cmos tristate buffer
by: Nurul Huda, Binti Zulkifli.
Published: (2010)

MSS419 - Geometry (Geometri)- Disember 2019
by: PPSM, Pusat Pengajian Sains Matematik
Published: (2019)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

Effect of buffer composition on the background activities of choline kinase
by: Yong, Lee Shin
Published: (2013)

Biotransformation Of Valencene Utilizing Yarrowia Lipolytica In Buffer Systems
by: Zulkifli, Umy Aliya
Published: (2022)

The mathematics of 3D buffering for simple geospatial primitives
by: Chen, Tet Khuan, et al.
Published: (2003)

3D solid buffering for 3D GIS
by: Chen, Tet Khuan, et al.
Published: (2007)

FLC: A novel dynamic buffer tuner for shortening service roundtrip time over the Internet by eliminating user-level buffer overflow on the fly
by: Lin, W., et al.
Published: (2005)

The geometry of sloppiness
by: Dufresne, Emilie, et al.
Published: (2018)

Analytic Geometry
by: Ganikhodjaev, Nasir
Published: (2011)

Geometry of Echoes
by: Robertson, Rachel
Published: (2010)

MGM 531 - Euclidean Geometry [Geometri Euklidan] - Januari 2016
by: PPSM, Pusat Pengajian Sains Matematik
Published: (2016)

MGM 531 – Euclidean Geometry [Geometri Euklidan] Jun 2017
by: PPSM, Pusat Pengajian Sains Matematik
Published: (2017)

A novel R^2-FLC dynamic buffer size tuner to support time-critical applications over the Internet by improving logical channel fault tolerance to shorten roundtrip time
by: Lin, W., et al.
Published: (2005)

Stochastic geometry best explains spatial associations among species pairs and plant functional types in species-rich shrublands
by: Perry, G, et al.
Published: (2014)

The influence of bile salts on the distribution of simvastatin in the octanol/buffer system
by: Đanić, M., et al.
Published: (2016)

Deployment of new dynamic cryptography buffer for SCADA security enhancement
by: Aamir, Shahzad, et al.
Published: (2014)

Effect of strong base buffer on crude palm oil yield
by: Ainul Farhani, Ahmad Nizam, et al.
Published: (2018)

A buffer-based online clustering for evolving data stream
by: Islam, Md. Kamrul, et al.
Published: (2019)