Search for tag: "p1"


The first video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 168 plays 0  

January 27 2021 Asilata Bapat A Thurston compactification of Bridgeland stability space

An automated programme has been used to generate the subtitles on this talk.

From  OLLIE Quinn on January 27th, 2021 1 likes 35 plays 0  


State-space Search in Planning

From  Alexandra Lascarides on July 1st, 2020 0 likes 197 plays 0