Sara Bernardini : Publications
Click here to download all publications in a single bibtex file
@inproceedings{bernardini2025speed,
title = "Speed vs accuracy in goal recognition for time-sensitive applications: a game-theoretic approach",
author = "Bernardini, Sara and Fagnani, Fabio and Franco, Santiago",
year = "2025",
booktitle = "24th International Conference on Autonomous Agents and Multiagent Systems",
organization = "International Foundation for Autonomous Agents and Multiagent Systems",
}
@article{DBLP:journals/ai/BernardiniFNF24,
title = "Optimizing pathfinding for goal legibility and recognition in cooperative partially observable environments",
author = "Sara Bernardini and Fabio Fagnani and Alexandra Neacsu and Santiago Franco",
year = "2024",
journal = "Artif. Intell.",
pages = "104148",
url = "https://doi.org/10.1016/j.artint.2024.104148",
volume = "333",
doi = "10.1016/J.ARTINT.2024.104148",
}
@inproceedings{DBLP:conf/socs/FrancoRB24,
title = "Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract)",
author = "Santiago Franco and Jamie O. Roberts and Sara Bernardini",
year = "2024",
booktitle = "Seventeenth International Symposium on Combinatorial Search, {SOCS} 2024, Kananaskis, Alberta, Canada, June 6-8, 2024",
editor = "Ariel Felner and Jiaoyang Li",
pages = "271--272",
publisher = "{AAAI} Press",
url = "https://doi.org/10.1609/socs.v17i1.31576",
doi = "10.1609/SOCS.V17I1.31576",
}
@inproceedings{DBLP:conf/gamesem/FrancoBBCDNV24,
title = "Unlocking {AI} Literacy: The SMaILE-App Gaming Experience",
author = "Santiago Franco and Maria Giulia Ballatore and Sara Bernardini and Giacomo Como and Luca Damonte and Alexandra Neacsu and Martina Vanelli",
year = "2024",
booktitle = "{IEEE} Gaming, Entertainment, and Media Conference, {GEM} 2024, Turin, Italy, June 5-7, 2024",
pages = "1--6",
publisher = "{IEEE}",
url = "https://doi.org/10.1109/GEM61861.2024.10585394",
doi = "10.1109/GEM61861.2024.10585394",
}
@proceedings{DBLP:conf/icaps/2024,
title = "Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, {ICAPS} 2024, Banff, Alberta, Canada, June 1-6, 2024",
year = "2024",
editor = "Sara Bernardini and Christian Muise",
publisher = "{AAAI} Press",
url = "https://ojs.aaai.org/index.php/ICAPS/issue/view/606",
}
@article{DBLP:journals/corr/abs-2307-04608,
title = "Learning Interpretable Heuristics for WalkSAT",
author = "Yannet Interian and Sara Bernardini",
year = "2023",
journal = "CoRR",
url = "https://doi.org/10.48550/arXiv.2307.04608",
volume = "abs/2307.04608",
doi = "10.48550/ARXIV.2307.04608",
}
@article{DBLP:journals/jfr/JiangJMRBWWH23,
title = "A multirobot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades",
author = "Zhengyi Jiang and Ferdian Jovan and Peiman Moradi and Tom Richardson and Sara Bernardini and Simon Watson and Andrew Weightman and Duncan Hine",
year = "2023",
journal = "J. Field Robotics",
number = "1",
pages = "73--93",
url = "https://doi.org/10.1002/rob.22117",
volume = "40",
doi = "10.1002/ROB.22117",
}
@inproceedings{DBLP:conf/kr/InterianB23,
title = "Learning Interpretable Heuristics for WalkSAT",
author = "Yannet Interian and Sara Bernardini",
year = "2023",
booktitle = "Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece, September 2-8, 2023",
editor = "Pierre Marquis and Tran Cao Son and Gabriele Kern{-}Isberner",
pages = "365--373",
url = "https://doi.org/10.24963/kr.2023/36",
doi = "10.24963/KR.2023/36",
}
@inproceedings{DBLP:conf/aips/AtzmonBFF23,
title = "Exploiting Geometric Constraints in Multi-Agent Pathfinding",
author = "Dor Atzmon and Sara Bernardini and Fabio Fagnani and David Fairbairn",
year = "2023",
booktitle = "Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, Prague, Czech Republic, July 8-13, 2023",
editor = "Sven Koenig and Roni Stern and Mauro Vallati",
pages = "17--25",
publisher = "{AAAI} Press",
url = "https://doi.org/10.1609/icaps.v33i1.27174",
doi = "10.1609/ICAPS.V33I1.27174",
}
@inproceedings{DBLP:conf/aaai/JovanB23,
title = "Adaptive Temporal Planning for Multi-Robot Systems in Operations and Maintenance of Offshore Wind Farms",
author = "Ferdian Jovan and Sara Bernardini",
year = "2023",
booktitle = "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",
editor = "Brian Williams and Yiling Chen and Jennifer Neville",
pages = "15782--15788",
publisher = "{AAAI} Press",
url = "https://doi.org/10.1609/aaai.v37i13.26874",
doi = "10.1609/AAAI.V37I13.26874",
}
@article{DBLP:journals/aisy/SayedRDMILAMJNB22,
title = "Modular Robots for Enabling Operations in Unstructured Extreme Environments",
author = "Mohammed E. Sayed and Jamie O. Roberts and Karen Donaldson and Stephen T. Mahon and Faiz Iqbal and Boyang Li and Santiago Franco Aixela and Georgios Mastorakis and Emil T. Jonasson and Markus P. Nemitz and Sara Bernardini and Adam A. Stokes",
year = "2022",
journal = "Adv. Intell. Syst.",
number = "5",
url = "https://doi.org/10.1002/aisy.202000227",
volume = "4",
doi = "10.1002/AISY.202000227",
}
@inproceedings{DBLP:conf/iros/FrancoSB22,
title = "Hybrid Discrete-Continuous Path Planning for Lattice Traversal",
author = "Santiago Franco and Julius Sustarevas and Sara Bernardini",
year = "2022",
booktitle = "{IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2022, Kyoto, Japan, October 23-27, 2022",
pages = "8971--8978",
publisher = "{IEEE}",
url = "https://doi.org/10.1109/IROS47612.2022.9981801",
doi = "10.1109/IROS47612.2022.9981801",
}
@inproceedings{DBLP:conf/aips/BernardiniFFN22,
title = "A Network Flow Interpretation of Robust Goal Legibility in Path Finding",
author = "Sara Bernardini and Fabio Fagnani and Santiago Franco and Alexandra Neacsu",
year = "2022",
booktitle = "Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24, 2022",
editor = "Akshat Kumar and Sylvie Thi{\'{e}}baux and Pradeep Varakantham and William Yeoh",
pages = "668--677",
publisher = "{AAAI} Press",
url = "https://ojs.aaai.org/index.php/ICAPS/article/view/19856",
}
@article{DBLP:journals/ral/AkbariB21,
title = "Informed Autonomous Exploration of Subterranean Environments",
author = "Aliakbar Akbari and Sara Bernardini",
year = "2021",
journal = "{IEEE} Robotics Autom. Lett.",
number = "4",
pages = "7957--7964",
url = "https://doi.org/10.1109/lra.2021.3101885",
volume = "6",
doi = "10.1109/LRA.2021.3101885",
}
@article{DBLP:journals/ai/BernardiniFP21,
title = "A unifying look at sequence submodularity",
author = "Sara Bernardini and Fabio Fagnani and Chiara Piacentini",
year = "2021",
journal = "Artif. Intell.",
pages = "103486",
url = "https://doi.org/10.1016/j.artint.2021.103486",
volume = "297",
doi = "10.1016/J.ARTINT.2021.103486",
}
@inproceedings{DBLP:conf/aips/RobertsFSB21,
title = "Autonomous Building of Structures in Unstructured Environments via {AI} Planning",
author = "Jamie O. Roberts and Santiago Franco and Adam A. Stokes and Sara Bernardini",
year = "2021",
booktitle = "Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual), August 2-13, 2021",
editor = "Susanne Biundo and Minh Do and Robert Goldman and Michael Katz and Qiang Yang and Hankz Hankui Zhuo",
pages = "491--499",
publisher = "{AAAI} Press",
url = "https://ojs.aaai.org/index.php/ICAPS/article/view/15996",
}
@inproceedings{DBLP:conf/aips/RobertsMLFSB21,
title = "vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of {AI} Systems",
author = "Jamie O. Roberts and Georgios Mastorakis and Brad Lazaruk and Santiago Franco and Adam A. Stokes and Sara Bernardini",
year = "2021",
booktitle = "Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual), August 2-13, 2021",
editor = "Susanne Biundo and Minh Do and Robert Goldman and Michael Katz and Qiang Yang and Hankz Hankui Zhuo",
pages = "486--490",
publisher = "{AAAI} Press",
url = "https://ojs.aaai.org/index.php/ICAPS/article/view/15995",
}
@article{DBLP:journals/robotics/BrownCABBCMRW20,
title = "The Design of Prometheus: {A} Reconfigurable {UAV} for Subterranean Mine Inspection",
author = "Liam Brown and Robert Clarke and Aliakbar Akbari and Ujjar Bhandari and Sara Bernardini and Puneet S. Chhabra and Ognjen Marjanovic and Thomas Richardson and Simon Watson",
year = "2020",
journal = "Robotics",
number = "4",
pages = "95",
url = "https://doi.org/10.3390/robotics9040095",
volume = "9",
doi = "10.3390/ROBOTICS9040095",
}
@article{DBLP:journals/ral/BoothPBB20,
title = "Target Search on Road Networks With Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles",
author = "Kyle E. C. Booth and Chiara Piacentini and Sara Bernardini and J. Christopher Beck",
year = "2020",
journal = "{IEEE} Robotics Autom. Lett.",
number = "4",
pages = "6702--6709",
url = "https://doi.org/10.1109/LRA.2020.3015464",
volume = "5",
doi = "10.1109/LRA.2020.3015464",
}
@inproceedings{DBLP:conf/kr/KerenBKP20,
title = "Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents",
author = "Sarah Keren and Sara Bernardini and Kofi Kwapong and David C. Parkes",
year = "2020",
booktitle = "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020",
editor = "Diego Calvanese and Esra Erdem and Michael Thielscher",
pages = "550--559",
url = "https://doi.org/10.24963/kr.2020/55",
doi = "10.24963/KR.2020/55",
}
@inproceedings{DBLP:conf/kr/BernardiniFF20,
title = "An Optimization Approach to Robust Goal Obfuscation",
author = "Sara Bernardini and Fabio Fagnani and Santiago Franco",
year = "2020",
booktitle = "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020",
editor = "Diego Calvanese and Esra Erdem and Michael Thielscher",
pages = "119--129",
url = "https://doi.org/10.24963/kr.2020/13",
doi = "10.24963/KR.2020/13",
}
@inproceedings{DBLP:conf/iros/AkbariCBB20,
title = "Intelligent Exploration and Autonomous Navigation in Confined Spaces",
author = "Aliakbar Akbari and Puneet S. Chhabra and Ujjar Bhandari and Sara Bernardini",
year = "2020",
booktitle = "{IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021",
pages = "2157--2164",
publisher = "{IEEE}",
url = "https://doi.org/10.1109/IROS45743.2020.9341525",
doi = "10.1109/IROS45743.2020.9341525",
}
@inproceedings{DBLP:conf/atal/BernardiniJJWWM20,
title = "A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms",
author = "Sara Bernardini and Ferdian Jovan and Zhengyi Jiang and Simon Watson and Andrew Weightman and Peiman Moradi and Tom Richardson and Rasoul Sadeghian and Sina Sareh",
year = "2020",
booktitle = "Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13, 2020",
editor = "Amal El Fallah Seghrouchni and Gita Sukthankar and Bo An and Neil Yorke{-}Smith",
pages = "1696--1700",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems",
url = "https://dl.acm.org/doi/10.5555/3398761.3398956",
doi = "10.5555/3398761.3398956",
}
@inproceedings{DBLP:conf/aips/BernardiniFP20,
title = "Through the Lens of Sequence Submodularity",
author = "Sara Bernardini and Fabio Fagnani and Chiara Piacentini",
year = "2020",
booktitle = "Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020",
editor = "J. Christopher Beck and Olivier Buffet and J{\"{o}}rg Hoffmann and Erez Karpas and Shirin Sohrabi",
pages = "38--47",
publisher = "{AAAI} Press",
url = "https://ojs.aaai.org/index.php/ICAPS/article/view/6643",
}
@article{DBLP:journals/jair/PiacentiniBB19,
title = "Autonomous Target Search with Multiple Coordinated UAVs",
author = "Chiara Piacentini and Sara Bernardini and J. Christopher Beck",
year = "2019",
journal = "J. Artif. Intell. Res.",
pages = "519--568",
url = "https://doi.org/10.1613/jair.1.11635",
volume = "65",
doi = "10.1613/JAIR.1.11635",
}
@article{DBLP:journals/tochi/Porayska-Pomsta18,
title = "Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills",
author = "Kaska Porayska{-}Pomsta and Alyssa M. Alcorn and Katerina Avramides and Sandra Beale and Sara Bernardini and Mary Ellen Foster and Christopher Frauenberger and Judith Good and Karen Guldberg and Wendy Keay{-}Bright and Lila Kossyvaki and Oliver Lemon and Marilena Mademtzi and Rachel Menzies and Helen Pain and Gnanathusharan Rajendran and Annalu Waller and Sam Wass and Tim J. Smith",
year = "2018",
journal = "{ACM} Trans. Comput. Hum. Interact.",
number = "6",
pages = "35:1--35:35",
url = "https://doi.org/10.1145/3271484",
volume = "25",
doi = "10.1145/3271484",
}
@article{DBLP:journals/ai/BernardiniFS18,
title = "Extracting mutual exclusion invariants from lifted temporal planning domains",
author = "Sara Bernardini and Fabio Fagnani and David E. Smith",
year = "2018",
journal = "Artif. Intell.",
pages = "1--65",
url = "https://doi.org/10.1016/j.artint.2018.01.004",
volume = "258",
doi = "10.1016/J.ARTINT.2018.01.004",
}
@article{DBLP:journals/corr/BernardiniFS17,
title = "Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains",
author = "Sara Bernardini and Fabio Fagnani and David E. Smith",
year = "2017",
journal = "CoRR",
url = "http://arxiv.org/abs/1702.01886",
volume = "abs/1702.01886",
}
@article{DBLP:journals/arobots/BernardiniFL17,
title = "Combining temporal planning with probabilistic reasoning for autonomous surveillance missions",
author = "Sara Bernardini and Maria Fox and Derek Long",
year = "2017",
journal = "Auton. Robots",
number = "1",
pages = "181--203",
url = "https://doi.org/10.1007/s10514-015-9534-0",
volume = "41",
doi = "10.1007/S10514-015-9534-0",
}
@inproceedings{DBLP:conf/aips/BernardiniFLP17,
title = "Boosting Search Guidance in Problems with Semantic Attachments",
author = "Sara Bernardini and Maria Fox and Derek Long and Chiara Piacentini",
year = "2017",
booktitle = "Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017",
editor = "Laura Barbulescu and Jeremy Frank and Mausam and Stephen F. Smith",
pages = "29--37",
publisher = "{AAAI} Press",
url = "https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15716",
}
@inproceedings{DBLP:conf/ai/GoynugurBMTS17,
title = "Policy Conflict Resolution in IoT via Planning",
author = "Emre G{\"{o}}yn{\"{u}}g{\"{u}}r and Sara Bernardini and Geeth de Mel and Kartik Talamadupula and Murat Sensoy",
year = "2017",
booktitle = "Advances in Artificial Intelligence - 30th Canadian Conference on Artificial Intelligence, Canadian {AI} 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings",
editor = "Malek Mouhoub and Philippe Langlais",
pages = "169--175",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-319-57351-9\_22",
volume = "10233",
doi = "10.1007/978-3-319-57351-9\_22",
}
@inproceedings{DBLP:conf/aaai/BernardiniFLP17,
title = "Deterministic versus Probabilistic Methods for Searching for an Evasive Target",
author = "Sara Bernardini and Maria Fox and Derek Long and Chiara Piacentini",
year = "2017",
booktitle = "Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA}",
editor = "Satinder Singh and Shaul Markovitch",
pages = "3709--3715",
publisher = "{AAAI} Press",
url = "https://doi.org/10.1609/aaai.v31i1.11054",
doi = "10.1609/AAAI.V31I1.11054",
}
@inproceedings{DBLP:conf/aips/BernardiniFLP16,
title = "Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking",
author = "Sara Bernardini and Maria Fox and Derek Long and Chiara Piacentini",
year = "2016",
booktitle = "Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016",
editor = "Amanda Jane Coles and Andrew Coles and Stefan Edelkamp and Daniele Magazzeni and Scott Sanner",
pages = "47--55",
publisher = "{AAAI} Press",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13178",
}
@article{DBLP:journals/puc/Porayska-Pomsta15,
title = "Erratum to: Developing technology for autism: an interdisciplinary approach",
author = "Kaska Porayska{-}Pomsta and Christopher Frauenberger and Helen Pain and Gnanathusharan Rajendran and Tim J. Smith and Rachel Menzies and Mary Ellen Foster and Alyssa Alcorn and Sam Wass and Sara Bernardini and Katerina Avramides and Wendy Keay{-}Bright and J. Chen and Annalu Waller and Karen Guldberg and Judith Good and Oliver Lemon",
year = "2015",
journal = "Pers. Ubiquitous Comput.",
number = "5-6",
pages = "983",
url = "https://doi.org/10.1007/s00779-015-0834-3",
volume = "19",
doi = "10.1007/S00779-015-0834-3",
}
@article{DBLP:journals/isci/BernardiniPS14,
title = "{ECHOES:} An intelligent serious game for fostering social communication in children with autism",
author = "Sara Bernardini and Kaska Porayska{-}Pomsta and Tim J. Smith",
year = "2014",
journal = "Inf. Sci.",
pages = "41--60",
url = "https://doi.org/10.1016/j.ins.2013.10.027",
volume = "264",
doi = "10.1016/J.INS.2013.10.027",
}
@inproceedings{DBLP:conf/clima/BlackCB14,
title = "Automated Planning of Simple Persuasion Dialogues",
author = "Elizabeth Black and Amanda Jane Coles and Sara Bernardini",
year = "2014",
booktitle = "Computational Logic in Multi-Agent Systems - 15th International Workshop, {CLIMA} XV, Prague, Czech Republic, August 18-19, 2014. Proceedings",
editor = "Nils Bulling and Leendert W. N. van der Torre and Serena Villata and Wojtek Jamroga and Wamberto Weber Vasconcelos",
pages = "87--104",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-319-09764-0\_6",
volume = "8624",
doi = "10.1007/978-3-319-09764-0\_6",
}
@inproceedings{DBLP:conf/aips/BernardiniFL14,
title = "Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions",
author = "Sara Bernardini and Maria Fox and Derek Long",
year = "2014",
booktitle = "Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014",
editor = "Steve A. Chien and Minh Binh Do and Alan Fern and Wheeler Ruml",
publisher = "{AAAI}",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7932",
}
@inproceedings{DBLP:conf/um/Porayska-PomstaADBABR13,
title = "Modelling Users' Affect in Job Interviews: Technological Demo",
author = "Kaska Porayska{-}Pomsta and Keith Anderson and Ionut Damian and Tobias Baur and Elisabeth Andr{\'{e}} and Sara Bernardini and Paola Rizzo",
year = "2013",
booktitle = "User Modeling, Adaptation, and Personalization - 21th International Conference, {UMAP} 2013, Rome, Italy, June 10-14, 2013, Proceedings",
editor = "Sandra Carberry and Stephan Weibelzahl and Alessandro Micarelli and Giovanni Semeraro",
pages = "353--355",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-38844-6\_37",
volume = "7899",
doi = "10.1007/978-3-642-38844-6\_37",
}
@inproceedings{DBLP:conf/aips/BernardiniP13,
title = "Planning-Based Social Partners for Children with Autism",
author = "Sara Bernardini and Kaska Porayska{-}Pomsta",
year = "2013",
booktitle = "Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013",
editor = "Daniel Borrajo and Subbarao Kambhampati and Angelo Oddi and Simone Fratini",
publisher = "{AAAI}",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6042",
}
@inproceedings{DBLP:conf/aips/BernardiniFLB13,
title = "Autonomous Search and Tracking via Temporal Planning",
author = "Sara Bernardini and Maria Fox and Derek Long and John Bookless",
year = "2013",
booktitle = "Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013",
editor = "Daniel Borrajo and Subbarao Kambhampati and Angelo Oddi and Simone Fratini",
publisher = "{AAAI}",
url = "http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5958",
}
@inproceedings{DBLP:conf/aiide/BernardiniPS13,
title = "Designing an Intelligent Virtual Agent for Social Communication in Autism",
author = "Sara Bernardini and Kaska Porayska{-}Pomsta and Harini Sampath",
year = "2013",
booktitle = "Proceedings of the Ninth {AAAI} Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE-13, Boston, Massachusetts, USA, October 14-18, 2013",
editor = "Gita Sukthankar and Ian Horswill",
publisher = "{AAAI}",
url = "http://www.aaai.org/ocs/index.php/AIIDE/AIIDE13/paper/view/7395",
}
@inproceedings{DBLP:conf/ACMace/AndersonABBCCDEEGJOPPRS13,
title = "The {TARDIS} Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews",
author = "Keith Anderson and Elisabeth Andr{\'{e}} and Tobias Baur and Sara Bernardini and Mathieu Chollet and Evi Chryssafidou and Ionut Damian and Cathy Ennis and Arjan Egges and Patrick Gebhard and Haza{\"{e}}l Jones and Magalie Ochs and Catherine Pelachaud and Kaska Porayska{-}Pomsta and Paola Rizzo and Nicolas Sabouret",
year = "2013",
booktitle = "Advances in Computer Entertainment - 10th International Conference, {ACE} 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings",
editor = "Dennis Reidsma and Haruhiro Katayose and Anton Nijholt",
pages = "476--491",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-319-03161-3\_35",
volume = "8253",
doi = "10.1007/978-3-319-03161-3\_35",
}
@inproceedings{DBLP:conf/ACMace/Porayska-PomstaABGSKHL13,
title = "Building an Intelligent, Authorable Serious Game for Autistic Children and Their Carers",
author = "Kaska Porayska{-}Pomsta and Keith Anderson and Sara Bernardini and Karen Guldberg and Tim J. Smith and Lila Kossivaki and Scott Hodgins and Ian Lowe",
year = "2013",
booktitle = "Advances in Computer Entertainment - 10th International Conference, {ACE} 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings",
editor = "Dennis Reidsma and Haruhiro Katayose and Anton Nijholt",
pages = "456--475",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-319-03161-3\_34",
volume = "8253",
doi = "10.1007/978-3-319-03161-3\_34",
}
@article{DBLP:journals/puc/Porayska-PomstaFPRSMFAWBAKCWGGL12,
title = "Developing technology for autism: an interdisciplinary approach",
author = "Kaska Porayska{-}Pomsta and Christopher Frauenberger and Helen Pain and Gnanathusharan Rajendran and Tim J. Smith and Rachel Menzies and Mary Ellen Foster and Alyssa Alcorn and Sam Wass and Sara Bernardini and Katerina Avramides and Wendy Keay{-}Bright and J. Chen and Annalu Waller and Karen Guldberg and Judith Good and Oliver Lemon",
year = "2012",
journal = "Pers. Ubiquitous Comput.",
number = "2",
pages = "117--127",
url = "https://doi.org/10.1007/s00779-011-0384-2",
volume = "16",
doi = "10.1007/S00779-011-0384-2",
}
@inproceedings{DBLP:conf/iva/BernardiniPSA12,
title = "Building Autonomous Social Partners for Autistic Children",
author = "Sara Bernardini and Kaska Porayska{-}Pomsta and Tim J. Smith and Katerina Avramides",
year = "2012",
booktitle = "Intelligent Virtual Agents - 12th International Conference, {IVA} 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings",
editor = "Yukiko I. Nakano and Michael Neff and Ana Paiva and Marilyn A. Walker",
pages = "46--52",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-33197-8\_5",
volume = "7502",
doi = "10.1007/978-3-642-33197-8\_5",
}
@inproceedings{DBLP:conf/sara/BernardiniS11,
title = "Automatic Synthesis of Temporal Invariants",
author = "Sara Bernardini and David E. Smith",
year = "2011",
booktitle = "Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011",
editor = "Michael R. Genesereth and Peter Z. Revesz",
publisher = "{AAAI}",
url = "http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4244",
}
@inproceedings{DBLP:conf/aied/AlcornPRSLPFAFB11,
title = "Social Communication between Virtual Characters and Children with Autism",
author = "Alyssa Alcorn and Helen Pain and Gnanathusharan Rajendran and Tim J. Smith and Oliver Lemon and Kaska Porayska{-}Pomsta and Mary Ellen Foster and Katerina Avramides and Christopher Frauenberger and Sara Bernardini",
year = "2011",
booktitle = "Artificial Intelligence in Education - 15th International Conference, {AIED} 2011, Auckland, New Zealand, June 28 - July 2011",
editor = "Gautam Biswas and Susan Bull and Judy Kay and Antonija Mitrovic",
pages = "7--14",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-21869-9\_4",
volume = "6738",
doi = "10.1007/978-3-642-21869-9\_4",
}
@inproceedings{DBLP:conf/mm/FosterABCFLP10,
title = "Supporting children's social communication skills through interactive narratives with virtual characters",
author = "Mary Ellen Foster and Katerina Avramides and Sara Bernardini and Jingying Chen and Christopher Frauenberger and Oliver Lemon and Kaska Porayska{-}Pomsta",
year = "2010",
booktitle = "Proceedings of the 18th International Conference on Multimedia 2010, Firenze, Italy, October 25-29, 2010",
editor = "Alberto Del Bimbo and Shih{-}Fu Chang and Arnold W. M. Smeulders",
pages = "1111--1114",
publisher = "{ACM}",
url = "https://doi.org/10.1145/1873951.1874163",
doi = "10.1145/1873951.1874163",
}
@inproceedings{DBLP:conf/aaaifs/AschwandenBBFMM06,
title = "Model-Unified Planning and Execution for Distributed Autonomous System Control",
author = "Pascal Aschwanden and Vijay Baskaran and Sara Bernardini and Chuck Fry and Maria Moreno and Nicola Muscettola and Chris Plaunt and David Rijsman and Paul Tompkins",
year = "2006",
booktitle = "Spacecraft Autonomy: Using {AI} to Expand Human Space Exploration, Papers from the 2006 {AAAI} Fall Symposium, Washington, DC, USA, October 13-15, 2006",
editor = "Ari K. J{\'{o}}nsson and David Kortenkamp",
pages = "1--10",
publisher = "{AAAI} Press",
series = "{AAAI} Technical Report",
url = "https://www.aaai.org/Library/Symposia/Fall/2006/fs06-07-001.php",
volume = "{FS-06-07}",
}
@inproceedings{DBLP:conf/sat/BenedettiB04a,
title = "Incremental Compilation-to-SAT Procedures",
author = "Marco Benedetti and Sara Bernardini",
year = "2004",
booktitle = "Theory and Applications of Satisfiability Testing, 7th International Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers",
editor = "Holger H. Hoos and David G. Mitchell",
pages = "46--58",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/11527695\_4",
volume = "3542",
doi = "10.1007/11527695\_4",
}
@inproceedings{DBLP:conf/sat/BenedettiB04,
title = "Incremental Compilation-to-SAT Procedures",
author = "Marco Benedetti and Sara Bernardini",
year = "2004",
booktitle = "{SAT} 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings",
url = "http://www.satisfiability.org/SAT04/programme/82.pdf",
}
@article{16516,
}