News

News

Stefano Albrecht awarded Royal Society Industry Fellowship

Stefano Albrecht awarded Royal Society Industry Fellowship

Vaishak Belle gave a tutorial at the ACAI 2018 Summer School

Vaishak Belle gave a tutorial at the Summer School on Statistical Relational Artificial Intelligence.

Jacques Fleuriot appointed as Associate Editor of AMAI

Jacques Fleuriot appointed as Associate Editor of AMAI

Chapter in the Handbook of Geometric Constraint Systems Principles by Jacques Fleuriot

Chapter on Computer-assisted Theorem Proving in Synthetic Geometry

Vaishak Belle was selected to become a member of RSE YAS

Vasihak Belle is thrilled to become a member of the Royal Society of Edinburgh (RSE) Young Academy of Scotland.

Vaishak Belle's AIJ Article Accepted

The article introduces a general logical framework for reasoning about discrete and continuous probabilistic models in dynamical domains.