Answer Set Programming as SAT modulo Acyclicity

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

26 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic
Kustantaja	IOS PRESS
Sivut	351-356
ISBN (painettu)	978-1-61499-418-3
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

SFX-saatavuus

@inproceedings{d00214e91fb24731a2e2ad5fdd0bbd4c,

title = "Answer Set Programming as SAT modulo Acyclicity",

author = "Martin Gebser and Tomi Janhunen and Jussi Rintanen",

note = "VK: triton coin hiit",

year = "2014",

language = "English",

isbn = "978-1-61499-418-3",

pages = "351--356",

booktitle = "European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic",

publisher = "IOS PRESS",

address = "Netherlands",

}