A pragmatic programmer’s guide to answer set programming

Martin Brain, Owen Cliffe, Marina De Vos

Research output: Contribution to conferencePaper

6 Citations (Scopus)
35 Downloads (Pure)

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.
Original languageEnglish
Pages49-63
Number of pages15
Publication statusPublished - Sep 2009
EventSoftware Engineering for Answer Set Programming (SEA09) - Potsdam, Germany
Duration: 14 Sep 2009 → …

Conference

ConferenceSoftware Engineering for Answer Set Programming (SEA09)
CountryGermany
CityPotsdam
Period14/09/09 → …

Fingerprint

Specifications

Cite this

Brain, M., Cliffe, O., & De Vos, M. (2009). A pragmatic programmer’s guide to answer set programming. 49-63. Paper presented at Software Engineering for Answer Set Programming (SEA09), Potsdam, Germany.

A pragmatic programmer’s guide to answer set programming. / Brain, Martin; Cliffe, Owen; De Vos, Marina.

2009. 49-63 Paper presented at Software Engineering for Answer Set Programming (SEA09), Potsdam, Germany.

Research output: Contribution to conferencePaper

Brain, M, Cliffe, O & De Vos, M 2009, 'A pragmatic programmer’s guide to answer set programming' Paper presented at Software Engineering for Answer Set Programming (SEA09), Potsdam, Germany, 14/09/09, pp. 49-63.
Brain M, Cliffe O, De Vos M. A pragmatic programmer’s guide to answer set programming. 2009. Paper presented at Software Engineering for Answer Set Programming (SEA09), Potsdam, Germany.
Brain, Martin ; Cliffe, Owen ; De Vos, Marina. / A pragmatic programmer’s guide to answer set programming. Paper presented at Software Engineering for Answer Set Programming (SEA09), Potsdam, Germany.15 p.
@conference{8836be7cebf64b8b86ed2dfa8445c108,
title = "A pragmatic programmer’s guide to answer set programming",
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.",
author = "Martin Brain and Owen Cliffe and {De Vos}, Marina",
year = "2009",
month = "9",
language = "English",
pages = "49--63",
note = "Software Engineering for Answer Set Programming (SEA09) ; Conference date: 14-09-2009",

}

TY - CONF

T1 - A pragmatic programmer’s guide to answer set programming

AU - Brain, Martin

AU - Cliffe, Owen

AU - De Vos, Marina

PY - 2009/9

Y1 - 2009/9

N2 - 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.

AB - 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.

UR - http://sea09.cs.bath.ac.uk/

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

M3 - Paper

SP - 49

EP - 63

ER -