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:

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: WP3, WP4, WP6.