The study of the negative information, its formalization and the way of representing and implementing this information in Logic Programming.
Started in January 2006 and was concluded in January 2008.
Participating entities: Univ. Nova Lisboa, UPM Madrid.
Funding entity: Council of Rectors (CRUP).
Principal researcher: Luís Moniz Pereira.
Researcher: José Alferes.
Funding: 2300 Euro.