Mansfield People

• Masonry structures
• Structural health monitoring
• Structural dynamics
• Soil-structure interaction
• Risk and vulnerability

Current Projects

Influence of underground construction on nearby structures

​Underground construction is becoming the preferred method to deliver infrastructure to urban areas. However, ground movements during construction can damage existing structures. Inspired by comprehensive field data, our research develops new analytical assessment techniques which consider salient building features and soil-structure interaction in a simple and effective manner. These models aim to provide a clearer appreciation of risk to existing structures in order to minimise expensive mitigation methods.

Structural response of ageing masonry arch bridges

Masonry arch bridges form an integral part of the European transportation network. These enduring structures are facing new challenges due to modern use and increased flood risks, yet their serviceability response is poorly understood. Our research investigates the fundamental behaviour of masonry bridges with detailed field data and computational modelling.  The objective of this research is to devise new assessment tools which can better describe the serviceability response of damaged masonry bridges and predict their complex degradation processes.

Vision-based remote and distributed sensing techniques

​Vision based remote and distributed sensing technologies provide the ability to remotely quantify the damage condition of the asset and precisely measure displacements and strains in different parts of the structure.  Our research interests in this area include the use of photogrammetry, digital image correlation and laser scanning to describe structural geometry, load, performance and damage, to inform structural assessments.

Dynamics of rocking structures

​During earthquakes, masonry structures exhibit rocking behaviour in different forms. In addition, new generation of earthquake resilient design systems use rocking mechanisms to mitigate damage in structures. Therefore, understanding the dynamics of rocking systems is of fundamental importance for the protection of old and new structures from earthquakes. Our work in this area focuses on the complex interactions between the soil, the rocking mechanisms and the structural vibrations.

• Complete Old English, Teach Yourself Series (Hodder, 2019).
• The Battle of Maldon War and Peace in Tenth-Century England, 2020, Atherton, M, I. B. Tauris.
• ‘“The Whale Road”: A Musical Response to the World of Beowulf’, Atherton, M, in Beowulf in Contemporary Culture, Edited by: Clark, D, 1 February 2020, Cambridge Scholars Publishing, pp.1 – 345.
• The Making of England: A New History of the Anglo-Saxon World, Atherton, M, 30 January 2017, Tauris Academic Studies.

• Seventeenth- and eighteenth-century culture, especially fiction and drama
• Oriental fiction
• Women’s writing and feminist theory
• Ideas of cognition and character in literary and theatrical representation.

Professor Ros Ballaster is currently working on a book about the theatre and the novel in eighteenth-century England.

• Seductive Forms: Women’s Amatory Fiction 1640-1740 (1992)
• Women’s Worlds: Ideology
• Femininity and the Woman’s Magazine (1991)
• Editor of Penguin Classics, Jane Austen Sense and Sensibility (1996)
• Fabulous Orients: Fictions of the East in England 1662-1785 (2005 – winner of the Rose Mary Crawshay Prize from the British Academy) and an accompanying anthology Fables of the East (2005)
• The History of British Women’s Writing, 1690 – 1750: Volume Four (History of British Women’s Writing) ed. Ros Ballaster (2010); Fictions of Presence. Theatre and Novel in Eighteenth-Century Britain (2020)
• Fictions of Presence: Theatre and Novel in Eighteenth-Century Britain (Boydell & Brewer, 2020).
• ‘Eovaai and the Fiction of Fantasy in Eighteenth-Century England’, in Approaches to Teaching the Works of Eliza Haywood, ed T Potter (Modern Language Association, 2020), 155-161.
• “Thoroughly to unfold the labyrinths of the human mind”: Distributed Cognition and Women (Novelist)’s Representation of Theatre in Eighteenth-Century England’, Ballaster, R, 2019, Distributed Cognition in Enlightenment and Romantic Culture, eds. Anderson, M, Roussesau, G, Wheeler, M, 30 September 2019, Edinburgh History of Distribution , Edinburgh, pp.170 – 186.
• ‘Dramatic satire’, Ballaster, R, 2019, The Oxford Handbook of Eighteenth-Century Satire, ed. Bullard, P. Oxford University Press, USA.
• Sensible Readers: Experiments in Feeling in Early Prose Fiction by Women, Ballaster, R, 2019, in The Sentimental Novel in the Eighteenth Century, ed. Rivero, A, Cambridge University Press.

