Working Group on Answer Set Programming (WASP)
(IST project IST-FET-2001-37004). To the
The main goal of the WASP project is to
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,
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.
KBS is responsible for work-package 5 on
Model Applications and Proofs-of-Concept
The material provided here includes:
Quick links to other work-packages: