research
∙
05/19/2023
Trustworthy, responsible, ethical AI in manufacturing and supply chains: synthesis and emerging research questions
While the increased use of AI in the manufacturing sector has been widel...
share
research
∙
01/24/2023
Reformulation Techniques for Automated Planning: A Systematic Review
Automated planning is a prominent area of Artificial Intelligence, and a...
research
∙
08/09/2021
Modal Logic S5 Satisfiability in Answer Set Programming
Modal logic S5 has attracted significant attention and has led to severa...
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