Principal area of interest

The astrophysics of neutron stars, pulsars and energetic binary stellar systems through observations at all appropriate wavelengths from radio to gamma-ray. Subsidiary interests include gravitational radiation, plerions (filled supernova remnants) and pulsar-powered or pulsar-wind nebulae, gamma-ray bursts and other high-energy astrophysics.

Latest Working Papers

• “Least Trimmed Squares: Nuisance Parameter Free Asymptotics,” with Bent Nielsen

• “Normality Testing after Outlier Removal,” with Bent Nielsen
• “A model where the Least Trimmed Squares estimator is maximum likelihood,” with Søren Johansen and Bent Nielsen (Journal of the Royal Statistical Society, Series B, 85, 3, 886-912, 2023)
• “Heteroscedastcity Testing after Outlier Removal,” with Ines Wilms (Econometric Reviews, 40, 51-85, 2021)
• “Cumulated Sum of Squares Statistics for Non-linear and Non-stationary Regressions,” with Bent Nielsen (Econometric Theory, 36, 1-47, 2020)
• “Summability of Stochastic Processes: A Generalization of Integration for Non-linear Processes,” with Jesús Gonzalo (Journal of Econometrics, 178, 331-341, 2014)
• “Regime Shifts in Stock-Flow I(2)-I(1) Systems: The Case of US fiscal Sustainability,” with Josep Lluís Carrión-i-Silvestre (Journal of Applied Econometrics, 26, 298-321, 2011)
• “Testing for Multicointegration in Panel Data with Common Factors,” with Josep Lluís Carrion-i-Silvestre (Oxford Bulletin of Economics and Statistics, 68, 721-739, 2006)
• “Uniform Consistency of Marked and Weighted Empirical Distributions of Residuals,”with Søren Johansen and Bent Nielsen
• “The Analysis of Marked and Weighted Empirical Processes of Estimated Residuals,” with Søren Johansen and Bent Nielsen
• “Co-summability: From linear to nonlinear co-integration” with Jesus Gonzalo

 

Recent Podcasts:

• ‘What is Zionism’ (14 Apr, 2024), on Dan Snow’s History Hits:

https://podfollow.com/dan-snows-history-hit/episode/2a16d5ff7608203c6ffc8e6e6dcef16912b2e83e/view

 

 

Recent Publications:

• ‘What Can Resist the Will of England in Palestine?’: Christian Zionism in England before the Balfour Declaration, in (Colin Shindler, ed.) The Routedge Handbook on Zionism (London: Routledge, 2024), pp. 453-68.
• ‘Israel studies in the UK: the history of an idea’. Journal of Israeli History, 1–17 (8 May 2024) https://doi.org/10.1080/13531042.2023.2349346
• Review of Theodore Lessing (trans. Peter C. Appelbaum), Jewish Self-Hate,
• German Historical Institute London Bulletin,Vol. XLIV, No. 2 (Nov. 2022), 163–7. https://www.ghil.ac.uk/publications/bulletin/ghil-bulletin-44-2022-no-2
• (Abigail Green and Peter Bergamin), ‘Vera Salomons and the Kotel: reading international Jewish history through a Jewish country house’, Journal of Modern Jewish Studies, Vol 21, Issue 2 (2022). https://www.tandfonline.com/doi/epub/10.1080/14725886.2021.2008795?needAccess=true
• ‘Revisionist Zionism in Israel’, in : Kumaraswamy P.R. (eds) The Palgrave International Handbook of Israel. https://doi.org/10.1007/978-981-16-2717-0_10-1
• The Making of the Israeli Far-Right: Abba Ahimeir and Zionist Ideology (I.B. Tauris, 2020). https://www.bloomsbury.com/uk/the-making-of-the-israeli-far-right-9781838604790/

