pith. sign in

Patrick Rodler

Identifiers

  • name variant Patrick Rodler 0.60 · backfill

Papers (14)

  1. A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA cs.SE · 2026 · author #3
  2. Learning to Solve and Optimize by Evolving Code cs.LG · 2026 · author #5
  3. A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis cs.AI · 2017 · author #1
  4. On the Discrimination Power and Effective Utilization of Active Learning Measures in Version Space Search cs.LG · 2017 · author #1
  5. Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis cs.AI · 2017 · author #1
  6. Scalable Computation of Optimized Queries for Sequential Diagnosis cs.AI · 2016 · author #1
  7. A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics cs.AI · 2016 · author #1
  8. Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging cs.AI · 2016 · author #1
  9. Interactive Debugging of Knowledge Bases cs.AI · 2016 · author #1
  10. RIO: Minimizing User Interaction in Debugging of Knowledge Bases cs.AI · 2013 · author #1
  11. RIO: Minimizing User Interaction in Ontology Debugging cs.AI · 2012 · author #1
  12. Direct computation of diagnoses for ontology debugging cs.AI · 2012 · author #3
  13. Interactive ontology debugging: two query strategies for efficient fault localization cs.AI · 2011 · author #4
  14. Query strategy for sequential ontology debugging cs.LO · 2010 · author #4

Mentions

  • 2606.23720 #3 · arxiv_oai · confidence 0.70 Patrick Rodler
  • 2605.31049 #5 · arxiv_oai · confidence 0.70 Patrick Rodler
  • 1302.2465 #1 · backfill · confidence 0.70 Patrick Rodler
  • 1209.3734 #1 · backfill · confidence 0.70 Patrick Rodler
  • 1209.0997 #3 · backfill · confidence 0.70 Patrick Rodler
  • 1107.4303 #4 · backfill · confidence 0.70 Patrick Rodler
  • 1004.5339 #4 · backfill · confidence 0.70 Patrick Rodler

Frequent Coauthors