A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
- Submitting institution
-
The University of Huddersfield
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 8
- Type
- D - Journal article
- DOI
-
10.1017/S147106841800011X
- Title of journal
- Theory and Practice of Logic Programming
- Article number
- -
- First page
- 355
- Volume
- 18
- Issue
- 3-4
- ISSN
- 1471-0684
- Open access status
- Compliant
- Month of publication
- July
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
6
- Research group(s)
-
-
- Citation count
- 5
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Published in the ERA2010 CORE-A logic programming journal TPLP, the paper's research was an outcome of a collaboration with the University of Melbourne and the University of Calabria: the theory and implementation proposed within represent the first successful attempt for scalable qualitative reasoning on trajectories of moving objects, applicable to real-world problems such as transportation demand and population stream monitoring. The paper led to an invited talk and a collaboration with the Center for Spatial Studies, University of California Santa Barbara http://spatial.ucsb.edu/2020/thinkspatial-george-baryannis/ which resulted in a follow-up TPLP paper in 2020 https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/generalised-approach-for-encoding-and-reasoning-with-qualitative-theories-in-answer-set-programming/4D71B85A95CCD5CC5152EB3B2ECE1BB9.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -