By Amelia Harrison UT Austin, USA ABSTRACT We show an example of how the proposal for the semantics of the subset of the input language of gringo called AG can be used as the basis for a proof of correctness of a…
Month: May 2018
PhD Position: INSIGHT Centre for Data Analytics
PhD Position INSIGHT Centre for Data Analytics, Dublin City University In collaboration with the Amsterdam Data Science (NL) and Nokia Bell-Labs (IE) We invite applications for a PhD fellowship at the INSIGHT Centre for Data Analytics, Dublin City University. The…