Thomas Hubauer, Steffen Lamparter, Michael Pirker. Automata-Based Abduction for Tractable Diagnosis. In Volker Haarslev, David Toman, Grant E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. Volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
@inproceedings{HubauerLP10,
title = {Automata-Based Abduction for Tractable Diagnosis},
author = {Thomas Hubauer and Steffen Lamparter and Michael Pirker},
year = {2010},
url = {http://ceur-ws.org/Vol-573/paper_27.pdf},
tags = {rule-based},
researchr = {https://researchr.org/publication/HubauerLP10},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
editor = {Volker Haarslev and David Toman and Grant E. Weddell},
volume = {573},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}