Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
Contextual Abductive Reasoning with Side-Effects
ICLP, 2014.
@article{ICLP-J-2014-PereiraDH, author = "Luís Moniz Pereira and Emmanuelle-Anna Dietz and Steffen Hölldobler", doi = "10.1017/S1471068414000258", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "633--648", title = "{Contextual Abductive Reasoning with Side-Effects}", volume = 14, year = 2014, }