scientific article; zbMATH DE number 6747992

zbMath1366.68317MaRDI QIDQ5283045

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (4)

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

This page was built for publication: