Robots;Planning;Probabilistic Logic;Robot Kinematics;Logic Programming;Knowledge Based Systems;Cognition;Uncertainty;Human-Robot Interaction;Storms;Planning Under Uncertainty;AI-Based Methods;human-Robot Collaboration

Robots;Planning;Probabilistic Logic;Robot Kinematics;Logic Programming;Knowledge Based Systems;Cognition;Uncertainty;Human-Robot Interaction;Storms;Planning Under Uncertainty;AI-Based Methods;human-Robot Collaboration | IDRA Labshttps://idra.unitn.it/tag/robotsplanningprobabilistic-logicrobot-kinematicslogic-programmingknowledge-based-systemscognitionuncertaintyhuman-robot-interactionstormsplanning-under-uncertaintyai-based-methodshuman-robot-collaboration/Robots;Planning;Probabilistic Logic;Robot Kinematics;Logic Programming;Knowledge Based Systems;Cognition;Uncertainty;Human-Robot Interaction;Storms;Planning Under Uncertainty;AI-Based Methods;human-Robot CollaborationHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://idra.unitn.it/media/logo_hu18a025fc0faf4a195125bb7e2a92258b_5543295_300x300_fit_lanczos_3.pngRobots;Planning;Probabilistic Logic;Robot Kinematics;Logic Programming;Knowledge Based Systems;Cognition;Uncertainty;Human-Robot Interaction;Storms;Planning Under Uncertainty;AI-Based Methods;human-Robot Collaborationhttps://idra.unitn.it/tag/robotsplanningprobabilistic-logicrobot-kinematicslogic-programmingknowledge-based-systemscognitionuncertaintyhuman-robot-interactionstormsplanning-under-uncertaintyai-based-methodshuman-robot-collaboration/Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applicationshttps://idra.unitn.it/publication/saccon-2026-automated/Thu, 01 Jan 2026 00:00:00 +0000https://idra.unitn.it/publication/saccon-2026-automated/