Rémi Brochenin, Marco Maratea
Abstract Answer Set Solvers for Cautious Reasoning
ICLP, 2015.
@inproceedings{ICLP-2015-BrocheninM, author = "Rémi Brochenin and Marco Maratea", booktitle = "{Technical Communications of the 31st International Conference on Logic Programming}", ee = "http://ceur-ws.org/Vol-1433/tc_48.pdf", pages = "179--190", publisher = "{CEUR-WS.org}", series = "{CEUR Workshop Proceedings}", title = "{Abstract Answer Set Solvers for Cautious Reasoning}", volume = 1433, year = 2015, }