Sara’s research is in Artificial Intelligence (AI), specifically decision-making for intelligent autonomous systems, such as ground robots, drones and underwater vehicles. She is a world-leading expert in automated planning, which involves equipping artificial agents with the ability to synthesise plans to reach specific goals. Sara’s long-term objective is to provide the theoretical foundations for creating agents that can seamlessly support humans in undertaking sophisticated and temporally extended tasks, which, going beyond perception and pattern matching, require deliberation at the cognitive level.

At the heart of Sara’s research is the desire to combine theoretical and technical advancements in AI with the demands of the real world. Over the past few years, she has led several projects on intelligent autonomous systems for extreme environments. She has worked closely with industry and stakeholders, ensuring her solutions are crucial to tackling end users’ practical problems. She has worked in several domains, such as space mission operations, nuclear decommissioning, mining, underwater missions, and offshore energy, leading several projects funded by Innovate UK, EPSRC, NERC, the Turing Institute, and the Leverhulme Trust.

Complementing her technical work, Sara has assumed significant leadership roles in the AI scientific community, contributing to shaping the research landscape. She is a member of the AAAI Executive Council, where she leads the Partnership Committee, and the ICAPS Executive Council. She was the Program Chair of ICAPS 2024, the flagship international conference on automated planning and scheduling, and the Associate General Chair of AAAI-23. At AAAI-23, she initiated the Bridge Program, fostering cross-fertilisation between AI and other disciplines, a program she has continued at AAAI-24 and AAAI-25. Sara is also the managing guest editor of the Artificial Intelligence (IF:14.4) Special Issue on ‘Risk-Aware Autonomous Systems’, a testament to her commitment to AI safety.

Sara’s research is regularly published in top-ranked AI and robotics journals and conferences, such as AIJ, JAIR, RA-L, TOCHI, AAAI, IJCAI, IROS, and ICAPS.

• Optimizing Pathfinding for Goal Legibility and Recognition in Cooperative Partially Observable Environments

Sara Bernardini, Fabio Fagnani, Alexandra Neacsu, and Santiago Franco

Artificial Intelligence. Vol 333, August 2024. Elsevier.

• Lazy Evaluation of Negative Preconditions in Planning Domains

Santiago Franco and Sara Bernardini

Proc. of the 17th International Symposium on Combinatorial Search (SoCS)

Kananaskis, Canada, June 2024.

• Unlocking AI Literacy: The SMaILE-App Gaming Experience

S. Franco, M.G. Ballatore, G. Como, L. Damonte, A. Neacsu, M. Vanelli, and S. Bernardini

Proc. of the IEEE CTSoc International Conference on Gaming, Entertainment & Media (GEM 2024)

Turin, Italy, June 2024.

• SMaILE-App: A Mobile Game Application to Teach the Principles of Artificial Intelligence to Generation Z

M.G. Ballatore, S. Bernardini, G. Como, L. Damonte, S. Franco, A. Neacsu, and M. Vanelli

In: E. Guarcello and A. Longo ed(s). School Children and the Challenge of Managing AI Technologies. Routledge, pp.87-94. June 2024.

• Helpful Information Sharing for Partially Informed Planning Agents

Sarah Keren, David Wies, and Sara Bernardini
Proc. of the 32nd International Joint Conference on Artificial Intelligence (IJCAI-23).

Macao, China, August 2023.

• Exploiting Geometric Constraints in Multi-Agent Pathfinding

Dor Atzmon, Sara Bernardini, Fabio Fagnani, and David Fairbairn
Proc. of the 33rd International Conference on Automated Planning and Scheduling (ICAPS-23).

Prague, Czech Republic, July 2023.

• Learning Interpretable Heuristics for WalkSAT

  Yannet Interian and Sara Bernardini

  Proc. of the 20th Int. Conference on Principles of Knowledge Representation and Reasoning (KR-23).

Rhodes, Greece, September 2023.

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

Ferdian Jovan and Sara Bernardini

Proc. of the 37th AAAI Conference on Artificial Intelligence (AAAI-23).

Washington, DC, USA, February 2023.

• A Network Flow Interpretation of Robust Goal Legibility in Path Finding

