A Versatile Intermediate Language for Answer Set Programming

Martin Gebser; Tomi Janhunen; Max Ostrowski; Torsten Schaub; Sven Thiele

A Versatile Intermediate Language for Answer Set Programming

Martin Gebser
, Tomi Janhunen
, Max Ostrowski
, Torsten Schaub
, Sven Thiele

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Otsikko	The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008
Toimittajat	Maurice Pagnucco, Michael Thielscher
Julkaisupaikka	Sydney, Australia
Kustantaja	University of New South Wales
Sivut	150-159
Tila	Julkaistu - 2008
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisusarja

Nimi	Technical Report
Kustantaja	University of New South Wales School of Computer Science and Engineering
Numero	UNSW-CSE-TR-0819

Tutkimusalat

answer set programming
file formats
language design

Siteeraa tätä

Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T., & Thiele, S. (2008). A Versatile Intermediate Language for Answer Set Programming. teoksessa M. Pagnucco, & M. Thielscher (Toimittajat), The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008 (Sivut 150-159). (Technical Report; Nro UNSW-CSE-TR-0819). University of New South Wales.

Gebser, Martin ; Janhunen, Tomi ; Ostrowski, Max et al. / A Versatile Intermediate Language for Answer Set Programming. The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008. Toimittaja / Maurice Pagnucco ; Michael Thielscher. Sydney, Australia : University of New South Wales, 2008. Sivut 150-159 (Technical Report; UNSW-CSE-TR-0819).

@inproceedings{13a731808ba54647bc9f533381483441,

title = "A Versatile Intermediate Language for Answer Set Programming",

keywords = "answer set programming, file formats, language design, answer set programming, file formats, language design, answer set programming, file formats, language design",

author = "Martin Gebser and Tomi Janhunen and Max Ostrowski and Torsten Schaub and Sven Thiele",

year = "2008",

language = "English",

series = "Technical Report",

publisher = "University of New South Wales",

number = "UNSW-CSE-TR-0819",

pages = "150--159",

editor = "Maurice Pagnucco and Michael Thielscher",

booktitle = "The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008",

address = "Australia",

}

Gebser, M, Janhunen, T, Ostrowski, M, Schaub, T & Thiele, S 2008, A Versatile Intermediate Language for Answer Set Programming. julkaisussa M Pagnucco & M Thielscher (toim), The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008. Technical Report, Nro UNSW-CSE-TR-0819, University of New South Wales, Sydney, Australia, Sivut 150-159.

A Versatile Intermediate Language for Answer Set Programming. / Gebser, Martin; Janhunen, Tomi; Ostrowski, Max et al.
The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008. toim. / Maurice Pagnucco; Michael Thielscher. Sydney, Australia: University of New South Wales, 2008. s. 150-159 (Technical Report; Nro UNSW-CSE-TR-0819).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - A Versatile Intermediate Language for Answer Set Programming

AU - Gebser, Martin

AU - Janhunen, Tomi

AU - Ostrowski, Max

AU - Schaub, Torsten

AU - Thiele, Sven

PY - 2008

Y1 - 2008

KW - answer set programming

KW - file formats

KW - language design

KW - answer set programming

KW - file formats

KW - language design

KW - answer set programming

KW - file formats

KW - language design

M3 - Conference article in proceedings

T3 - Technical Report

SP - 150

EP - 159

BT - The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008

A2 - Pagnucco, Maurice

A2 - Thielscher, Michael

PB - University of New South Wales

CY - Sydney, Australia

ER -

Gebser M, Janhunen T, Ostrowski M, Schaub T, Thiele S. A Versatile Intermediate Language for Answer Set Programming. julkaisussa Pagnucco M, Thielscher M, toimittajat, The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008. Sydney, Australia: University of New South Wales. 2008. s. 150-159. (Technical Report; UNSW-CSE-TR-0819).