Search Results for author:
Found 4 papers, 2 papers with code
Modal Logic S5 Satisfiability in Answer Set Programming
In this work, we propose to use Answer Set Programming for implementing such constructions, and in particular for identifying the propositional atoms that are relevant in every world by means of a reachability relation.
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Even if a number of specialised qualitative reasoning tools have been developed so far, an important barrier to the wider adoption of these tools is that only qualitative reasoning is supported natively, when real-world problems most often require a combination of qualitative and other forms of reasoning.
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
In this work, we propose two versions of a trajectory calculus based on the allowed properties over trajectories, where trajectories are defined as a sequence of non-overlapping regions of a partitioned map.
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report
In this work, we propose a semantic enrichment of the BT Hypercat Data Hub, using well-accepted Semantic Web standards and tools.
