Sara Bernardini : Publications

Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments

Sara Bernardini‚ Fabio Fagnani‚ Alexandra Neacsu and Santiago Franco

In Artif. Intell.. Vol. 333. Pages 104148. 2024.

Details about Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments | BibTeX data for Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments | DOI (10.1016/J.ARTINT.2024.104148) | Link to Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments

Unlocking AI Literacy: The SMaILE−App Gaming Experience

Santiago Franco‚ Maria Giulia Ballatore‚ Sara Bernardini‚ Giacomo Como‚ Luca Damonte‚ Alexandra Neacsu and Martina Vanelli

In IEEE Gaming‚ Entertainment‚ and Media Conference‚ GEM 2024‚ Turin‚ Italy‚ June 5−7‚ 2024. Pages 1–6. IEEE. 2024.

Details about Unlocking AI Literacy: The SMaILE−App Gaming Experience | BibTeX data for Unlocking AI Literacy: The SMaILE−App Gaming Experience | DOI (10.1109/GEM61861.2024.10585394) | Link to Unlocking AI Literacy: The SMaILE−App Gaming Experience

Proceedings of the Thirty−Fourth International Conference on Automated Planning and Scheduling‚ ICAPS 2024‚ Banff‚ Alberta‚ Canada‚ June 1−6‚ 2024

Sara Bernardini and Christian Muise, editors

Details about Proceedings of the Thirty−Fourth International Conference on Automated Planning and Scheduling‚ ICAPS 2024‚ Banff‚ Alberta‚ Canada‚ June 1−6‚ 2024 | BibTeX data for Proceedings of the Thirty−Fourth International Conference on Automated Planning and Scheduling‚ ICAPS 2024‚ Banff‚ Alberta‚ Canada‚ June 1−6‚ 2024 | Link to Proceedings of the Thirty−Fourth International Conference on Automated Planning and Scheduling‚ ICAPS 2024‚ Banff‚ Alberta‚ Canada‚ June 1−6‚ 2024

Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract)

Santiago Franco‚ Jamie O. Roberts and Sara Bernardini

In Ariel Felner and Jiaoyang Li, editors, Seventeenth International Symposium on Combinatorial Search‚ SOCS 2024‚ Kananaskis‚ Alberta‚ Canada‚ June 6−8‚ 2024. Pages 271–272. AAAI Press. 2024.

Details about Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract) | BibTeX data for Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract) | DOI (10.1609/SOCS.V17I1.31576) | Link to Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract)

A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades

Zhengyi Jiang‚ Ferdian Jovan‚ Peiman Moradi‚ Tom Richardson‚ Sara Bernardini‚ Simon Watson‚ Andrew Weightman and Duncan Hine

In J. Field Robotics. Vol. 40. No. 1. Pages 73–93. 2023.

Details about A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades | BibTeX data for A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades | DOI (10.1002/ROB.22117) | Link to A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades

Learning Interpretable Heuristics for WalkSAT

Yannet Interian and Sara Bernardini

In CoRR. Vol. abs/2307.04608. 2023.

Details about Learning Interpretable Heuristics for WalkSAT | BibTeX data for Learning Interpretable Heuristics for WalkSAT | DOI (10.48550/ARXIV.2307.04608) | Link to Learning Interpretable Heuristics for WalkSAT

Learning Interpretable Heuristics for WalkSAT

Yannet Interian and Sara Bernardini

In Pierre Marquis‚ Tran Cao Son and Gabriele Kern−Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2023‚ Rhodes‚ Greece‚ September 2−8‚ 2023. Pages 365–373. 2023.

Details about Learning Interpretable Heuristics for WalkSAT | BibTeX data for Learning Interpretable Heuristics for WalkSAT | DOI (10.24963/KR.2023/36) | Link to Learning Interpretable Heuristics for WalkSAT

Exploiting Geometric Constraints in Multi−Agent Pathfinding

Dor Atzmon‚ Sara Bernardini‚ Fabio Fagnani and David Fairbairn

In Sven Koenig‚ Roni Stern and Mauro Vallati, editors, Proceedings of the Thirty−Third International Conference on Automated Planning and Scheduling‚ Prague‚ Czech Republic‚ July 8−13‚ 2023. Pages 17–25. AAAI Press. 2023.

