Search Results for author:
Found 5 papers, 2 papers with code
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 widely noted, there is little understanding on the risks that it may raise in a manufacturing organisation.
Reformulation Techniques for Automated Planning: A Systematic Review
Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents.
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.
