Applying Visible Strong Equivalence in Answer-Set Program Transformations

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Standard

Applying Visible Strong Equivalence in Answer-Set Program Transformations. / Janhunen, Tomi; Niemelä, Ilkka.

Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. toim. / Esra Erdem; Joohyung Lee; Yuliya Lierler; David Pearce. Berlin, 2012. s. 363-379 (Lecture Notes in Computer Science; Vuosikerta 7265).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Harvard

Janhunen, T & Niemelä, I 2012, Applying Visible Strong Equivalence in Answer-Set Program Transformations. julkaisussa E Erdem, J Lee, Y Lierler & D Pearce (toim), Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science, Vuosikerta. 7265, Berlin, Sivut 363-379. https://doi.org/10.1007/978-3-642-30743-0_24

APA

Janhunen, T., & Niemelä, I. (2012). Applying Visible Strong Equivalence in Answer-Set Program Transformations. teoksessa E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Toimittajat), Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz (Sivut 363-379). (Lecture Notes in Computer Science; Vuosikerta 7265). Berlin. https://doi.org/10.1007/978-3-642-30743-0_24

Vancouver

Janhunen T, Niemelä I. Applying Visible Strong Equivalence in Answer-Set Program Transformations. julkaisussa Erdem E, Lee J, Lierler Y, Pearce D, toimittajat, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Berlin. 2012. s. 363-379. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-30743-0_24

Author

Janhunen, Tomi ; Niemelä, Ilkka. / Applying Visible Strong Equivalence in Answer-Set Program Transformations. Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Toimittaja / Esra Erdem ; Joohyung Lee ; Yuliya Lierler ; David Pearce. Berlin, 2012. Sivut 363-379 (Lecture Notes in Computer Science).

Bibtex - Lataa

@inbook{50c3b641dfe4433a898713ad32a17b4d,
title = "Applying Visible Strong Equivalence in Answer-Set Program Transformations",
author = "Tomi Janhunen and Ilkka Niemel{\"a}",
note = "VK: coin hiit",
year = "2012",
doi = "10.1007/978-3-642-30743-0_24",
language = "English",
isbn = "978-3-642-30742-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "363--379",
editor = "Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce",
booktitle = "Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz",

}

RIS - Lataa

TY - CHAP

T1 - Applying Visible Strong Equivalence in Answer-Set Program Transformations

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

N1 - VK: coin hiit

PY - 2012

Y1 - 2012

UR - http://dx.doi.org/10.1007/978-3-642-30743-0_24

U2 - 10.1007/978-3-642-30743-0_24

DO - 10.1007/978-3-642-30743-0_24

M3 - Chapter

SN - 978-3-642-30742-3

T3 - Lecture Notes in Computer Science

SP - 363

EP - 379

BT - Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz

A2 - Erdem, Esra

A2 - Lee, Joohyung

A2 - Lierler, Yuliya

A2 - Pearce, David

CY - Berlin

ER -

ID: 651663