Details about Exploiting Geometric Constraints in Multi−Agent Pathfinding | BibTeX data for Exploiting Geometric Constraints in Multi−Agent Pathfinding | DOI (10.1609/ICAPS.V33I1.27174) | Link to Exploiting Geometric Constraints in Multi−Agent Pathfinding

Adaptive Temporal Planning for Multi−Robot Systems in Operations and Maintenance of Offshore Wind Farms

Ferdian Jovan and Sara Bernardini

In Brian Williams‚ Yiling Chen and Jennifer Neville, editors, Thirty−Seventh AAAI Conference on Artificial Intelligence‚ AAAI 2023‚ Thirty−Fifth Conference on Innovative Applications of Artificial Intelligence‚ IAAI 2023‚ Thirteenth Symposium on Educational Advances in Artificial Intelligence‚ EAAI 2023‚ Washington‚ DC‚ USA‚ February 7−14‚ 2023. Pages 15782–15788. AAAI Press. 2023.

Details about Adaptive Temporal Planning for Multi−Robot Systems in Operations and Maintenance of Offshore Wind Farms | BibTeX data for Adaptive Temporal Planning for Multi−Robot Systems in Operations and Maintenance of Offshore Wind Farms | DOI (10.1609/AAAI.V37I13.26874) | Link to Adaptive Temporal Planning for Multi−Robot Systems in Operations and Maintenance of Offshore Wind Farms

Modular Robots for Enabling Operations in Unstructured Extreme Environments

Mohammed E. Sayed‚ Jamie O. Roberts‚ Karen Donaldson‚ Stephen T. Mahon‚ Faiz Iqbal‚ Boyang Li‚ Santiago Franco Aixela‚ Georgios Mastorakis‚ Emil T. Jonasson‚ Markus P. Nemitz‚ Sara Bernardini and Adam A. Stokes

In Adv. Intell. Syst.. Vol. 4. No. 5. 2022.

Details about Modular Robots for Enabling Operations in Unstructured Extreme Environments | BibTeX data for Modular Robots for Enabling Operations in Unstructured Extreme Environments | DOI (10.1002/AISY.202000227) | Link to Modular Robots for Enabling Operations in Unstructured Extreme Environments

Hybrid Discrete−Continuous Path Planning for Lattice Traversal

Santiago Franco‚ Julius Sustarevas and Sara Bernardini

In IEEE/RSJ International Conference on Intelligent Robots and Systems‚ IROS 2022‚ Kyoto‚ Japan‚ October 23−27‚ 2022. Pages 8971–8978. IEEE. 2022.

Details about Hybrid Discrete−Continuous Path Planning for Lattice Traversal | BibTeX data for Hybrid Discrete−Continuous Path Planning for Lattice Traversal | DOI (10.1109/IROS47612.2022.9981801) | Link to Hybrid Discrete−Continuous Path Planning for Lattice Traversal

A Network Flow Interpretation of Robust Goal Legibility in Path Finding

Sara Bernardini‚ Fabio Fagnani‚ Santiago Franco and Alexandra Neacsu

In Akshat Kumar‚ Sylvie Thiébaux‚ Pradeep Varakantham and William Yeoh, editors, Proceedings of the Thirty−Second International Conference on Automated Planning and Scheduling‚ ICAPS 2022‚ Singapore (virtual)‚ June 13−24‚ 2022. Pages 668–677. AAAI Press. 2022.

Details about A Network Flow Interpretation of Robust Goal Legibility in Path Finding | BibTeX data for A Network Flow Interpretation of Robust Goal Legibility in Path Finding | Link to A Network Flow Interpretation of Robust Goal Legibility in Path Finding

Informed Autonomous Exploration of Subterranean Environments

Aliakbar Akbari and Sara Bernardini

In IEEE Robotics Autom. Lett.. Vol. 6. No. 4. Pages 7957–7964. 2021.

Details about Informed Autonomous Exploration of Subterranean Environments | BibTeX data for Informed Autonomous Exploration of Subterranean Environments | DOI (10.1109/LRA.2021.3101885) | Link to Informed Autonomous Exploration of Subterranean Environments

A unifying look at sequence submodularity

Sara Bernardini‚ Fabio Fagnani and Chiara Piacentini

In Artif. Intell.. Vol. 297. Pages 103486. 2021.

