H,Tompits;"Vienna University of Technology..., Oct. 5, 13:40,"
  • FENS
  • H,Tompits;"Vienna University of Technology..., Oct. 5, 13:40,"

You are here

Towards Methods and Methodologies for Developing Answer-Set Programs - Project Overview

Hans Tompits
Vienna University of Technology


Answer-set programming (ASP) is a well-known formalism for declarative
problem solving based on logic programming with nonmonotonic negation.
During the last decade, ASP enjoyed a continuously increasing number
of successful applications from diverse fields like planning,
diagnosis, bioinformatics, linguistics, and music composition.
However, arguably one of the main challenges for a wider acceptance of
ASP is the need of tools, methods, and methodologies that support the
actual programming process. In this talk, I review the main goals and
initial results of a project, funded by the Austrian Science Fund
(FWF), which aims to address this aspect in a systematic manner.
Generally, the focus of research is on methodologies for systematic
program development, program testing, and debugging. Ultimately, the
methods resulting from the project shall form the basis of an
integrated development environment (IDE) for ASP that is envisaged to
combine straightforward as well as advanced techniques, realising a
convenient tool for developing answer-set programs.

Short Bio:

Hans Tompits is Associate Professor at the Vienna University of
Technology. His research interests lie in the areas of knowledge
representation and reasoning, logic-based artificial intelligence,
computational logic, preference handling, and logic programming. In
his recent work he mostly focuses on different aspects of answer-set
programming. He holds a master's degree in Mathematics from the
University of Vienna and graduated at the Vienna University of
Technology with a PhD in computer science. After his habilitation at
the Vienna University of Technology he served as interim head of the
Automata and Language Group of the Faculty of Computer Science at the
University of Leipzig (Germany).

October 05, 2010, 13:40- 15:00, L062