64 citations · 99 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
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…
cs.AI2021
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…