Details about A unifying look at sequence submodularity | BibTeX data for A unifying look at sequence submodularity | DOI (10.1016/J.ARTINT.2021.103486) | Link to A unifying look at sequence submodularity

vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems

Jamie O. Roberts‚ Georgios Mastorakis‚ Brad Lazaruk‚ Santiago Franco‚ Adam A. Stokes and Sara Bernardini

In Susanne Biundo‚ Minh Do‚ Robert Goldman‚ Michael Katz‚ Qiang Yang and Hankz Hankui Zhuo, editors, Proceedings of the Thirty−First International Conference on Automated Planning and Scheduling‚ ICAPS 2021‚ Guangzhou‚ China (virtual)‚ August 2−13‚ 2021. Pages 486–490. AAAI Press. 2021.

Details about vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems | BibTeX data for vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems | Link to vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems

Autonomous Building of Structures in Unstructured Environments via AI Planning

Jamie O. Roberts‚ Santiago Franco‚ Adam A. Stokes and Sara Bernardini

In Susanne Biundo‚ Minh Do‚ Robert Goldman‚ Michael Katz‚ Qiang Yang and Hankz Hankui Zhuo, editors, Proceedings of the Thirty−First International Conference on Automated Planning and Scheduling‚ ICAPS 2021‚ Guangzhou‚ China (virtual)‚ August 2−13‚ 2021. Pages 491–499. AAAI Press. 2021.

Details about Autonomous Building of Structures in Unstructured Environments via AI Planning | BibTeX data for Autonomous Building of Structures in Unstructured Environments via AI Planning | Link to Autonomous Building of Structures in Unstructured Environments via AI Planning

A Multi−Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms

Sara Bernardini‚ Ferdian Jovan‚ Zhengyi Jiang‚ Simon Watson‚ Andrew Weightman‚ Peiman Moradi‚ Tom Richardson‚ Rasoul Sadeghian and Sina Sareh

In Amal El Fallah Seghrouchni‚ Gita Sukthankar‚ Bo An and Neil Yorke−Smith, editors, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems‚ AAMAS '20‚ Auckland‚ New Zealand‚ May 9−13‚ 2020. Pages 1696–1700. International Foundation for Autonomous Agents and Multiagent Systems. 2020.

Details about A Multi−Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms | BibTeX data for A Multi−Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms | DOI (10.5555/3398761.3398956) | Link to A Multi−Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms

Target Search on Road Networks With Range−Constrained UAVs and Ground−Based Mobile Recharging Vehicles

Kyle E. C. Booth‚ Chiara Piacentini‚ Sara Bernardini and J. Christopher Beck

In IEEE Robotics Autom. Lett.. Vol. 5. No. 4. Pages 6702–6709. 2020.

Details about Target Search on Road Networks With Range−Constrained UAVs and Ground−Based Mobile Recharging Vehicles | BibTeX data for Target Search on Road Networks With Range−Constrained UAVs and Ground−Based Mobile Recharging Vehicles | DOI (10.1109/LRA.2020.3015464) | Link to Target Search on Road Networks With Range−Constrained UAVs and Ground−Based Mobile Recharging Vehicles

The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection

Liam Brown‚ Robert Clarke‚ Aliakbar Akbari‚ Ujjar Bhandari‚ Sara Bernardini‚ Puneet S. Chhabra‚ Ognjen Marjanovic‚ Thomas Richardson and Simon Watson

In Robotics. Vol. 9. No. 4. Pages 95. 2020.

Details about The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection | BibTeX data for The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection | DOI (10.3390/ROBOTICS9040095) | Link to The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection

Through the Lens of Sequence Submodularity

Sara Bernardini‚ Fabio Fagnani and Chiara Piacentini

In J. Christopher Beck‚ Olivier Buffet‚ Jörg Hoffmann‚ Erez Karpas and Shirin Sohrabi, editors, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling‚ Nancy‚ France‚ October 26−30‚ 2020. Pages 38–47. AAAI Press. 2020.

Details about Through the Lens of Sequence Submodularity | BibTeX data for Through the Lens of Sequence Submodularity | Link to Through the Lens of Sequence Submodularity

Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents

Sarah Keren‚ Sara Bernardini‚ Kofi Kwapong and David C. Parkes

