A logic of directions

QR Code

A logic of directions

We propose a logic of directions for points (LD)over 2D Euclidean space, which formalises primary direction relations east (E), west (W), and indeterminate east/west (Iew), north (N), south (S) and indeterminate north/south (Ins). We provide a sound and complete axiomatisation of it, and prove that...

Full description

Bibliographic Details
Main Authors:	Du, Heshan, Alechina, Natasha, Cohn, Anthony G.
Format:	Book Section
Language:	English
Published:	IJCAI 2020
Online Access:	https://eprints.nottingham.ac.uk/60879/

Similar Items

Qualitative spatial logics for buffered geometries
by: Du, Heshan, et al.
Published: (2016)

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

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

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

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

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)

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

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

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)

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

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)

A decision support system for urban infrastructure inter-asset management employing domain ontologies and qualitative uncertainty-based reasoning
by: Wei, Lijun, et al.
Published: (2020)

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

Simulation study for controlling direct current motor position utilising fuzzy logic controller
by: Nurainaa, Elias, et al.
Published: (2018)

Design of a fuzzy logic proportional integral derivative controller of direct current motor speed control
by: Nur Naajihah, Ab Rahman, et al.
Published: (2023)

Norm approximation for imperfect monitors
by: Alechina, Natasha, et al.
Published: (2014)

Efficient minimal preference change
by: Alechina, Natasha, et al.
Published: (2015)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

Sustainability assessment for Small and Medium Enterprise (SMEs) by using fuzzy logic approach: a direction and further research
by: Mahmood, Salwa, et al.
Published: (2021)

Adaptive fuzzy logic controller with direct action type structures for InnoSAT attitude control system

Logical drive
by: Shah, Asadullah, et al.
Published: (2011)

Effectiveness of student response systems in terms of learning environment, attitudes and achievement
by: Cohn, Stephen Thomas
Published: (2011)

Effectiveness of student response systems in terms of learning environment, attitudes and achievement
by: Cohn, S., et al.
Published: (2015)

Causality, responsibility and blame in team plans
by: Alechina, Natasha, et al.
Published: (2017)

Enhancing performance of active power filter with fuzzy logic controller using adaptive hysteresis direct current control
by: Fereidouni, Alireza, et al.
Published: (2014)

Application of virtual instrumentation in position control system using direct digital control via PID and fuzzy logic controller
by: Md. Ghazaly, Mariam
Published: (2005)

The logical foundations of Taqlid
by: Nakissa, Aria, et al.
Published: (2017)

Logic for exact entailment
by: Fine, Kit, et al.
Published: (2018)

Relational and logical operators
by: Bhatti, Zeeshan, et al.
Published: (2011)

Fuzzy logic control
by: Khalid, Marzuki, et al.
Published: (1993)

Navigating the trade-offs between economic growth and environmental sustainability: A global analysis of long-term trends and strategic policies
by: Kankanam Pathiranage, Heshan Sameera
Published: (2024)

Practical run-time norm enforcement with bounded lookahead
by: Alechina, Natasha, et al.
Published: (2015)

Fair decomposition of group obligations
by: Alechina, Natasha, et al.
Published: (2017)

A social perspective on S-D logic
by: Nijboer, Johannes
Published: (2011)

Student Response Systems: Impact on the Learning Environment, Student Attitudes and Achievement
by: Cohn, Stephen, et al.
Published: (2013)

Direct electrochemistry based biosensors and biofuel cells enabled with nanostructured materials
by: Liu, Yang, et al.
Published: (2013)

Unveiling the technology acceptance model: a systematic review of evolution, impact across industries and future directions
by: Du, Shengwei, et al.
Published: (2024)