Sara Bernardini, Fabio Fagnani, Santiago Franco, Alexandra Neacsu

Proc. of the 32nd International Conference on Automated Planning and Scheduling (ICAPS-22).

Singapore, June 2022.

• Hybrid Discrete-Continuous Path Planning for Lattice Traversal

Julius Sustarevas, Santiago Franco, Sara Bernardini

Proc. of the 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-22). Kyoto, Japan, October 2022.

• A multi-robot system for autonomous deployment and recovery of a blade crawler for operations and maintenance of offshore wind turbine blades

Z. Jiang, F. Jovan, P. Moradi, T. Richardson, S. Bernardini, S. Watson, A. Weightman, D. Hine

Journal of Field Robotics, 1– 21. September 2022.

• 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, Adam A. Stokes

Advanced Intelligent Systems. January 2022.

• A Unifying Look at Sequence Submodularity

Sara Bernardini, Fabio Fagnani, Chiara Piacentini

Artificial Intelligence. Volume 297, August 2021, 103486, Elsevier.

• Informed Autonomous Exploration of Subterranean Environments

Ali Akbari, Sara Bernardini

IEEE Robotics and Automation Letters. Volume 6, no. 4, pp. 7957-7964, Oct. 2021.

• Informed Autonomous Exploration of Subterranean Environments

Ali Akbari, Sara Bernardini

Proc. of the 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-21).

Prague, Czech Republic, October 2021.

​

• Autonomous Building of Structures in Unstructured Environments via AI Planning

Jamie O. Roberts, Santiago Franco, Adam A. Stokes, Sara Bernardini

Proc. of the 31st International Conference on Automated Planning and Scheduling (ICAPS-21).

Guangzhou, China, June 2021.

​

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

Jamie Roberts, Georgios Mastorakis, Brad Lazaruk, Santiago Franco, Adam Stokes, Sara Bernardini

Proc. of the 31st International Conference on Automated Planning and Scheduling (ICAPS-21).

Guangzhou, China, June 2021.

• Multi-Robot Coordination in Operations and Maintenance of Offshore Wind Farms with Temporal Planning

Fedian Jovan, Sara Bernardini

Proc. of the 31st International Conference on Automated Planning and Scheduling (ICAPS-21).

Guangzhou, China, June 2021.

• Through the Lens of Sequence Submodularity

Sara Bernardini, Fabio Fagnani, Chiara Piacentini

Proc. of the 30th International Conference on Automated Planning and Scheduling (ICAPS-20).

Nancy, France, June 2020.

ICAPS-2020 Best Paper Honourable Mention Award

• Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms

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

Proc. of the 19th Int. Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-20). Auckland, New Zealand, May 2020.

• An Optimization Approach to Robust Goal Obfuscation

Sara Bernardini, Fabio Fagnani, Santiago Franco

Proc. of the 17th Int. Conference on Principles of Knowledge Representation and Reasoning (KR-20). Rhodes, Greece, September 2020.

• Reasoning about Plan Robustness versus Plan Cost for Partially Informed Agents

Sarah Keren, Sara Bernardini, Kofi Kwapong, David Parkes

Proc. of the 17th Int. Conference on Principles of Knowledge Representation and Reasoning (KR-20). Rhodes, Greece, September 2020.

• Intelligent Exploration and Autonomous Navigation in Confined Spaces

Aliakbar Akbari, Puneet Singh Chhabra, Ujjar Bhandari, Sara Bernardini

Proc. of the 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-20).

Las Vegas, NV, USA, October 2020.

• Target Search on Road Networks with Range-Constrained UAVs and Ground-based Mobile Recharging Vehicles

Kyle Booth, Chiara Piacentini, Sara Bernardini, Christopher Beck

Proc. of the 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-20).

Las Vegas, NV, USA, October 2020.

• Target Search on Road Networks with Range-Constrained UAVs and Ground-based Mobile Recharging Vehicles

Kyle Booth, Chiara Piacentini, Sara Bernardini, Christopher Beck

IEEE Robotics and Automation Letters. Volume 5, Issue 4, October 2020.

