Andrea Orlandini

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

HerMeS: HERitage sMart Social mEdia aSsistant.

[BibT_eX]

[DOI]

Saverio Giulio Malatesta

Proceedings of the Extended Reality - International Conference, 2023

Combining Clinical and Spatial Constraints into Temporal Planning to Personalize Physical Rehabilitation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

A Preliminary Field-trial Investigation of Enhancing a Commercial Telepesence Robot with Semi-autonomous Navigation @Home (regular paper).

[BibT_eX]

[DOI]

Gloria Beraldo

Proceedings of the 10th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022

Personalizing Care Through Robotic Assistance and Clinical Supervision.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2022

Towards Enhancing Social Navigation through Contextual and Human-related Knowledge.

[BibT_eX]

[DOI]

Phani-Teja Singamaneni

Rachid Alami

Proceedings of the 2nd Workshop on sociAL roboTs for peRsonalized, 2022

Learning User Habits to Enhance Robotic Daily-Living Assistance.

[BibT_eX]

[DOI]

Proceedings of the Social Robotics - 14th International Conference, 2022

SI-ROBOTICS System: a Preliminary Study on Usability of a Rehabilitation Program in Patients with Parkinson's Disease.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on sociAL roboTs for peRsonalized, 2022

Enhanced Cognition for Adaptive Human-Robot Collaboration.

[BibT_eX]

[DOI]

Mikel Anasagasti

Stefan-Octavian Bezrucav

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Trustworhty AI and Robotics: a Knowledge Engineering Perspective (short paper).

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 21th International Conference of the Italian Association for Artificial Intelligence, 2022

2021

AI and robotics to help older adults: Revisiting projects in search of lessons learned.

[BibT_eX]

[DOI]

Paladyn J. Behav. Robotics, 2021

Toward intelligent continuous assistance.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2021

Preface.

[BibT_eX]

[DOI]

Martin Zimmermann

Inf. Comput., 2021

Simplifying the A.I. Planning modeling for Human-Robot Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021

Towards User-Awareness in Human-Robot Collaboration for Future Cyber-Physical Systems.

[BibT_eX]

[DOI]

George Apostolopoulos

Sotiris Makris

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Automated Planning to Support Physical Rehabilitation.

[BibT_eX]

[DOI]

Proceedings of the Italian Workshop on Artificial Intelligence for an Ageing Society 2021 co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

Shaping Cognitive Control for HRI through the Dual Process Theory.

[BibT_eX]

[DOI]

Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, 2021

2020

On timeline-based games and their complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

A Holistic Approach to Behavior Adaptation for Socially Assistive Robots.

[BibT_eX]

[DOI]

Int. J. Soc. Robotics, 2020

Preface.

[BibT_eX]

[DOI]

Inf. Comput., 2020

A Layered Control Approach to Human-Aware Task and Motion Planning for Human-Robot Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020

A Two-Layered Approach to Adaptive Dialogues for Robotic Assistance.

[BibT_eX]

[DOI]

Francesca Fracasso

Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020

A Language for Timeline-based Planning.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Modeling Affordances and Functioning for Personalized Robotic Assistance.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering Tools and Techniques for AI Planning, 2020

2019

Knowledge-based adaptive agents for manufacturing domains.

[BibT_eX]

[DOI]

Eng. Comput., 2019

ROS-TiPlEx: How to make experts in A.I. Planning and Robotics talk together and be happy.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Robot and Human Interactive Communication, 2019

ROS-TiPlEx: A Collaborative Design Tool for Timeline-based Planning & Scheduling Applications with ROS.

[BibT_eX]

[DOI]

Proceedings of the 6th Italian Workshop on Artificial Intelligence and Robotics co-located with the XVIII International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

Toward the Integration of Perception and Knowledge Reasoning: An Adaptive Rehabilitation Scenario.

[BibT_eX]

[DOI]

Proceedings of the 5th Italian Workshop on Artificial Intelligence for Ambient Assisted Living 2019, 2019

Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

A Prototype for the Robust Execution of Flexible Plans.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

User needs and preferences on AAL systems that support older adults and their carers.

[BibT_eX]

[DOI]

Francesca Fracasso

Marcello Turno

J. Ambient Intell. Smart Environ., 2018

A Cognitive Architecture for Autonomous Assistive Robots.

[BibT_eX]

[DOI]

ERCIM News, 2018

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Giraff Meets KOaLa to Better Reason on Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Sensors, 2018

A Cognitive Loop for Assistive Robots - Connecting Reasoning on Sensed Data to Acting.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication, 2018

A Semantic Representation of Sensor Data to Promote Proactivity in Home Assistive Robotics.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2018

Will Robin Ever Help "Nonna Lea" Using Artificial Intelligence?

[BibT_eX]

[DOI]

Proceedings of the Ambient Assisted Living, 2018

Integrating Resource Management and Timeline-Based Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

A Goal Triggering Mechanism for Continuous Human-Robot Interaction.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

A Knowledge-based Planning and Acting System for Assistive Robots.

[BibT_eX]

[DOI]

Proceedings of the 5th Italian Workshop on Artificial Intelligence and Robotics, 2018

Towards Flexible Assistive Robots Using Artificial Intelligence.

[BibT_eX]

[DOI]

Antonietta Maria Esposito

Proceedings of the Fourth Italian Workshop on Artificial Intelligence for Ambient Assisted Living 2018 co-located with 17th International Conference of the Italian Association for Artificial Intelligence, 2018

2017

Editorial.

[BibT_eX]

[DOI]

Anna Esposito

Int. J. Artif. Intell. Tools, 2017

Planning and Robotics (Dagstuhl Seminar 17031).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Complexity of Timeline-Based Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

PLATINUm: A New Framework for Planning and Acting.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

Planning and Execution with Robot Trajectory Generation in Industrial Human-Robot Collaboration.

[BibT_eX]

[DOI]

Lorenzo Molinari Tosatti

Nicola Pedrocchi

Stefania Pellegrinelli

Tullio Tolio

Proceedings of the 4th Italian Workshop on Artificial Intelligence and Robotics A workshop of the XVI International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

2016

ExCITE Project: A Review of Forty-Two Months of Robotic Telepresence Technology Evolution.

[BibT_eX]

[DOI]

Presence Teleoperators Virtual Environ., 2016

Long-Term Evaluation of a Telepresence Robot for the Elderly: Methodology and Ecological Case Study.

[BibT_eX]

[DOI]

Lorenza Tiberio

Int. J. Soc. Robotics, 2016

Design and implementation of a distributed part-routing algorithm for reconfigurable transportation systems.

[BibT_eX]

[DOI]

Int. J. Comput. Integr. Manuf., 2016

Planning and execution with flexible timelines: a formal account.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Enhancing the Interactive Services of a Telepresence Robot for AAL: Developments and a Psycho-physiological Assessment.

[BibT_eX]

[DOI]

Francesca Fracasso

Giulio Bernardi

Proceedings of the Ambient Assisted Living, 2016

FourByThree: Imagine humans and robots working hand in hand.

[BibT_eX]

[DOI]

Iñaki Maurtua

Nicola Pedrocchi

Jose de Gea Fernandez

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Towards a planning-based framework for symbiotic human-robot collaboration.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

The GiraffPlus Experience: From Laboratory Settings to Test Sites Robustness (Short Paper).

[BibT_eX]

[DOI]

Paolo Barsocchi

Proceedings of the 5th IEEE International Conference on Cloud Networking, 2016

A Planning-Based Architecture for a Reconfigurable Manufacturing System.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Steps in Assessing a Timeline-Based Planner.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

A Timeline-based Planning System for Human-Robot Collaboration in Manufacturing Domains.

[BibT_eX]

[DOI]

Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016

2015

An Executable Semantics of Flexible Plans in Terms of Timed Game Automata.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

An Ontology-Based Domain Representation for Plan-Based Controllers in a Reconfigurable Manufacturing System.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

Quality Metrics to Evaluate Flexible Timeline-Based Plans.

[BibT_eX]

[DOI]

Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

Evaluating Autonomous Controllers: An Initial Assesment.

[BibT_eX]

[DOI]

Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

Verification and validation meet planning and scheduling.

[BibT_eX]

[DOI]

Saddek Bensalem

Klaus Havelund

Int. J. Softw. Tools Technol. Transf., 2014

Planning meets verification and validation in a knowledge engineering environment.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2014

A Formal Account of Planning with Flexible Timelines.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

A User-adaptive Reminding Service.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Towards a cooperative knowledge-based control agent for a reconfigurable manufacturing plant.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Steps Toward End-to-End Personalized AAL Services.

[BibT_eX]

[DOI]

Filippo Palumbo

Ales Stimec

Proceedings of the Workshop Proceedings of the 9th International Conference on Intelligent Environments, 2013

Integrating Planning and Scheduling in the ISS Fluid Science Laboratory Domain.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Applied Artificial Intelligence, 2013

Fostering Social Interaction of Home-Bound Elderly People: The <i>EasyReach</i> System.

[BibT_eX]

[DOI]

Thanassis Kavatzikidis

Silvio Bonfiglio

Proceedings of the Recent Trends in Applied Artificial Intelligence, 2013

Controller Synthesis for Safety Critical Planning.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

GiraffPlus: Combining social interaction and long term monitoring for promoting independent living.

[BibT_eX]

[DOI]

Silvia Coradeschi

Proceedings of the 6th International Conference on Human System Interactions, 2013

Integrating Knowledge Engineering for Planning with Validation and Verification Tools.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

Evaluating Telepresence Robots in the Field.

[BibT_eX]

[DOI]

Lorenza Tiberio

Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012

Addressing the Long-term Evaluation of a Telepresence Robot for the Elderly.

[BibT_eX]

Lorenza Tiberio

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Closed-loop production and automation schedule execution in RMSs under uncertain environmental conditions.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Flexible Plan Verification: Feasibility Results.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

TGA-Based Controllers for Flexible Plan Execution.

[BibT_eX]

[DOI]

Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

Closed-loop production and automation scheduling in RMSs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

Validation and verification issues in a timeline-based planning system.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2010

Analyzing Flexible Timeline-based Plans.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

Flexible Timeline-Based Plan Verification.

[BibT_eX]

[DOI]

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2008

Model-based control architecture for attentive robots in rescue scenarios.

[BibT_eX]

[DOI]

Auton. Robots, 2008

2007

Linear temporal logic as an executable semantics for planning languages.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2007

2005

A Proposal for Planning with Graded Fluents and Actions.

[BibT_eX]

Intelligenza Artificiale, 2005

Pdk: The System and Its Language.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Augmenting situation awareness via model-based control in rescue robots.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005

Planning with graded fluents and actions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Human-Robot Interaction Through Mixed-Initiative Planning for Rescue and Search Rovers.

[BibT_eX]

[DOI]

Alberto Finzi

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2003

Planning under Uncertainty in Linear Time Logic.

[BibT_eX]

[DOI]