Answer Set Programming as SAT modulo Acyclicity

Martin Gebser, Tomi Janhunen, Jussi Rintanen

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

32 Citations (Scopus)

Original language	English
Title of host publication	European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic
Publisher	IOS Press
Pages	351-356
ISBN (Print)	978-1-61499-418-3
Publication status	Published - 2014
MoE publication type	A4 Conference publication

Cite this

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

}

TY - GEN

T1 - Answer Set Programming as SAT modulo Acyclicity

AU - Gebser, Martin

AU - Janhunen, Tomi

AU - Rintanen, Jussi

N1 - VK: triton coin hiit

PY - 2014

Y1 - 2014

M3 - Conference article in proceedings

SN - 978-1-61499-418-3

SP - 351

EP - 356

BT - European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic

PB - IOS Press

ER -