Working Group on Answer Set Programming (WASP)
(IST project IST-FET-2001-37004). To the official Website.
The main goal of the WASP project is to bring together researchers and students doing research on the theory and implementation of Answer Set Programming, a type of declarative programming proposed by Michael Gelfond and Vladimir Lifschiz in the context of Logic Programming and Artificial Intelligence. There are WASP nodes in 17 European universities, distributed in 8 countries, among them the Knowledge Based Systems Group at TU Wien.
The main objectives of WASP are:
- To bundle and coordinate the research efforts of European universities on ASP, and taking into account the strengths and expertise of different sites.
- 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.
- To identify and realise a set of target industrial applications, to work as a showcase of the benefits of our technology.
- Report on Model Applications and Proofs-of-Concept (.ps.gz, .pdf).
- Panel Reports (.ps.gz, .pdf).
- The WASP Showcase-Collection.