In Diego Calvanese‚ Esra Erdem and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2020‚ Rhodes‚ Greece‚ September 12−18‚ 2020. Pages 550–559. 2020.

Details about Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents | BibTeX data for Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents | DOI (10.24963/KR.2020/55) | Link to Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents

Intelligent Exploration and Autonomous Navigation in Confined Spaces

Aliakbar Akbari‚ Puneet S. Chhabra‚ Ujjar Bhandari and Sara Bernardini

In IEEE/RSJ International Conference on Intelligent Robots and Systems‚ IROS 2020‚ Las Vegas‚ NV‚ USA‚ October 24‚ 2020 − January 24‚ 2021. Pages 2157–2164. IEEE. 2020.

Details about Intelligent Exploration and Autonomous Navigation in Confined Spaces | BibTeX data for Intelligent Exploration and Autonomous Navigation in Confined Spaces | DOI (10.1109/IROS45743.2020.9341525) | Link to Intelligent Exploration and Autonomous Navigation in Confined Spaces

An Optimization Approach to Robust Goal Obfuscation

Sara Bernardini‚ Fabio Fagnani and Santiago Franco

In Diego Calvanese‚ Esra Erdem and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2020‚ Rhodes‚ Greece‚ September 12−18‚ 2020. Pages 119–129. 2020.

Details about An Optimization Approach to Robust Goal Obfuscation | BibTeX data for An Optimization Approach to Robust Goal Obfuscation | DOI (10.24963/KR.2020/13) | Link to An Optimization Approach to Robust Goal Obfuscation

Autonomous Target Search with Multiple Coordinated UAVs

Chiara Piacentini‚ Sara Bernardini and J. Christopher Beck

In J. Artif. Intell. Res.. Vol. 65. Pages 519–568. 2019.

Details about Autonomous Target Search with Multiple Coordinated UAVs | BibTeX data for Autonomous Target Search with Multiple Coordinated UAVs | DOI (10.1613/JAIR.1.11635) | Link to Autonomous Target Search with Multiple Coordinated UAVs

Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills

Kaska Porayska−Pomsta‚ Alyssa M. Alcorn‚ Katerina Avramides‚ Sandra Beale‚ Sara Bernardini‚ Mary Ellen Foster‚ Christopher Frauenberger‚ Judith Good‚ Karen Guldberg‚ Wendy Keay−Bright‚ Lila Kossyvaki‚ Oliver Lemon‚ Marilena Mademtzi‚ Rachel Menzies‚ Helen Pain‚ Gnanathusharan Rajendran‚ Annalu Waller‚ Sam Wass and Tim J. Smith

In ACM Trans. Comput. Hum. Interact.. Vol. 25. No. 6. Pages 35:1–35:35. 2018.

Details about Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills | BibTeX data for Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills | DOI (10.1145/3271484) | Link to Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills

Extracting mutual exclusion invariants from lifted temporal planning domains

Sara Bernardini‚ Fabio Fagnani and David E. Smith

In Artif. Intell.. Vol. 258. Pages 1–65. 2018.

Details about Extracting mutual exclusion invariants from lifted temporal planning domains | BibTeX data for Extracting mutual exclusion invariants from lifted temporal planning domains | DOI (10.1016/J.ARTINT.2018.01.004) | Link to Extracting mutual exclusion invariants from lifted temporal planning domains

Policy Conflict Resolution in IoT via Planning

Emre Göynügür‚ Sara Bernardini‚ Geeth de Mel‚ Kartik Talamadupula and Murat Sensoy

In Malek Mouhoub and Philippe Langlais, editors, Advances in Artificial Intelligence − 30th Canadian Conference on Artificial Intelligence‚ Canadian AI 2017‚ Edmonton‚ AB‚ Canada‚ May 16−19‚ 2017‚ Proceedings. Vol. 10233 of Lecture Notes in Computer Science. Pages 169–175. 2017.

Details about Policy Conflict Resolution in IoT via Planning | BibTeX data for Policy Conflict Resolution in IoT via Planning | DOI (10.1007/978-3-319-57351-9\_22) | Link to Policy Conflict Resolution in IoT via Planning

Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

Sara Bernardini‚ Fabio Fagnani and David E. Smith

