Knowledge Representation and Automated Reasoning Group Seminar

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 4Oct
  Enhancing Datalog Reasoning with Hypertree Decompositions

  11:00 Tuesday 4th October ( Michaelmas Term 2022 ) in Room 441

  Xinyue Zhang
• 18Oct
  Minimal explanations for neural network predictions and potential applications

  11:00 Tuesday 18th October ( Michaelmas Term 2022 ) in Room 441

  Ouns El Harzli
• 1Nov
  TBD

  11:00 Tuesday 1st November ( Michaelmas Term 2022 ) in Room 441

  TBD
• 15Nov
  TBD

  11:00 Tuesday 15th November ( Michaelmas Term 2022 ) in Room 441

  TBD
• 29Nov
  TBD

  11:00 Tuesday 29th November ( Michaelmas Term 2022 ) in Room 441

  TBD
• 13Dec
  TBD

  11:00 Tuesday 13th December ( Michaelmas Term 2022 ) in Room 441

  TBD