The Answer Set Programming Paradigm

Tomi Janhunen; Ilkka Niemelä

doi:10.1609/aimag.v37i3.2671

The Answer Set Programming Paradigm

Tomi Janhunen^*, Ilkka Niemelä

^*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

34 Sitaatiot (Scopus)

404 Lataukset (Pure)

Abstrakti

In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.

Alkuperäiskieli	Englanti
Sivut	13-24
Sivumäärä	12
Julkaisu	AI Magazine
Vuosikerta	37
Numero	3
DOI - pysyväislinkit	https://doi.org/10.1609/aimag.v37i3.2671
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

10.1609/aimag.v37i3.2671

SCI_Janhunen-Niemela_The_Answer_Set_ProgrammingAccepted author manuscript, 182 KB

http://aaai.org/ojs/index.php/aimagazine/article/view/2671

OpenUrl-saatavuus

Koko teksti

Siteeraa tätä

@article{aa241a3efcd24119b7d171634a08af8b,

title = "The Answer Set Programming Paradigm",

abstract = "In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.",

keywords = "STABLE MODEL SEMANTICS, LOGIC",

author = "Tomi Janhunen and Ilkka Niemel{\"a}",

year = "2016",

doi = "10.1609/aimag.v37i3.2671",

language = "English",

volume = "37",

pages = "13--24",

journal = "AI Magazine",

issn = "0738-4602",

publisher = "American Association for Artificial Intelligence",

number = "3",

}

TY - JOUR

T1 - The Answer Set Programming Paradigm

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

PY - 2016

Y1 - 2016

N2 - In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.

AB - In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.

KW - STABLE MODEL SEMANTICS

KW - LOGIC

U2 - 10.1609/aimag.v37i3.2671

DO - 10.1609/aimag.v37i3.2671

M3 - Article

SN - 0738-4602

VL - 37

SP - 13

EP - 24

JO - AI Magazine

JF - AI Magazine

IS - 3

ER -

The Answer Set Programming Paradigm

Abstrakti

Pääsy asiakirjaan

OpenUrl-saatavuus

Sormenjälki

Siteeraa tätä