A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

DOI10.1017/S1471068420000198zbMath1468.68218arXiv2008.01519OpenAlexW3047187362MaRDI QIDQ5140008

Sotiris Batsakis, George Baryannis, Grigoris Antoniou, Emmanuel N. Papadakis, Ilias Tachmazidis, Mario Alviano

Publication date: 13 December 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.01519

zbMATH Keywords

spatial reasoningqualitative reasoninganswer-set programmingqualitative calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (2)

Modal logic S5 in answer set programming with lazy creation of worlds ⋮ Modal Logic S5 Satisfiability in Answer Set Programming

Uses Software

• Clingo

Cites Work

• Unnamed Item
• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
• Decomposition and tractability in qualitative spatial and temporal reasoning
• Modelling and solving temporal reasoning as propositional satisfiability
• On the consistency of cardinal direction constraints
• A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
• ASP-Core-2 Input Language Format
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments

This page was built for publication: A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming