Answer Set Programming via Mixed Integer Programming

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

64 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012
Kustantaja	AAAI Press
Sivut	32-42
ISBN (painettu)	978-1-57735-560-1
Tila	Julkaistu - 2012
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

OpenUrl-saatavuus

@inproceedings{ad469a425bbd425a8513e13c2d767641,

title = "Answer Set Programming via Mixed Integer Programming",

author = "Guohua Liu and Tomi Janhunen and Ilkka Niemel{\"a}",

note = "VK: coin hiit",

year = "2012",

language = "English",

isbn = "978-1-57735-560-1",

pages = "32--42",

booktitle = "13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012",

publisher = "AAAI Press",

address = "United States",

}

Answer Set Programming via Mixed Integer Programming. / Liu, Guohua; Janhunen, Tomi ; Niemelä, Ilkka.
13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012. AAAI Press, 2012. s. 32-42.

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

TY - GEN

T1 - Answer Set Programming via Mixed Integer Programming

AU - Liu, Guohua

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

N1 - VK: coin hiit

PY - 2012

Y1 - 2012

M3 - Conference contribution

SN - 978-1-57735-560-1

SP - 32

EP - 42

BT - 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012

PB - AAAI Press

ER -