• The Design of Prometheus: A Re-configurable UAV for Subterranean Mine Inspection

Liam Brown, Robert Clarke, Ali Akbari, Ujjar Bhandari, Sara Bernardini, Puneet Chhabra, Ognjen Marjanovic, Thomas Richardson, Simon Watson

Robotics 2020, 9(4), 95, November 2020.

• Autonomous Target Search with Multiple Coordinated UAVs

Chiara Piacentini, Sara Bernardini, Chris Beck

Journal of Artificial Intelligence Research. Volume 65, Pages 519-568, August 2019.

• Extracting Mutual Exclusion Invariants from Lifted Temporal Planning Domains

Sara Bernardini, Fabio Fagnani, David E. Smith

Artificial Intelligence Journal. Vol. 258, 1-65, May 2018, Elsevier.

• Blending Human and Artificial Intelligence to Support Autistic Children’s Social Skills

Kaska Porayska-Pomsta, Alyssa Alcorn, Katerina Avramides, Sara Bernardini, et al.

ACM Transactions on Computer-Human Interaction. Volume 25 (6), 1-35, December 2018.

• Combining Temporal Planning with Probabilistic Reasoning for Autonomous Surveillance Missions

  Sara Bernardini, Maria Fox, Derek Long

  Autonomous Robots. 41: 181. 2017. Springer.

• Deterministic vs Probabilistic Methods for Searching for an Evasive Target

  Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini

  Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI-17).

San Francisco, CA, February 2017.

• Boosting Search Guidance in Problems with Semantic Attachments

  Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini

  Proc. of the 27th Int. Conference on Automated Planning and Scheduling (ICAPS-17).

Pittsburgh, PA, USA, June 2017.

• Policy Conflict Resolution in IoT via Planning

  Emre Göynügür, Sara Bernardini, Geeth De Mel, Kartik Talamadupula, Murat Sensoy

  Proc. of the 30th Canadian Conference on Artificial Intelligence.

Edmonton, Alberta, May 2017.

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

  Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini

  Proc. of the 26th International Conference on Automated Planning and Scheduling (ICAPS-16). London, UK, June 2016.

• Planning Autonomous Underwater Reconnaissance Operations

  Sara Bernardini, Maria Fox, Derek Long, Bram Ridder

  Proc. of the 10th Scheduling and Planning Applications woRKshop (SPARK) – 26th International Conference on Automated Planning and Scheduling (ICAPS-16).

London, UK, June 2016.

• In Search of a Lost Target via Monte Carlo Simulation and Automated Planning

  Sara Bernardini, Maria Fox, Derek Long

  Proc. of the 6th Italian Workshop on Automated Planning and Scheduling (IPS-15).

Ferrara, Italy, September 2015.

• Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions

  Sara Bernardini, Maria Fox, Derek Long

  Proc. of the 24th Int. Conference on Automated Planning and Scheduling (ICAPS-14).

Portsmouth, NH, USA, June 2014.

• Automated Planning of Simple Persuasion Dialogues

  Elisabeth Black, Amanda Coles, Sara Bernardini,

  Proc. of the 15th Int. Workshop on Computational Logic in Multi-Agent Systems (CLIMA-14).

Prague, Czech Republic, July 2014.

• ECHOES: An Intelligent Serious Game for Fostering Social Communication in Children with Autism

  Sara Bernardini, Kaska Porayska-Pomsta, Tim Smith

  Information Sciences, Elsevier, Volume 264, 2013, pp.41-60.

• Autonomous Search and Tracking via Temporal Planning

  Sara Bernardini, Maria Fox, Derek Long, John Bookless

  Proc. of the 23rd International Conference on Automated Planning and Scheduling (ICAPS-13).

Rome, Italy, June 2013.

• Planning-Based Social Partners for Children with Autism

  Sara Bernardini, Kaska Porayska-Pomsta

  Proc. of the 23rd International Conference on Automated Planning and Scheduling (ICAPS-13).

Rome, Italy, June 2013.

• Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions

  Sara Bernardini, Maria Fox, Derek Long

  Proc. of the 5th Italian Workshop on Automated Planning and Scheduling (IPS-13).