In CoRR. Vol. abs/1702.01886. 2017.

Details about Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains | BibTeX data for Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains | Link to Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

Combining temporal planning with probabilistic reasoning for autonomous surveillance missions

Sara Bernardini‚ Maria Fox and Derek Long

In Auton. Robots. Vol. 41. No. 1. Pages 181–203. 2017.

Details about Combining temporal planning with probabilistic reasoning for autonomous surveillance missions | BibTeX data for Combining temporal planning with probabilistic reasoning for autonomous surveillance missions | DOI (10.1007/S10514-015-9534-0) | Link to Combining temporal planning with probabilistic reasoning for autonomous surveillance missions

Deterministic versus Probabilistic Methods for Searching for an Evasive Target

Sara Bernardini‚ Maria Fox‚ Derek Long and Chiara Piacentini

In Satinder Singh and Shaul Markovitch, editors, Proceedings of the Thirty−First AAAI Conference on Artificial Intelligence‚ February 4−9‚ 2017‚ San Francisco‚ California‚ USA. Pages 3709–3715. AAAI Press. 2017.

Details about Deterministic versus Probabilistic Methods for Searching for an Evasive Target | BibTeX data for Deterministic versus Probabilistic Methods for Searching for an Evasive Target | DOI (10.1609/AAAI.V31I1.11054) | Link to Deterministic versus Probabilistic Methods for Searching for an Evasive Target

Boosting Search Guidance in Problems with Semantic Attachments

Sara Bernardini‚ Maria Fox‚ Derek Long and Chiara Piacentini

In Laura Barbulescu‚ Jeremy Frank‚ Mausam and Stephen F. Smith, editors, Proceedings of the Twenty−Seventh International Conference on Automated Planning and Scheduling‚ ICAPS 2017‚ Pittsburgh‚ Pennsylvania‚ USA‚ June 18−23‚ 2017. Pages 29–37. AAAI Press. 2017.

Details about Boosting Search Guidance in Problems with Semantic Attachments | BibTeX data for Boosting Search Guidance in Problems with Semantic Attachments | Link to Boosting Search Guidance in Problems with Semantic Attachments

Leveraging Probabilistic Reasoning in Deterministic Planning for Large−Scale Autonomous Search−and−Tracking

Sara Bernardini‚ Maria Fox‚ Derek Long and Chiara Piacentini

In Amanda Jane Coles‚ Andrew Coles‚ Stefan Edelkamp‚ Daniele Magazzeni and Scott Sanner, editors, Proceedings of the Twenty−Sixth International Conference on Automated Planning and Scheduling‚ ICAPS 2016‚ London‚ UK‚ June 12−17‚ 2016. Pages 47–55. AAAI Press. 2016.

Details about Leveraging Probabilistic Reasoning in Deterministic Planning for Large−Scale Autonomous Search−and−Tracking | BibTeX data for Leveraging Probabilistic Reasoning in Deterministic Planning for Large−Scale Autonomous Search−and−Tracking | Link to Leveraging Probabilistic Reasoning in Deterministic Planning for Large−Scale Autonomous Search−and−Tracking

Erratum to: Developing technology for autism: an interdisciplinary approach

Kaska Porayska−Pomsta‚ Christopher Frauenberger‚ Helen Pain‚ Gnanathusharan Rajendran‚ Tim J. Smith‚ Rachel Menzies‚ Mary Ellen Foster‚ Alyssa Alcorn‚ Sam Wass‚ Sara Bernardini‚ Katerina Avramides‚ Wendy Keay−Bright‚ J. Chen‚ Annalu Waller‚ Karen Guldberg‚ Judith Good and Oliver Lemon

In Pers. Ubiquitous Comput.. Vol. 19. No. 5−6. Pages 983. 2015.

Details about Erratum to: Developing technology for autism: an interdisciplinary approach | BibTeX data for Erratum to: Developing technology for autism: an interdisciplinary approach | DOI (10.1007/S00779-015-0834-3) | Link to Erratum to: Developing technology for autism: an interdisciplinary approach

ECHOES: An intelligent serious game for fostering social communication in children with autism

Sara Bernardini‚ Kaska Porayska−Pomsta and Tim J. Smith

In Inf. Sci.. Vol. 264. Pages 41–60. 2014.

