Computing Stable Models via Reductions to Difference Logic

Tomi Janhunen; Ilkka Niemelä; Mark Sevalnev

doi:10.1007/978-3-642-04238-6_14

Computing Stable Models via Reductions to Difference Logic

Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev

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

39 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Logic Programming and Nonmonotonic Reasoning
Alaotsikko	10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Toimittajat	Esra Erdem, Fangzhen Lin, Torsten Schaub
Kustantaja	Springer
Sivut	142-154
ISBN (elektroninen)	978-3-642-04238-6
ISBN (painettu)	978-3-642-04237-9
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-04238-6_14
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Saksa Kesto: 14 syysk. 2009 → 18 syysk. 2009 Konferenssinumero: 10

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer-Verlag Berlin Heidelberg
Vuosikerta	5753
ISSN (painettu)	0302-9743

Conference

Conference	International Conference on Logic Programming and Nonmonotonic Reasoning
Lyhennettä	LPNMR
Maa/Alue	Saksa
Kaupunki	Potsdam
Ajanjakso	14/09/2009 → 18/09/2009

Tutkimusalat

answer set programming
benchmarking
difference logic
stable model semantics
translation

Pääsy asiakirjaan

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

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

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

Siteeraa tätä

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

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. Toimittaja / Esra Erdem ; Fangzhen Lin ; Torsten Schaub. Springer, 2009. Sivut 142-154 (Lecture Notes in Computer Science ).

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

pages = "142--154",

editor = "Esra Erdem and Fangzhen Lin and Torsten Schaub",

booktitle = "Logic Programming and Nonmonotonic Reasoning",

address = "Germany",

note = "International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR ; Conference date: 14-09-2009 Through 18-09-2009",

}

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

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. toim. / Esra Erdem; Fangzhen Lin; Torsten Schaub. Springer, 2009. s. 142-154 (Lecture Notes in Computer Science ; Vuosikerta 5753).

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

TY - GEN

T1 - Computing Stable Models via Reductions to Difference Logic

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

AU - Sevalnev, Mark

N1 - Conference code: 10

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

PB - Springer

T2 - International Conference on Logic Programming and Nonmonotonic Reasoning

Y2 - 14 September 2009 through 18 September 2009

ER -

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