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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

5 Citations (Scopus)

Original language	English
Title of host publication	The 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
Editors	Esra Erdem, Fangzhen Lin, Torsten Schaub
Pages	236-249
Publication status	Published - 2009
MoE publication type	A4 Article in a conference publication

SFX availability

Full text

Cite this

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

}

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). ed. / Esra Erdem; Fangzhen Lin; Torsten Schaub. 2009. p. 236-249.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

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 contribution

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

ER -

Max-ASP: Maximum Satisfiability of Answer Set Programs

SFX availability

Other files and links

Cite this