Details about ECHOES: An intelligent serious game for fostering social communication in children with autism | BibTeX data for ECHOES: An intelligent serious game for fostering social communication in children with autism | DOI (10.1016/J.INS.2013.10.027) | Link to ECHOES: An intelligent serious game for fostering social communication in children with autism

Planning the Behaviour of Low−Cost Quadcopters for Surveillance Missions

Sara Bernardini‚ Maria Fox and Derek Long

In Steve A. Chien‚ Minh Binh Do‚ Alan Fern and Wheeler Ruml, editors, Proceedings of the Twenty−Fourth International Conference on Automated Planning and Scheduling‚ ICAPS 2014‚ Portsmouth‚ New Hampshire‚ USA‚ June 21−26‚ 2014. AAAI. 2014.

Details about Planning the Behaviour of Low−Cost Quadcopters for Surveillance Missions | BibTeX data for Planning the Behaviour of Low−Cost Quadcopters for Surveillance Missions | Link to Planning the Behaviour of Low−Cost Quadcopters for Surveillance Missions

Automated Planning of Simple Persuasion Dialogues

Elizabeth Black‚ Amanda Jane Coles and Sara Bernardini

In Nils Bulling‚ Leendert W. N. van der Torre‚ Serena Villata‚ Wojtek Jamroga and Wamberto Weber Vasconcelos, editors, Computational Logic in Multi−Agent Systems − 15th International Workshop‚ CLIMA XV‚ Prague‚ Czech Republic‚ August 18−19‚ 2014. Proceedings. Vol. 8624 of Lecture Notes in Computer Science. Pages 87–104. Springer. 2014.

Details about Automated Planning of Simple Persuasion Dialogues | BibTeX data for Automated Planning of Simple Persuasion Dialogues | DOI (10.1007/978-3-319-09764-0\_6) | Link to Automated Planning of Simple Persuasion Dialogues

The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews

Keith Anderson‚ Elisabeth André‚ Tobias Baur‚ Sara Bernardini‚ Mathieu Chollet‚ Evi Chryssafidou‚ Ionut Damian‚ Cathy Ennis‚ Arjan Egges‚ Patrick Gebhard‚ Hazaël Jones‚ Magalie Ochs‚ Catherine Pelachaud‚ Kaska Porayska−Pomsta‚ Paola Rizzo and Nicolas Sabouret

In Dennis Reidsma‚ Haruhiro Katayose and Anton Nijholt, editors, Advances in Computer Entertainment − 10th International Conference‚ ACE 2013‚ Boekelo‚ The Netherlands‚ November 12−15‚ 2013. Proceedings. Vol. 8253 of Lecture Notes in Computer Science. Pages 476–491. Springer. 2013.

Details about The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews | BibTeX data for The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews | DOI (10.1007/978-3-319-03161-3\_35) | Link to The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews

Modelling Users' Affect in Job Interviews: Technological Demo

Kaska Porayska−Pomsta‚ Keith Anderson‚ Ionut Damian‚ Tobias Baur‚ Elisabeth André‚ Sara Bernardini and Paola Rizzo

In Sandra Carberry‚ Stephan Weibelzahl‚ Alessandro Micarelli and Giovanni Semeraro, editors, User Modeling‚ Adaptation‚ and Personalization − 21th International Conference‚ UMAP 2013‚ Rome‚ Italy‚ June 10−14‚ 2013‚ Proceedings. Vol. 7899 of Lecture Notes in Computer Science. Pages 353–355. Springer. 2013.

Details about Modelling Users' Affect in Job Interviews: Technological Demo | BibTeX data for Modelling Users' Affect in Job Interviews: Technological Demo | DOI (10.1007/978-3-642-38844-6\_37) | Link to Modelling Users' Affect in Job Interviews: Technological Demo

Planning−Based Social Partners for Children with Autism

Sara Bernardini and Kaska Porayska−Pomsta

In Daniel Borrajo‚ Subbarao Kambhampati‚ Angelo Oddi and Simone Fratini, editors, Proceedings of the Twenty−Third International Conference on Automated Planning and Scheduling‚ ICAPS 2013‚ Rome‚ Italy‚ June 10−14‚ 2013. AAAI. 2013.

Details about Planning−Based Social Partners for Children with Autism | BibTeX data for Planning−Based Social Partners for Children with Autism | Link to Planning−Based Social Partners for Children with Autism

