Sara Bernardini

  • Qualifications and position:
    • Research Fellow
  • Faculty:
    • Faculty of Children and Learning
  • Department:
    • Culture, Communication and Media
  • Centre:
    • London Knowledge Lab
  • Summary:
    • My main research interest is concerned with artificial intelligence. In particular, my focus is on the design of cognitive architectures for developing intelligent autonomous agents. My background includes: automated planning and scheduling, autonomous control, knowledge representation and engineering, formal verification and logic and technology enhanced learning tools.
  • Research Projects:
    • ECHOES: Improving Children's Social Interaction through Exploratory Learning in a Multimodal Environment
  • Postgraduate Research:
    • Research Interests:
      • Automated Planning and Autonomous Control.
      In particular, classical and temporal planning, constraint-based reasoning, cognitive architectures, and autonomous intelligent agents.
      • Knowledge Representation and Engineering.
      In particular, conceptual modeling, ontologies, planning domain specification languages, plan execution languages, and logic.
      • Artificial Intelligence in Education
      In particular, technology enhanced learning tools, educational semantic web, semantic search, user profiling, and recommendation systems.
  • Conferences/presentations:
    • • Constraint-based Temporal Planning: Search Control and Domain Modelling. School of Informatics, University of Edinburgh, May 2009.
      • Translating PDDL2.2 into a Constraint-based Variable/Value Language. 18th International Conference on Automated Planning and Scheduling (ICAPS-2008), September 2008.
      • Automatically Generated Heuristic Guidance for EUROPA2. 9th International Symposium on Artificial Intelligence, Robotics, and Automation for Space (iSAIRAS'08), February 2008.
  • Languages Spoken:
    • Italian (native)
  • Languages Written:
    • Italian (native)
Sara Bernardini

Contact details

Contact details

  • Email:

  • Address:
  • Culture, Communication and Media
    Institute of Education
    University of London
    20 Bedford Way
    London WC1H 0AL

  • Office Location:
  • London Knowledge Lab
    23 - 29 Emerald Street, London, WC1N 3QS

Publications

  • Bernardini, S. and Smith, D.E. (2008) 'Translating PDDL2.2 into a Constraint-based Variable/Value Language' Paper presented at Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), 18th International Conference on Automated Planning and Scheduling (ICAPS-2008)
  • Bernardini, S. (2008) 'Constraint-based Temporal Planning: Domain Modelling and Search Control' Paper presented at Doctoral Consortium, 18th International Conference on Automated Planning and Scheduling (ICAPS-2008)
  • Bernardini, S. and Smith, D.E. (2008) 'Automatically Generated Heuristic Guidance for EUROPA2' Paper presented at 9th International Symposium on Artificial Intelligence, Robotics, and Automation for Space (iSAIRAS'08)
  • Bernardini, S. and Smith, D.E. (2007) 'Developing Domain-Independent Search Control for EUROPA2' Paper presented at Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges, 17th International Conference on Automated
  • Aschwanden, P., Baskaran, V., Bernardini, S., Fry, C., Moreno, M., Muscettola, N., Plaunt, C., Rijsman, D. and Tompkins, P. (2006) 'Model-Unified Planning and Execution for Distributed Autonomous System Control' Paper presented at Workshop on Spacecraft Autonomy: Using AI to Expand Human Space Exploration, AAAI Fall Symposium , Washington
  • Benedetti, M. and Bernardini, S. (2004) 'Incremental compilation-to-sat procedures' Paper presented at Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT'04)
  • Benedetti, M., Bernardini, S., and Carlucci Aiello, L. (2004) 'Cognitive robotics in domestic scenarios' Paper presented at International Conference on Aging, Disability and Independence , Washington
  • Bernardini, S. (2003) 'Structure and Satisfiability in Propositional Formulae', AI*IA Notizie 4:46-51, December.