Research

A pragmatic programmer’s guide to answer set programming


Reference:

Brain, M., Cliffe, O. and De Vos, M., 2009. A pragmatic programmer’s guide to answer set programming. In: Software Engineering for Answer Set Programming (SEA09), 2009-09-14, Potsdam.

Related documents:

[img]
Preview
PDF (engineering_asp.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (287kB) | Preview

    Official URL:

    http://sea09.cs.bath.ac.uk/downloads/sea09proceedings.pdf

    Abstract

    With the increasing speed and capacity of answer set solvers and showcase applications in a variety of fields, Answer Set Programming (ASP) is maturing as a programming paradigm for declarative problem solving. Com- prehensive programming methodologies have been developed for procedural and object-oriented paradigms to assist programmers in developing their programs from the problem specification. In many cases, however it is not clear how, or even if, such methodologies can be applied to answer set programming. In this paper, we present a first and rather pragmatic methodology for ASP and illustrate our approach through the encoding of graphical puzzle.

    Details

    Item Type Conference or Workshop Items (Paper)
    CreatorsBrain, M., Cliffe, O. and De Vos, M.
    DepartmentsFaculty of Science > Computer Science
    RefereedYes
    StatusPublished
    ID Code17862

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...