News archive

Special issue on Autonomous Agents Modelling Other Agents published in Artificial Intelligence Journal

2020 EurAI Distinguished Service Award for Alan Bundy

The project will develop new algorithms for explainable reasoning, learning, and interaction for ad-hoc multi-agent collaboration

The first UK Multi-Agent Systems Symposium (UK-MAS) took place at the Alan Turing Institute in London

A full-time post is available, fixed-term for one year

One fully-funded PhD position is available to work with Dr Nadin Kokciyan in the School of Informatics at the University of Edinburgh on a project titled “Preserving Privacy in an Online World”

Congratulations to Kobi Gal for being elected as a Senior Member of AAAI in recognition of his achievements and long-standing efforts in the field of artificial intelligence.

A fully funded PhD position is available to work with Dr. Petros Papapanagiotou.

PhD studentship in NLP and statistical relational learning Deadline: 1st October 2019

Applications are invited for the position of Postdoctoral Research Fellow on the project “Model Criticism in Multi-Agent Systems”, funded by the Turing Institute.

Nicholas Hoernle and Benjamin Clavie's publications are accepted to the Learning Analytics and Knowledge Conference (LAK-20).

CISA is changing its name to the Artificial Intelligence and its Applications Institute (AIAI). 

Vaishak Belle and Brendan Juba's work chosen as a best paper.

Petros Papapanagiotou and Jacques Fleuriot exhibited their DigiFlow project at Demofest on 4 November 2019.

Vaishak Belle is one of 43 new Royal Society University Research Fellows (URFs) for 2019. He took up the post from the start of October. He will work on Efficient Inference and Learning in Probabilistic Logical Models.

Vaishak Belle gave a talk at the FUTURE DESIGN Symposium on the 27 - 29 September 2019

Stefanie Speichert and Vaishak Belle receive an award at ILP 2019.

Jorge Gaete (supervised by Jacques Fleuriot) has just won a 4-year full scholarship from the National Commission of Scientific and Technological Research (CONICYT) to study for his PhD in CISA.

Vaishak Belle gave a seminar at the Sabancı University in Turkey on their recent work on interpretable and ethical AI.

Vaishak Belle gave a seminar at the Indian Institute of Science on his recent work on interpretable and ethical AI.

Dr Vaishak Belle - Towards Interpretable and Responsible Artificial Intelligence. 5th August

Scholarship allocated to student for PhD study

Congratulations to Kobi Gal for winning the 2019 Nesta Collective Intelligence grant.

Two RA positions between The School of Informatics and The Business School

Vaishak Belle gave a talk at the Pint of Science on Automated Systems and their Impact

Invited at the the ZKM Center for Art and Media Karlsruhe

A new research agenda in which artists and scientists come together

Alan Bundy, past winner, being interviewed.

Alan's talk is entitled "Modelling Repairs to Virtual Bargaining with Reformation"

We are seeking a researcher to join the DARE project and develop a significant new strategy for enabling users to create, control and use Concepts, Methods, Data and Collections virtualised and mapped to heterogeneous, distributed e-Infrastructures.

The aim of the project is to research workflow-based methodologies and tools for the next generation of systems underlying machine-mediated collaboration within and across organisations.

Alan Bundy has been nominated for the Best Supervisor Award

The aim of the project is to explore the hypothesis that property-based testing (e.g. QuickCheck) is a form of probabilistic programming.

Stefano Albrecht speaking at the Honda Research Institute.

Vaishak Belle was invited to speak at the Mobile Autonome Systeme und Kognitive Robotik

Vaishak Belle spoke on 'Towards Interpretable and Responsible AI in Structured Worlds'

Stefano Albrecht awarded Royal Society Industry Fellowship

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

Jacques Fleuriot appointed as Associate Editor of AMAI

Chapter on Computer-assisted Theorem Proving in Synthetic Geometry

IJCAI-ECAI 2018 Workshop on Learning & Reasoning

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

Vaishak Belle spoke on 'explainability as a service'.

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

Call for Papers

Vaishak Belle's Paper has been accepted at the 27th International Joint Conference on Artificial Intelligence.

Vaishak Belle's paper accepted at The 28th International Conference on Automated Planning and Scheduling.

Panel discussion at the Socitm President's Conference in Glasgow

Vaishak Belle present at the seminar.

The Open IoT Challenge

Digiflow – Digitizing Industrial Workflow, Monitoring and Optimization

Automated Reasoning Workshop 2018

International Conference on Autonomous Agents and Multiagent Systems

The Sixth UK Ontology Network Meeting

Towards Explainable and Robust Statistical AI: A Symbolic Approach

The 13th International Conference on Artificial intelligence and Symbolic Computation

12th International Conference on Automated Deduction in Geometry

Austin travelled to IHMC and UCF in February 2018

Authors, Kwabena Nuamah, Christopher Lucas and Alan Bundy

Survey on autonomous agents modelling other agents

13th International Conference on Artificial Intelligence and Symbolic Computation

EqualBITE – A Recipe Book for Gender Equality in Higher Education

10th International Workshop on Science Gateways taking place in Edinburgh 13-15 June 2018

"A Query Answering Framework Using Functional Inferences Over Heterogeneous Data" starts on 1st February 2018

A new special issue on Multiagent Interaction without Prior Coordination

Workshop taking place 5-7th December, University of Oxford

Paper: Low-level Attacks in Bitcoin Wallet

We currently have an open position in ML and AI

We invite applications for a full-time fixed-term Research Associate on the DARE project

The tenth Hybris Workshop took place place on Nov 6th-7th 2017 at RWTH Aachen University, Germany

The Alan Turing Institute has announced a list of Turing Fellows, including Vaishak Belle and Ewan Klein of CISA.

CISA is delighted to welcome Stefano, our new Lecturer in Artificial Intelligence.

CISA student Xue Li will be presenting her poster at DemoFest 2017

The University of Edinburgh was awarded funding for the EU H2020 project DARE, which will deliver new methods and tools for data-powered collaborative research at extreme scales

Alan Bundy’s paper “The Use of Explicit Plans to Guide Inductive Proofs” from CADE-9 won the Skolem award for most influential paper at this year’s CADE-26.

Alan has been invited speaker at several conferences over the summer.

This forms part of the Programme on Big Proof

FGCS has published our special issue celebrating the first 10 years of WORKS (WORKflows for Science)

The paper discusses how to handle nested functions and quantification in relational probabilistic graphical models

WorkflowFM: A logic-based framework for formal process specification and composition, by Petros Papapanagiotou and Jacques Fleuriot

CISA sponsored conference, being held at School of Informatics

Unification of logic, probability and dynamics

Development of workflow-based guidelines for the care of burns in Scotland by Ailsa Dewanti, Petros Papapanagiotou, Charlotte Gilhooly, Jacques Fleuriot, Areti Manataki and Laura Moss

Conference held in Melbourne, Australia in August

The article Linked Data Notifications co-authored by CISA student Amy Guy was nominated for both "Best Research Paper" and "Best Student Paper" prizes at the 2017 Extended Semantic Web Conference, and was awarded the latter.

Decentralised Authoring, Annotations and Notifications for a Read-Write Web with dokieli (Sarven Capadisli, Amy Guy, Ruben Verborgh, Christoph Lange, Sören Auer1, Tim Berners-Lee [1]) was accepted to the Applications track at the International Conference on Web Engineering.

Sofia Ceppi organising workshop in conjunction with AAMAS 2017

Workshop organised by Vaishak Belle

The DIR group was at the Spanish SKA-Link kick-off meeting in strength: Malcolm Atkinson, Rosa Filgueira, Amy Krause and Alessandro Spinuso.

Spoke to Japanese Web developers about the work being done in the W3C Social Web Working Group

The workshop is co-located with ESWC2017, but by no means limited to Semantic Web researches or even Computer Scientists. We welcome participation from any discipline or field of expertise. We also don't necessarily expect participants to be directly working on tools for academic publishing, but perhaps are interested to discuss how parts of their work could be applied to this area.

Funded under the GCRF Building Resilience Scheme by NERC, ESRC, AHRC

A full 3.5-year studentship including tuition fees and stipend is available for outstanding applicants to study toward a PhD at CISA

Paper accepted for publication in the journal Applied Intelligence, subject to minor revisions

These position papers showcase the diverse and impactful work that we do in applied artificial intelligence.

Exciting new opportunities to work with us in Artificial Intelligence and Human-Machine Collaboration!

Chee Sun Liew, Malcolm P. Atkinson, Michelle Galea, Tan Fong Ang, Paul Martin and Jano I. van Hemert, Scientific Workflows: Moving Across Paradigms, ACM Comput. Surv. Vol 49, No. 4 pp 66:1-66:39 (December 2016)

Application deadline: March 2017 (**see below for more information**)

Informatics and GeoSciences have teamed up on a NERC-ESRC-AHRC funded GCRF Building Resilience project on Research for Emergency Aftershock Research (REAR)

These introduce (1) the use of symbolic representations in solving logical linear programs, and (2) an extension of weighted model counting for open universes (that is, unbounded domains).