Search Results for author:
Found 5 papers, 2 papers with code
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.
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report
Abstract argumentation framework (\AFname) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation.
Efficient Computation of the Well-Founded Semantics over Big Data
Data originating from the Web, sensor readings and social media result in increasingly huge datasets.
