Campus Event Calendar
Event Entry
What and Who
Problem Solving with Answer Set Programming
Torsten Schaub
University of Potsdam
Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 6 November 2012
14:30
60 Minutes
E1 5
Hörsaal 002
Saarbrücken
Warning: New Building!
Warning: New Room!
Abstract
Answer Set Programming (ASP) is a declarative problem solving approach, combining a rich yet simple modeling language with high-performance solving capacities.
ASP is particularly suited for modeling problems in the area of Knowledge Representation and Reasoning involving incomplete, inconsistent, and changing information.From a formal perspective, it allows for solving search problems in $\mathit{NP}$ (and $\mathit{NP}^\mathit{NP}$)in a uniform way (being more compact than SAT). Applications of ASP include automatic synthesis of multiprocessor systems, decision support systems for NASA shuttle controllers, reasoning tools in systems biology, and many more. The versatility of ASP is also reflected by the ASP solver \texttt{clasp}, winning first places at ASP, PB, and SAT competitions.
The talk will give an overview about ASP, its modeling language, solving methodology, and illustrate this with some examples.
ASP is particularly suited for modeling problems in the area of Knowledge Representation and Reasoning involving incomplete, inconsistent, and changing information.From a formal perspective, it allows for solving search problems in $\mathit{NP}$ (and $\mathit{NP}^\mathit{NP}$)in a uniform way (being more compact than SAT). Applications of ASP include automatic synthesis of multiprocessor systems, decision support systems for NASA shuttle controllers, reasoning tools in systems biology, and many more. The versatility of ASP is also reflected by the ASP solver \texttt{clasp}, winning first places at ASP, PB, and SAT competitions.
The talk will give an overview about ASP, its modeling language, solving methodology, and illustrate this with some examples.
Contact
Jennifer Müller
2900
--email hidden
passcode not visible
logged in users only
Uwe Brahm, 11/05/2012 17:03
Jennifer Müller, 11/02/2012 15:58
Jennifer Müller, 08/07/2012 14:35 -- Created document.
Jennifer Müller, 11/02/2012 15:58
Jennifer Müller, 08/07/2012 14:35 -- Created document.