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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008
Editors	Maurice Pagnucco, Michael Thielscher
Place of Publication	Sydney, Australia
Publisher	University of New South Wales
Pages	150-159
Publication status	Published - 2008
MoE publication type	A4 Article in a conference publication

Publication series

Name	Technical Report
Publisher	University of New South Wales School of Computer Science and Engineering
Number	UNSW-CSE-TR-0819

Keywords

answer set programming
file formats
language design

Cite this

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

Gebser, Martin ; Janhunen, Tomi ; Ostrowski, Max ; Schaub, Torsten ; Thiele, Sven. / A Versatile Intermediate Language for Answer Set Programming. The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008. editor / Maurice Pagnucco ; Michael Thielscher. Sydney, Australia : University of New South Wales, 2008. pp. 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",

}

A Versatile Intermediate Language for Answer Set Programming. / Gebser, Martin; Janhunen, Tomi; Ostrowski, Max; Schaub, Torsten; Thiele, Sven.

The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008. ed. / Maurice Pagnucco; Michael Thielscher. Sydney, Australia : University of New South Wales, 2008. p. 150-159 (Technical Report; No. UNSW-CSE-TR-0819).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

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 contribution

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 -