Max-ASP: Maximum Satisfiability of Answer Set Programs

Emilia Oikarinen; Matti Järvisalo

Max-ASP: Maximum Satisfiability of Answer Set Programs

Emilia Oikarinen, Matti Järvisalo

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

5 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	The 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
Toimittajat	Esra Erdem, Fangzhen Lin, Torsten Schaub
Kustantaja	Springer
Sivut	236-249
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Muut tiedostot ja linkit

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

Siteeraa tätä

@inproceedings{15b543aaa1e74462b4d57af426687700,

title = "Max-ASP: Maximum Satisfiability of Answer Set Programs",

author = "Emilia Oikarinen and Matti J{\"a}rvisalo",

year = "2009",

language = "English",

pages = "236--249",

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

booktitle = "The 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)",

publisher = "Springer",

address = "Germany",

}

Max-ASP: Maximum Satisfiability of Answer Set Programs. / Oikarinen, Emilia; Järvisalo, Matti.
The 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009). toim. / Esra Erdem; Fangzhen Lin; Torsten Schaub. Springer, 2009. s. 236-249.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Max-ASP: Maximum Satisfiability of Answer Set Programs

AU - Oikarinen, Emilia

AU - Järvisalo, Matti

PY - 2009

Y1 - 2009

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

M3 - Conference article in proceedings

SP - 236

EP - 249

BT - The 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)

A2 - Erdem, Esra

A2 - Lin, Fangzhen

A2 - Schaub, Torsten

PB - Springer

ER -