Towards a Type Discipline for Answer Set Programming Camillo Fiorentini, Alberto Momigliano, and Mario Ornaghi Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy {fiorenti,momiglia,orna - Answer set programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards a Type Discipline for Answer Set Programming Camillo Fiorentini, Alberto Momigliano, and Mario Ornaghi Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy {fiorenti,momiglia,orna Add to Reading List Document Date: 2009-03-17 09:02:58 Open Document File Size: 264,66 KB Share Result on Facebook

Towards a Type Discipline for Answer Set Programming Camillo Fiorentini, Alberto Momigliano, and Mario Ornaghi Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy {fiorenti,momiglia,ornaAdd to Reading List