Computing Stable Models via Reductions to Difference Logic

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

Standard

Computing Stable Models via Reductions to Difference Logic. / Janhunen, Tomi; Niemelä, Ilkka; Sevalnev, Mark.

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. ed. / Esra Erdem; Fangzhen Lin; Torsten Schaub. 2009. p. 142-154 (Lecture Notes in Computer Science ; Vol. 5753).

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

Harvard

Janhunen, T, Niemelä, I & Sevalnev, M 2009, Computing Stable Models via Reductions to Difference Logic. in E Erdem, F Lin & T Schaub (eds), Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Lecture Notes in Computer Science , vol. 5753, pp. 142-154, International Conference on Logic Programming and Nonmonotonic Reasoning , Potsdam, Germany, 14/09/2009. https://doi.org/10.1007/978-3-642-04238-6_14

APA

Janhunen, T., Niemelä, I., & Sevalnev, M. (2009). Computing Stable Models via Reductions to Difference Logic. In E. Erdem, F. Lin, & T. Schaub (Eds.), Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings (pp. 142-154). (Lecture Notes in Computer Science ; Vol. 5753). https://doi.org/10.1007/978-3-642-04238-6_14

Vancouver

Janhunen T, Niemelä I, Sevalnev M. Computing Stable Models via Reductions to Difference Logic. In Erdem E, Lin F, Schaub T, editors, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. 2009. p. 142-154. (Lecture Notes in Computer Science ). https://doi.org/10.1007/978-3-642-04238-6_14

Author

Janhunen, Tomi ; Niemelä, Ilkka ; Sevalnev, Mark. / Computing Stable Models via Reductions to Difference Logic. Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. editor / Esra Erdem ; Fangzhen Lin ; Torsten Schaub. 2009. pp. 142-154 (Lecture Notes in Computer Science ).

Bibtex - Download

@inproceedings{8e3a866e9acd48da9e46519f52ee58ef,
title = "Computing Stable Models via Reductions to Difference Logic",
keywords = "answer set programming, benchmarking, difference logic, stable model semantics, translation, answer set programming, benchmarking, difference logic, stable model semantics, translation, answer set programming, benchmarking, difference logic, stable model semantics, translation",
author = "Tomi Janhunen and Ilkka Niemel{\"a} and Mark Sevalnev",
year = "2009",
doi = "10.1007/978-3-642-04238-6_14",
language = "English",
isbn = "978-3-642-04237-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag Berlin Heidelberg",
pages = "142--154",
editor = "Esra Erdem and Fangzhen Lin and Torsten Schaub",
booktitle = "Logic Programming and Nonmonotonic Reasoning",

}

RIS - Download

TY - GEN

T1 - Computing Stable Models via Reductions to Difference Logic

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

AU - Sevalnev, Mark

PY - 2009

Y1 - 2009

KW - answer set programming

KW - benchmarking

KW - difference logic

KW - stable model semantics

KW - translation

KW - answer set programming

KW - benchmarking

KW - difference logic

KW - stable model semantics

KW - translation

KW - answer set programming

KW - benchmarking

KW - difference logic

KW - stable model semantics

KW - translation

UR - http://dx.doi.org/10.1007/978-3-642-04238-6_14

U2 - 10.1007/978-3-642-04238-6_14

DO - 10.1007/978-3-642-04238-6_14

M3 - Conference contribution

SN - 978-3-642-04237-9

T3 - Lecture Notes in Computer Science

SP - 142

EP - 154

BT - Logic Programming and Nonmonotonic Reasoning

A2 - Erdem, Esra

A2 - Lin, Fangzhen

A2 - Schaub, Torsten

ER -

ID: 3749070