Patrick Rodler
4 papers · 2022–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (10) π£ Hot Topic Early Bird πΊ Lone Wolf (3)
π
Keyword Champion
(4)
Top co-authors
Research topics
Keywords
model-based diagnosis
(4)
fault explanation
(2)
knowledge representation
(1)
automated reasoning
(1)
random sampling
(1)
approximate sampling
(1)
query optimization
(1)
information gain
(1)
fault localization
(1)
logical inference
(1)
sampling strategies
(1)
sequential diagnosis
(1)
fault hypothesis
(1)
system testing
(1)
qualitative reasoning
(1)
diagnostic algorithm
(1)
memory-limited search
(1)
rbfs algorithm
(1)
systematic search
(1)
best-first sampling
(1)
Papers
Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint)
AAAI 2026
Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint)
AAAI 2024
Memory-Limited Model-Based Diagnosis (Extended Abstract)
IJCAI 2023
Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis
AAAI 2022