Patrick Rodler
4 papers · 2022–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer π Conference Polyglot (2) π Cross-Pollinator (6) π Interdisciplinary Bridge
πΊ
Lone Wolf
(3)
π
Keyword Champion
(4)
π
Trend Setter
Conferences
AAAI (3)
IJCAI (1)
Top co-authors
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