64 citations · 140 across the 10 of their papers we have counts for
15 papers
A Socially Assistive Robot using Automated Planning in a Paediatric Clinical Setting
Alan Lindsay, Andres Ramirez-Duque, Ronald P. A. Petrick +1
We present an ongoing project that aims to develop a social robot to help children cope with painful and distressing medical procedures in a clinical setting. Our approach uses aut…
Temporal Planning with Incomplete Knowledge and Perceptual Information
Yaniel Carreno, Yvan Petillot, Ronald P. A. Petrick
In real-world applications, the ability to reason about incomplete knowledge, sensing, temporal notions, and numeric constraints is vital. While several AI planners are capable of…
Building Affordance Relations for Robotic Agents - A Review
Paola Ardón, Èric Pairet, Katrin S. Lohan +2
Affordances describe the possibilities for an agent to perform actions with an object. While the significance of the affordance concept has been previously studied from varied pers…
Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt +1
Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents…
Investigating Human Response, Behaviour, and Preference in Joint-Task Interaction
Alan Lindsay, Bart Craenen, Sara Dalzel-Job +2
Human interaction relies on a wide range of signals, including non-verbal cues. In order to develop effective Explainable Planning (XAIP) agents it is important that we understand…
Towards Social HRI for Improving Children's Healthcare Experiences
Mary Ellen Foster, Ronald P. A. Petrick
This paper describes a new research project that aims to develop a social robot designed to help children cope with painful and distressing medical procedures in a clinical setting…
Affordance-Aware Handovers with Human Arm Mobility Constraints
Paola Ardón, Maria E. Cabrera, Èric Pairet +4
Reasoning about object handover configurations allows an assistive agent to estimate the appropriateness of handover for a receiver with different arm mobility capacities. While th…
Proof-Carrying Plans: a Resource Logic for AI Planning
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
Recent trends in AI verification and Explainable AI have raised the question of whether AI planning techniques can be verified. In this paper, we present a novel resource logic, th…
Self-Assessment of Grasp Affordance Transfer
Paola Ardón, Èric Pairet, Ronald P. A. Petrick +2
Reasoning about object grasp affordances allows an autonomous agent to estimate the most suitable grasp to execute a task. While current approaches for estimating grasp affordances…
Affordances in Robotic Tasks -- A Survey
Paola Ardón, Èric Pairet, Katrin S. Lohan +2
Affordances are key attributes of what must be perceived by an autonomous robotic agent in order to effectively interact with novel objects. Historically, the concept derives from…
Learning Grasp Affordance Reasoning through Semantic Relations
Paola Ardón, Èric Pairet, Ronald P. A. Petrick +2
Reasoning about object affordances allows an autonomous agent to perform generalised manipulation tasks among object instances. While current approaches to grasp affordance estimat…
Reasoning on Grasp-Action Affordances
Paola Ardón, Èric Pairet, Ron Petrick +2
Artificial intelligence is essential to succeed in challenging activities that involve dynamic environments, such as object manipulation tasks in indoor scenes. Most of the state-o…
Challenges in Collaborative HRI for Remote Robot Teams
Helen Hastie, David A. Robb, José Lopes +6
Collaboration between human supervisors and remote teams of robots is highly challenging, particularly in high-stakes, distant, hazardous locations, such as off-shore energy platfo…
The ORCA Hub: Explainable Offshore Robotics through Intelligent Interfaces
Helen Hastie, Katrin Lohan, Mike Chantler +5
We present the UK Robotics and Artificial Intelligence Hub for Offshore Robotics for Certification of Assets (ORCA Hub), a 3.5 year EPSRC funded, multi-site project. The ORCA Hub v…
Learning STRIPS Operators from Noisy and Incomplete Observations
Kira Mourao, Luke S. Zettlemoyer, Ronald P. A. Petrick +1
Agents learning to act autonomously in real-world domains must acquire a model of the dynamics of the domain in which they operate. Learning domain dynamics can be challenging, esp…