Working Group on Answer Set Programming

FET-IST WASP DIT-PRJ-02-021

Status NOT active project
DISI role Partner
Project type Research Project
Dimension International
Acquisition date 2002-09-15
Start date 2002-09-15
End date 2005-03-15
SAP code 30300063

Project details

Project astract The main objectives of WASP are:<br/>* To bundle and coordinate the research efforts of European universities on ASP, and taking into account the strengths and expertise of different sites. [...] <br/>* To research and solve main open issues with the current ASP technology, both at the theoretical and the implementation level, which are needed to build ASP systems for industrial use. [...] <br/>* To identify and realise a set of target industrial applications, to work as a showcase of the benefits of our technology.[...]
Fundings 300000 €
Partners
  • WASP Main Web Site
  • Helsinki University of Technology
  • Technical University of Vienna
  • University of Bath
  • Università di Napoli Federico II
  • University of Manchester
  • DIT - University of Trento
  • Universit

DISI Sub-project details

Project astract The development of methodologies and tools for the experimental assessment of different ASP Solvers.<br/><br/>The application of ASP technologies in the domain of security verification.
Fundings 15000 €
Manager Fabio Massacci