Designing an Intelligent Virtual Agent for Social Communication in Autism

Sara Bernardini‚ Kaska Porayska−Pomsta and Harini Sampath

In Gita Sukthankar and Ian Horswill, editors, Proceedings of the Ninth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment‚ AIIDE−13‚ Boston‚ Massachusetts‚ USA‚ October 14−18‚ 2013. AAAI. 2013.

Details about Designing an Intelligent Virtual Agent for Social Communication in Autism | BibTeX data for Designing an Intelligent Virtual Agent for Social Communication in Autism | Link to Designing an Intelligent Virtual Agent for Social Communication in Autism

Building an Intelligent‚ Authorable Serious Game for Autistic Children and Their Carers

Kaska Porayska−Pomsta‚ Keith Anderson‚ Sara Bernardini‚ Karen Guldberg‚ Tim J. Smith‚ Lila Kossivaki‚ Scott Hodgins and Ian Lowe

In Dennis Reidsma‚ Haruhiro Katayose and Anton Nijholt, editors, Advances in Computer Entertainment − 10th International Conference‚ ACE 2013‚ Boekelo‚ The Netherlands‚ November 12−15‚ 2013. Proceedings. Vol. 8253 of Lecture Notes in Computer Science. Pages 456–475. Springer. 2013.

Details about Building an Intelligent‚ Authorable Serious Game for Autistic Children and Their Carers | BibTeX data for Building an Intelligent‚ Authorable Serious Game for Autistic Children and Their Carers | DOI (10.1007/978-3-319-03161-3\_34) | Link to Building an Intelligent‚ Authorable Serious Game for Autistic Children and Their Carers

Autonomous Search and Tracking via Temporal Planning

Sara Bernardini‚ Maria Fox‚ Derek Long and John Bookless

In Daniel Borrajo‚ Subbarao Kambhampati‚ Angelo Oddi and Simone Fratini, editors, Proceedings of the Twenty−Third International Conference on Automated Planning and Scheduling‚ ICAPS 2013‚ Rome‚ Italy‚ June 10−14‚ 2013. AAAI. 2013.

Details about Autonomous Search and Tracking via Temporal Planning | BibTeX data for Autonomous Search and Tracking via Temporal Planning | Link to Autonomous Search and Tracking via Temporal Planning

Developing technology for autism: an interdisciplinary approach

Kaska Porayska−Pomsta‚ Christopher Frauenberger‚ Helen Pain‚ Gnanathusharan Rajendran‚ Tim J. Smith‚ Rachel Menzies‚ Mary Ellen Foster‚ Alyssa Alcorn‚ Sam Wass‚ Sara Bernardini‚ Katerina Avramides‚ Wendy Keay−Bright‚ J. Chen‚ Annalu Waller‚ Karen Guldberg‚ Judith Good and Oliver Lemon

In Pers. Ubiquitous Comput.. Vol. 16. No. 2. Pages 117–127. 2012.

Details about Developing technology for autism: an interdisciplinary approach | BibTeX data for Developing technology for autism: an interdisciplinary approach | DOI (10.1007/S00779-011-0384-2) | Link to Developing technology for autism: an interdisciplinary approach

Building Autonomous Social Partners for Autistic Children

Sara Bernardini‚ Kaska Porayska−Pomsta‚ Tim J. Smith and Katerina Avramides

In Yukiko I. Nakano‚ Michael Neff‚ Ana Paiva and Marilyn A. Walker, editors, Intelligent Virtual Agents − 12th International Conference‚ IVA 2012‚ Santa Cruz‚ CA‚ USA‚ September‚ 12−14‚ 2012. Proceedings. Vol. 7502 of Lecture Notes in Computer Science. Pages 46–52. Springer. 2012.

Details about Building Autonomous Social Partners for Autistic Children | BibTeX data for Building Autonomous Social Partners for Autistic Children | DOI (10.1007/978-3-642-33197-8\_5) | Link to Building Autonomous Social Partners for Autistic Children

Social Communication between Virtual Characters and Children with Autism

Alyssa Alcorn‚ Helen Pain‚ Gnanathusharan Rajendran‚ Tim J. Smith‚ Oliver Lemon‚ Kaska Porayska−Pomsta‚ Mary Ellen Foster‚ Katerina Avramides‚ Christopher Frauenberger and Sara Bernardini

