ASP Solving for Expanding Universes (2015)
AUTHORS:
Gebser Martin
,
Janhunen Tomi
,
Jost Holger,
Kaminski Roland,
Schaub Torsten
BOOKTITLE:
Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)
SERIES:
Lecture Notes in Artificial Intelligence
VOLUME:
9345
PAGES:
354-367
PDF:
pdf/GebserJJKS15lpnmr.pdf
@inproceedings{ GebserJJKS15lpnmr, author = "Gebser, Martin and Janhunen, Tomi and Jost, Holger and Kaminski, Roland and Schaub, Torsten", publisher = "Springer-Verlag", responsibleauthor = "Gebser, Martin and Janhunen, Tomi", language = "eng", title = "{ASP} Solving for Expanding Universes", series = "Lecture Notes in Artificial Intelligence", booktitle = "Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)", year = "2015", isbn = "978-3-319-23263-8", flags = "COIN HIIT public", volume = "9345", juforank = "1", il = "yes", eventdetails = "International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, 28-30 September, Lexington, Kentucky, USA", pdf = "GebserJJKS15lpnmr.pdf", unitcode = "T306-99, T312-1", kay = "NA", impactfactor = "A4", pages = "354-367" }