; Answer Set Programming (implementation and application
Documents
Resources
Learning Center
Upload
Plans & pricing Sign in
Sign Out

Answer Set Programming (implementation and application

VIEWS: 13 PAGES: 1

Answer Set Programming (implementation and application

More Info
  • pg 1
									Institute for Integrated and Intelligent Systems (IIIS)

Is pleased to present the SEMINAR on

"Answer Set Programming (implementation and
application)"
Professor Torsten Schaub Adjunct Professor
Time            10.00am - 11.30am
Date            Friday 27th November 2009
Venue           N34 0.04 Nathan campus, Griffith University.

Abstract: Answer Set Programming (ASP) is a declarative problem solving approach, combining a
rich yet simple modeling language with high-performance
solving capacities. ASP allows for solving all search problems in NP (and NP^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 clasp,
developed at the University of Potsdam, and winning first places at ASP'09, PB'09, and SAT'09.

Short Bio: Professor Torsten Schaub received his diploma and dissertation in informatics in 1990
and 1992, respectively, from the Technical University of Darmstadt, Germany. He received his
habilitation in informatics in 1995 from the University of Rennes I, France. From 1990 to 1993 he
was a Researcher at the Technical University at Darmstadt. From 1993 to 1995, he was a Research
Associate at IRISA/INRIA at Rennes. From 1995 to 1997, he was University Professor at the
University of Angers. At Angers he founded the research group FLUX dealing with the
automatisation of reasoning from incomplete, contradictory, and evolutive information. Since 1997,
he is University Professor for knowledge processing and information systems at the University of
Potsdam. In 1999, he became Adjunct Professor at the School of Computing Science at Simon
Fraser University, Canada; and since 2006 he is also an Adjunct Professor in the Institute for
Integrated and Intelligent Systems at Griffith University, Australia. His research interests range from
the theoretic foundations to the practical implementation of methods for reasoning
from incomplete and/or inconsistent information, in particular Answer set programming. The ASP
solver developed by Prof Schaub and his team won ASP'09, PB'09, and SAT'09.

Campus maps and addresses: http://www.griffith.edu.au/about-griffith/campuses/campus-maps
Past and future seminars: http://www.griffith.edu.au/engineering-information-technology/institute-integrated-
intelligent-systems/seminar-series

Light refreshments provided.
RSVP to Natalie Dunstan for catering purposes. Cost: Free Lecture,
Telephone: (07) 3735 3757, Email: n.dunstan@griffith.edu.au

								
To top
;