Applying Visible Strong Equivalence in Answer-Set Program Transformations

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

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. ed. / Esra Erdem; Joohyung Lee; Yuliya Lierler; David Pearce. Berlin, 2012. p. 363-379 (Lecture Notes in Computer Science; Vol. 7265).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Harvard

Janhunen, T & Niemelä, I 2012, Applying Visible Strong Equivalence in Answer-Set Program Transformations. in E Erdem, J Lee, Y Lierler & D Pearce (eds), Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science, vol. 7265, Berlin, pp. 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. In E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Eds.), Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz (pp. 363-379). (Lecture Notes in Computer Science; Vol. 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. In Erdem E, Lee J, Lierler Y, Pearce D, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Berlin. 2012. p. 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. editor / Esra Erdem ; Joohyung Lee ; Yuliya Lierler ; David Pearce. Berlin, 2012. pp. 363-379 (Lecture Notes in Computer Science).

Bibtex - Download

@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 - Download

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