A Versatile Intermediate Language for Answer Set Programming

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Standard

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 proceedingConference contributionScientificpeer-review

Harvard

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. Technical Report, no. UNSW-CSE-TR-0819, University of New South Wales, Sydney, Australia, pp. 150-159.

APA

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.

Vancouver

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

Author

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

Bibtex - Download

@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",

}

RIS - Download

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 -

ID: 3867276