Patrick Rodler

From MaRDI portal
(Redirected from Person:2124446)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Choosing abstraction levels for model-based software debugging: a theoretical and empirical analysis for spreadsheet programs
Artificial Intelligence
2025-10-14Paper
Sequential model-based diagnosis by systematic search
Artificial Intelligence
2023-10-04Paper
Memory-limited model-based diagnosis
Artificial Intelligence
2022-04-11Paper
Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation2017-07-18Paper


Research outcomes over time


This page was built for person: Patrick Rodler