Potassco: the Potsdam Answer Set Solving Collection

  • 2013-03-28
  • Research

Answer Set Programming (ASP) is leaving the academic ivory tower and becoming an interesting alternative to established declarative solving paradigms

Abstract

Answer Set Programming (ASP) is on the verge of leaving the academic ivory tower and becoming an interesting alternative to established declarative solving paradigms in many application areas. This is due to its appealing combination of a highly expressive yet simple modeling language with high performance solving technology.

This talk gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam. Given that certain applications require extensions or even an integration with other computing paradigms in order to be successfully solved, we also discuss some extensions to ASP and elaborate upon the resulting systems.

Note

This talk is organized by the Database and Artificial Intelligence Group at the Institute of Information Systems. Supported by the Vienna Center for Logic and Algorithms (VCLA) and Wofgang Pauli Instiut (WPI).

Speakers

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!