research
∙
08/09/2021
Modal Logic S5 Satisfiability in Answer Set Programming
Modal logic S5 has attracted significant attention and has led to severa...
share
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...
research
∙
04/19/2018