In Gautam Biswas‚ Susan Bull‚ Judy Kay and Antonija Mitrovic, editors, Artificial Intelligence in Education − 15th International Conference‚ AIED 2011‚ Auckland‚ New Zealand‚ June 28 − July 2011. Vol. 6738 of Lecture Notes in Computer Science. Pages 7–14. Springer. 2011.

Details about Social Communication between Virtual Characters and Children with Autism | BibTeX data for Social Communication between Virtual Characters and Children with Autism | DOI (10.1007/978-3-642-21869-9\_4) | Link to Social Communication between Virtual Characters and Children with Autism

Automatic Synthesis of Temporal Invariants

Sara Bernardini and David E. Smith

In Michael R. Genesereth and Peter Z. Revesz, editors, Proceedings of the Ninth Symposium on Abstraction‚ Reformulation‚ and Approximation‚ SARA 2011‚ Parador de Cardona‚ Cardona‚ Catalonia‚ Spain‚ July 17−18‚ 2011. AAAI. 2011.

Details about Automatic Synthesis of Temporal Invariants | BibTeX data for Automatic Synthesis of Temporal Invariants | Link to Automatic Synthesis of Temporal Invariants

Supporting children's social communication skills through interactive narratives with virtual characters

Mary Ellen Foster‚ Katerina Avramides‚ Sara Bernardini‚ Jingying Chen‚ Christopher Frauenberger‚ Oliver Lemon and Kaska Porayska−Pomsta

In Alberto Del Bimbo‚ Shih−Fu Chang and Arnold W. M. Smeulders, editors, Proceedings of the 18th International Conference on Multimedia 2010‚ Firenze‚ Italy‚ October 25−29‚ 2010. Pages 1111–1114. ACM. 2010.

Details about Supporting children's social communication skills through interactive narratives with virtual characters | BibTeX data for Supporting children's social communication skills through interactive narratives with virtual characters | DOI (10.1145/1873951.1874163) | Link to Supporting children's social communication skills through interactive narratives with virtual characters

Model−Unified Planning and Execution for Distributed Autonomous System Control

Pascal Aschwanden‚ Vijay Baskaran‚ Sara Bernardini‚ Chuck Fry‚ Maria Moreno‚ Nicola Muscettola‚ Chris Plaunt‚ David Rijsman and Paul Tompkins

In Ari K. Jόnsson and David Kortenkamp, editors, Spacecraft Autonomy: Using AI to Expand Human Space Exploration‚ Papers from the 2006 AAAI Fall Symposium‚ Washington‚ DC‚ USA‚ October 13−15‚ 2006. Vol. FS−06−07 of AAAI Technical Report. Pages 1–10. AAAI Press. 2006.

Details about Model−Unified Planning and Execution for Distributed Autonomous System Control | BibTeX data for Model−Unified Planning and Execution for Distributed Autonomous System Control | Link to Model−Unified Planning and Execution for Distributed Autonomous System Control

Incremental Compilation−to−SAT Procedures

Marco Benedetti and Sara Bernardini

In SAT 2004 − The Seventh International Conference on Theory and Applications of Satisfiability Testing‚ 10−13 May 2004‚ Vancouver‚ BC‚ Canada‚ Online Proceedings. 2004.

Details about Incremental Compilation−to−SAT Procedures | BibTeX data for Incremental Compilation−to−SAT Procedures | Download (pdf) of Incremental Compilation−to−SAT Procedures

Incremental Compilation−to−SAT Procedures

Marco Benedetti and Sara Bernardini

In Holger H. Hoos and David G. Mitchell, editors, Theory and Applications of Satisfiability Testing‚ 7th International Conference‚ SAT 2004‚ Vancouver‚ BC‚ Canada‚ May 10−13‚ 2004‚ Revised Selected Papers. Vol. 3542 of Lecture Notes in Computer Science. Pages 46–58. Springer. 2004.

Details about Incremental Compilation−to−SAT Procedures | BibTeX data for Incremental Compilation−to−SAT Procedures | DOI (10.1007/11527695\_4) | Link to Incremental Compilation−to−SAT Procedures

Details about | BibTeX data for