 |
Browse our site
|
ASPEN - Answer Set Programming with BoolEaN Satisfiability
Participating entity: INESC-ID. Principal researcher: Inês Lynce. Researcher: João Paulo Marques Silva. Funding entity: Fundação Ciência e Tecnologia (MCTES). Reference: PTDC/EIA-CCO/110921/2009 Funding: 91567.
Principal researcher: João Leite. Researchers: José Alferes, Martin Slota. Funding: 37680.
|