Torino, Italy, December 2013.

• Automated Planning and Policy Learning for Surveillance Missions

  Sara Bernardini, Maria Fox, Derek Long

  Proc. of the 8th International Workshop on Planning and Scheduling for Space (IWPSS-13).

Moffett Field, CA, USA, March 2013.

• Designing an Intelligent Virtual Agent for Social Communication in Autism

  Sara Bernardini, Kaska Porayska-Pomsta, Harini Sampath

  Proc. of the 9th AAAI Conference on AI and Interactive Digital Entertainment (AIIDE-13).

Boston, MA, USA, October 2013.

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

  Kaska Porayska-Pomsta, Keith Anderson, Sara Bernardini, Karen Guldberg, Tim Smith, Lila Kossivaki, Scott Hodgins, Ian Lowe

  Proc. of the 10th Int. Conference on Advances in Computer Entertainment Technology (ACE-13).

Enschede, the Netherlands, November 2013.

• The TARDIS framework: Intelligent virtual agents for social coaching in job interviews

  K. Anderson, E. André, T. Baur, Sara Bernardini, M. Chollet, E. Chryssafidou, I. Damian, C. Ennis, A. Egges, P. Gebhard, H. Jones, M. Ochs, C. Pelachaud, K. Porayska-Pomsta, P. Rizzo, N. Sabouret

  Proc. of the 10th Int. Conference on Advances in Computer Entertainment Technology (ACE-13).

Enschede, the Netherlands, November 2013.

• Modelling Users’ Affect in Job Interviews: Technological Demo

  Kaska Porayska-Pomsta, Keith Anderson, Ionut Damian, Tobias Baur, Elisabeth Andre, Sara Bernardini, Paola Rizzo

  Proc. of the 21st Conference on User Modelling, Adaptation and Personalization (UMAP-13).

Rome, Italy, June 2013.

• Building Autonomous Social Partners for Autistic Children

  Sara Bernardini, Kaska Porayska-Pomsta, Tim Smith, Katerina Avramides

  Proc. of the 12th International Conference on Intelligent Virtual Agents (IVA-12).

Santa Cruz, CA, USA, September 2012.

• Developing Technology for Autism: An Interdisciplinary Approach

  Kaska Porayska-Pomsta, Chris Frauenberger, Hellen Pain, Thusha Rajendran, Tim Smith, Rachel Menzies, Mary Ellen Foster, Alyssa Alcorn, Sam Wass, Sara Bernardini, Katerina Avramides, Wendy Keay-Bright, Jingying Chen, Annalu Waller, Karen Guldberg, Judith Good, Oliver Lemon

  Journal of Personal and Ubiquitous Computing, Springer, 16 (2), 2012, pp. 117-127.

• State-of-the-art in TEL to support social communication skill development in children with autism: A multidisciplinary review

  Katerina Avramides, Sara Bernardini, Mary Ellen Foster, Chris Frauenberger, Lila Kossyvaki, Marilena Mademtzi

  International Journal of Technology Enhanced Learning. 4(5-6), 2012, pp. 359-372.

• Learner Modelled Environments

  Kaska Porayska-Pomsta, Sara Bernardini,

  Handbook of Digital Technology Research. S. Price, C. Jewitt and B. Brown, Ed. SAGE publishers.

• Social Communication between Virtual Characters and Children with Autism

  Alyssa Alcorn, Helen Pain, Thusha Rajendran, Tim Smith, Oliver Lemon, Kaska Porayska-Pomsta, Mary Ellen Foster, Katerina Avramides, Chris Frauenberger, Sara Bernardini

  Proc. of the 15th International Conference on Artificial Intelligence in Education (AIED-11).

Auckland, New Zealand, June 2011.

• Automatic Synthesis of Temporal Invariants

  Sara Bernardini, David E. Smith

  Proc. of the 9th Symposium on Abstraction, Reformulation and Approximation (SARA-11).

Parador de Cardona, Spain, July 2011.

