Automata-Based Abduction for Tractable Diagnosis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Thomas Hubauer' in GoogleThis author has not been identified. Look up 'Steffen Lamparter' in GoogleThis author has not been identified. Look up 'Michael Pirker' in Google

runs on WebDSL