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

First Page		Document Content
Date: 2009-03-17 09:02:58		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 Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 264,66 KB Share Document on Facebook