• Finding Mutual Exclusion Invariants in Temporal Planning Domains

  Sara Bernardini, David E. Smith

  Proc. of the 7th International Workshop on Planning and Scheduling for Space (IWPSS-11).

Darmstadt, Germany, June 2011.

• Finding Mutual Exclusion Invariants in Temporal Planning Domains

  Sara Bernardini, David E. Smith

  Proc. of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), 21st Inter. Conference on Automated Planning and Scheduling (ICAPS-11).

Freiburg, Germany, 2011.

• Supporting Children’s Social Communication Skills through Interactive Narratives with Virtual Characters

  Mary Ellen Foster, Katerina Avramides, Sara Bernardini, Jingying Chen, Chris Frauenberger, Oliver Lemon, Kaska Porayska-Pomsta

  Proc. of ACM Multimedia 2010 (ACM-10).

Firenze, Italy, October 2010.

• ECHOES: Technology-Enhanced Learning for Exploring and Improving Social Interaction Skills

  Katerina Avramides, Sara Bernardini, Jingying Chen, Chris Frauenberger, Mary Ellen Foster, Oliver Lemon and Kaska Porayska-Pomsta

  Proc. of the 4th International Conference on Cognitive Systems (CogSys-10).

Zurich, Switzerland, January 2010.

• Towards Search Control via Dependency Graphs in EUROPA2

  Sara Bernardini, David E. Smith

  Proc. of the Workshop on Heuristics for Domain Independent Planning (HDIP), 19th International Conference on Automated Planning and Scheduling (ICAPS-09).

Thessaloniki, Greece, September 2009.

• Embodiment as a means for Scaffolding Young Children’s Social Skill Acquisition

  Kaska Porayska-Pomsta, Sara Bernardini, Thusha Rajendran

  Proc. of the Workshop on Children and Embodied Interaction: Seeking Common Ground, 8th Int. Conference on Interaction Design and Children (IDC-09).

Como, Italy, June 2009.

• Automatically Generated Heuristic Guidance for EUROPA2

  Sara Bernardini, David E. Smith

  Proc. of the 9th Int. Symposium on AI, Robotics, and Automation for Space (iSAIRAS-08).

Hollywood, USA, February 2008.

 

• Translating PDDL2.2 into a Constraint-based Variable/Value Language

  Sara Bernardini, David E. Smith

  Proc. of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), 18th Int. Conference on Automated Planning and Scheduling (ICAPS-08).

Sydney, Australia, September 2008.

• Constraint-based Temporal Planning: Domain Modelling and Search Control

  Sara Bernardini

  Doctoral Consortium, 18th Int. Conference on Automated Planning and Scheduling (ICAPS-08).

Sydney, Australia, September 2008.

• Developing Domain-Independent Search Control for EUROPA2

  Sara Bernardini, David E. Smith

  Proc. of the Workshop on Heuristics for Domain Independent Planning: Progress, Ideas, Limitations, Challenges, (HDIP), 17th Int. Conference on Automated Planning and Scheduling (ICAPS-07).

Providence, RI, USA, September 2007.

• Model-Unified Planning and Execution for Distributed Autonomous System Control

  Pascal Aschwanden, Vijay Baskaran, Sara Bernardini, Chuck Fry, Maria D. Moreno, Nicola Muscettola, Chris Plaunt, David Rijsman, Paul Tompkins

  Proc. of the AAAI Fall Symposium on Spacecraft Autonomy: Using AI to Expand Human Space Exploration.

Arlington, VI, USA, October 2006.

• Incremental compilation-to-sat procedures

  Marco Benedetti, Sara Bernardini

  Proc. of the 7th Int. Conference on Theory and Applications of Satisfiability Testing (SAT-04).

Vancouver, BC, Canada, May 2004.

• Cognitive robotics in domestic scenarios

  Marco Benedetti, Sara Bernardini, Luigia Carlucci Aiello

  Proc. of the International Conference on Aging, Disability and Independence, (ICADI-03).

Washington, D.C., USA, December 2003.

• Structure and Satisfiability in Propositional Formulae

  Sara Bernardini

  AI*IA Notizie. Vol. 4, pp.46-51, December 2003.