Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses (2011)

@inproceedings{
    JN11:scmcs_ini,
    editor = "Balduccini, Marcello and Son, Trao Can",
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka},
    volume = "6565",
    publisher = "Springer",
    title = "Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary",
    corerank = "",
    year = "2011",
    month = "April",
    responsibleauthor = "Janhunen, Tomi",
    flags = "copy MCM HIIT",
    address = "Lexington, Kentucky",
    impactfactor = "",
    pages = "111--130"
}

AUTHORS: