Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > research > projects > wasp >

Tools: Drucken


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.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.