Lab Lunch: 18 February 2020 - James Cheney

Title:  A Logical Approach to Graph Edit Distance

Abstract: 

I'll present work with Arthur Chan on representing and solving Graph Edit Distance and other graph matching problems using Answer Set Programming, a form of logic programming allowing for NP-complete decision problems and optimization problems.