scientific article; zbMATH DE number 6747992

zbMATH Open1366.68317MaRDI QIDQ5283045FDOQ5283045

Patrick Rodler, Gerhard Friedrich, Kostyantyn Shchekotykhin, Philipp Fleiss

Publication date: 18 July 2017

Full work available at URL: http://ebooks.iospress.nl/volumearticle/37042

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (4)

• Interactive Debugging of Non-ground ASP Programs
• Sequential model-based diagnosis by systematic search
• Memory-limited model-based diagnosis
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283045)