Translating Answer-Set Programs into Bit-Vector Logic

Mai Nguyen; Tomi Janhunen; Ilkka Niemelä

doi:10.1007/978-3-642-41524-1_6

Translating Answer-Set Programs into Bit-Vector Logic

Mai Nguyen, Tomi Janhunen, Ilkka Niemelä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

13 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011
Alaotsikko	Applications of Declarative Programming and Knowledge Management
Toimittajat	Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
Julkaisupaikka	Berlin Heidelberg
Kustantaja	Springer
Sivut	95-113
Sivumäärä	19
ISBN (painettu)	978-3-642-41523-4
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-41524-1_6
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Vuosikerta	7773 LNAI
ISSN (painettu)	0302-9743
ISSN (elektroninen)	1611-3349

Pääsy asiakirjaan

10.1007/978-3-642-41524-1_6

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

http://dx.doi.org/10.1007/978-3-642-41524-1_6

Siteeraa tätä

Nguyen, M., Janhunen, T., & Niemelä, I. (2013). Translating Answer-Set Programs into Bit-Vector Logic. teoksessa H. Tompits, S. Abreu, J. Oetsch, J. Pührer, D. Seipel, M. Umeda, & A. Wolf (Toimittajat), 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management (Sivut 95-113). (Lecture Notes in Computer Science; Vuosikerta 7773 LNAI). Springer. https://doi.org/10.1007/978-3-642-41524-1_6

Nguyen, Mai ; Janhunen, Tomi ; Niemelä, Ilkka. / Translating Answer-Set Programs into Bit-Vector Logic. 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management . Toimittaja / Hans Tompits ; Salvador Abreu ; Johannes Oetsch ; Jörg Pührer ; Dietmar Seipel ; Masanobu Umeda ; Armin Wolf. Berlin Heidelberg : Springer, 2013. Sivut 95-113 (Lecture Notes in Computer Science).

@inproceedings{8678c377121341e2a883ab9fac285c88,

title = "Translating Answer-Set Programs into Bit-Vector Logic",

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

note = "VK: hiit",

year = "2013",

doi = "10.1007/978-3-642-41524-1_6",

language = "English",

isbn = "978-3-642-41523-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "95--113",

editor = "Hans Tompits and Salvador Abreu and Johannes Oetsch and J{\"o}rg P{\"u}hrer and Dietmar Seipel and Masanobu Umeda and Armin Wolf",

booktitle = "19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011",

address = "Germany",

}

Nguyen, M, Janhunen, T & Niemelä, I 2013, Translating Answer-Set Programs into Bit-Vector Logic. julkaisussa H Tompits, S Abreu, J Oetsch, J Pührer, D Seipel, M Umeda & A Wolf (toim), 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management . Lecture Notes in Computer Science, Vuosikerta 7773 LNAI, Springer, Berlin Heidelberg, Sivut 95-113. https://doi.org/10.1007/978-3-642-41524-1_6

Translating Answer-Set Programs into Bit-Vector Logic. / Nguyen, Mai; Janhunen, Tomi ; Niemelä, Ilkka.
19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management . toim. / Hans Tompits; Salvador Abreu; Johannes Oetsch; Jörg Pührer; Dietmar Seipel; Masanobu Umeda; Armin Wolf. Berlin Heidelberg: Springer, 2013. s. 95-113 (Lecture Notes in Computer Science; Vuosikerta 7773 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

TY - GEN

T1 - Translating Answer-Set Programs into Bit-Vector Logic

AU - Nguyen, Mai

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

N1 - VK: hiit

PY - 2013

Y1 - 2013

UR - http://dx.doi.org/10.1007/978-3-642-41524-1_6

U2 - 10.1007/978-3-642-41524-1_6

DO - 10.1007/978-3-642-41524-1_6

M3 - Conference contribution

SN - 978-3-642-41523-4

T3 - Lecture Notes in Computer Science

SP - 95

EP - 113

BT - 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011

A2 - Tompits, Hans

A2 - Abreu, Salvador

A2 - Oetsch, Johannes

A2 - Pührer, Jörg

A2 - Seipel, Dietmar

A2 - Umeda, Masanobu

A2 - Wolf, Armin

PB - Springer

CY - Berlin Heidelberg

ER -

Nguyen M, Janhunen T , Niemelä I. Translating Answer-Set Programs into Bit-Vector Logic. julkaisussa Tompits H, Abreu S, Oetsch J, Pührer J, Seipel D, Umeda M, Wolf A, toimittajat, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management . Berlin Heidelberg: Springer. 2013. s. 95-113. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-41524-1_6