research
∙
08/04/2020
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Qualitative reasoning involves expressing and deriving knowledge based o...
share
research
∙
01/02/2020
Rethinking Defeasible Reasoning: A Scalable Approach
Recent technological advances have led to unprecedented amounts of gener...
research
∙
04/19/2018
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Spatial information is often expressed using qualitative terms such as n...
research
∙
11/11/2014
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report
Abstract argumentation framework () is a unifying framework able to enco...
research
∙
05/11/2014
