Chapter in the Handbook of Geometric Constraint Systems Principles by Jacques Fleuriot
Chapter on Computer-assisted Theorem Proving in Synthetic Geometry
Vaishak Belle presented a workshop at IJCAI-ECAI 2018 Workshop on Learning & Reasoning
IJCAI-ECAI 2018 Workshop on Learning & Reasoning
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 spoke at the 'The End of Privacy 1.0: Data Portability and Information Rights'
Vaishak Belle spoke on 'explainability as a service'.
Vaishak Belle's AIJ Article Accepted
The article introduces a general logical framework for reasoning about discrete and continuous probabilistic models in dynamical domains.
Special Issue on Autonomous Agents Modelling Other Agents
Call for Papers
Vaishak Belle's paper accepted at IJCAI
Vaishak Belle's Paper has been accepted at the 27th International Joint Conference on Artificial Intelligence.
Vaishak Belle's paper accepted at ICAPS
Vaishak Belle's paper accepted at The 28th International Conference on Automated Planning and Scheduling.
Stefano V. Albrecht will participate in a panel discussion on "Ethical Automation"
Panel discussion at the Socitm President's Conference in Glasgow
Vaishak Belle gave a seminar at Ben-Gurion University
Vaishak Belle present at the seminar.
Francisco J. Quesada Real's team awarded the second prize at the Open IoT Challenge
The Open IoT Challenge
Jacques Fleuriot and Petros Papapanagiotou secure EIT Digital project
Digiflow – Digitizing Industrial Workflow, Monitoring and Optimization
Juan Casanova has extended abstract accepted to ARW 2018
Automated Reasoning Workshop 2018
Vaishak Belle has paper accepted to AAMAS
International Conference on Autonomous Agents and Multiagent Systems
Juan Casanova and Xue Li presenting at UKON 2018
The Sixth UK Ontology Network Meeting
Vaishak Belle awarded EPSRC First Grant
Towards Explainable and Robust Statistical AI: A Symbolic Approach
Jacques Fleuriot is Programme Committee Chair for AISC 2018
The 13th International Conference on Artificial intelligence and Symbolic Computation
Jacques Fleuriot invited speaker at ADG 2018
12th International Conference on Automated Deduction in Geometry
Paper accepted to IntelliSys 2018
Authors, Kwabena Nuamah, Christopher Lucas and Alan Bundy
New survey article published in Artificial Intelligence Journal
Survey on autonomous agents modelling other agents
Alan Bundy invited speaker at AISC 2018
13th International Conference on Artificial Intelligence and Symbolic Computation
CISA Student Danai Korre contributor to EqualBITE
EqualBITE – A Recipe Book for Gender Equality in Higher Education
CISA-sponsored IWSG 2018 announces Keynote speakers
10th International Workshop on Science Gateways taking place in Edinburgh 13-15 June 2018
Huawei funding 12-month project
"A Query Answering Framework Using Functional Inferences Over Heterogeneous Data" starts on 1st February 2018