Patrick Rodler

63 papers A* 5A 3B 4C 5Journal 32Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint). AAAI Patrick Rodler, Birgit Hofer, Dietmar Jannach, Iulia Nica, Franz Wotawa
2025	J	`jnl`	Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs. Artif. Intell. Patrick Rodler, Birgit Hofer, Dietmar Jannach, Iulia Nica, Franz Wotawa
2025	—	`conf`	Energy-Aware Double-Flexible Job Shop Scheduling with Machine Modes and Setup Times: A Real-World Industrial Case Study using Constraint Programming. CAIPI@ECAI Francesco Zuccato, Patrick Rodler, Gerhard Friedrich, Konstantin Schekotihin, Richard Comploi-Taupe
2024	A*	`conf`	Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint). AAAI Patrick Rodler
2024	C	`conf`	Summary of "Randomized Problem-Relaxation Solving for Over-Constrained Schedules" (Extended Abstract). DX Patrick Rodler, Erich Teppan, Dietmar Jannach
2023	J	`jnl`	Don't Treat the Symptom, Find the Cause! Efficient Artificial-Intelligence Methods for (Interactive) Debugging. CoRR Patrick Rodler
2023	J	`jnl`	DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis. Inf. Sci. Patrick Rodler
2023	A	`conf`	How Should I Compute My Candidates? A Taxonomy and Classification of Diagnosis Computation Algorithms. ECAI Patrick Rodler
2023	A*	`conf`	Memory-Limited Model-Based Diagnosis (Extended Abstract). IJCAI Patrick Rodler
2023	J	`jnl`	Sequential model-based diagnosis by systematic search. Artif. Intell. Patrick Rodler
2022	J	`jnl`	A formal proof and simple explanation of the QuickXplain algorithm. Artif. Intell. Rev. Patrick Rodler
2022	J	`jnl`	How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms. CoRR Patrick Rodler
2022	J	`jnl`	Memory-limited model-based diagnosis. Artif. Intell. Patrick Rodler
2022	J	`jnl`	One step at a time: An efficient approach to query-based ontology debugging. Knowl. Based Syst. Patrick Rodler
2022	A*	`conf`	Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis. AAAI Patrick Rodler
2021	B	`conf`	Linear-Space Best-First Diagnosis Search. SOCS Patrick Rodler
2021	A*	`conf`	Randomized Problem-Relaxation Solving for Over-Constrained Schedules. KR Patrick Rodler, Erich Teppan, Dietmar Jannach
2020	J	`jnl`	Do We Really Sample Right In Model-Based Diagnosis? CoRR Patrick Rodler, Fatima Elichanova
2020	J	`jnl`	DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis. CoRR Patrick Rodler
2020	J	`jnl`	Memory-Limited Model-Based Diagnosis. CoRR Patrick Rodler
2020	J	`jnl`	On Expert Behaviors and Question Types for Efficient Query-Based Ontology Fault Localization. CoRR Patrick Rodler
2020	A	`conf`	Reuse, Reduce and Recycle: Optimizing Reiter's HS-Tree for Sequential Diagnosis. ECAI Patrick Rodler
2020	J	`jnl`	Sound, Complete, Linear-Space, Best-First Diagnosis Search. CoRR Patrick Rodler
2020	J	`jnl`	The Scheduling Job-Set Optimization Problem: A Model-Based Diagnosis Approach. CoRR Patrick Rodler, Erich Teppan
2020	B	`conf`	Too Good to Throw Away: A Powerful Reuse Strategy for Reiter's Hitting Set Tree. SOCS Patrick Rodler
2020	J	`jnl`	Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof. CoRR Patrick Rodler
2019	J	`jnl`	A New Expert Questioning Approach to More Efficient Fault Localization in Ontologies. CoRR Patrick Rodler, Michael Eichholzer
2019	J	`jnl`	Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers? CoRR Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss
2019	J	`jnl`	Are query-based ontology debuggers really helping knowledge engineers? Knowl. Based Syst. Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss
2019	—	`conf`	How You Ask Matters: A Simple Expert Questioning Approach for Efficient Ontology Fault Localization. JOWO Patrick Rodler, Michael Eichholzer
2019	C	`conf`	On the Usefulness of Different Expert Question Types for Fault Localization in Ontologies. IEA/AIE Patrick Rodler, Michael Eichholzer
2019	J	`jnl`	Towards Optimizing Reiter's HS-Tree for Sequential Diagnosis. CoRR Patrick Rodler
2018	—	`conf`	A Protégé Plug-In for Test-Driven Ontology Development. ICBO Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache
2018	—	`conf`	Comparing the Performance of Traditional and Novel Heuristics for Sequential Diagnosis. DX Patrick Rodler, Wolfgang Schmid
2018	J	`jnl`	Evaluating Active Learning Heuristics for Sequential Diagnosis. CoRR Patrick Rodler, Wolfgang Schmid
2018	B	`conf`	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging. RuleML+RR Patrick Rodler, Wolfgang Schmid
2018	—	`conf`	OntoDebug: Interactive Ontology Debugging Plug-in for Protégé. FoIKS Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid
2018	—	`conf`	Reducing Sequential Diagnosis Costs by Modifying Reiter's Hitting Set Tree. DX Patrick Rodler, Manuel Herold
2018	B	`conf`	StaticHS: A Variant of Reiter's Hitting Set Tree for Efficient Sequential Diagnosis. SOCS Patrick Rodler, Manuel Herold
2018	—	`conf`	Test-Driven Ontology Development in Protégé. ICBO Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache
2017	J	`jnl`	A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis. CoRR Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
2017	C	`conf`	Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis. DX Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
2017	J	`jnl`	Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis. CoRR Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
2017	C	`conf`	On Active Learning Strategies for Sequential Diagnosis. DX Patrick Rodler
2017	J	`jnl`	On the Discrimination Power and Effective Utilization of Active Learning Measures in Version Space Search. CoRR Patrick Rodler
2017	C	`conf`	Reducing Model-Based Diagnosis to Knowledge Base Debugging. DX Patrick Rodler, Konstantin Schekotihin
2016	J	`jnl`	A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics. CoRR Patrick Rodler
2016	J	`jnl`	Interactive Debugging of Knowledge Bases. CoRR Patrick Rodler
2016	J	`jnl`	Scalable Computation of Optimized Queries for Sequential Diagnosis. CoRR Patrick Rodler, Wolfgang Schmid, Kostyantyn M. Shchekotykhin
2016	J	`jnl`	Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging. CoRR Patrick Rodler
2015	—	`ch.`	Interaktives Debugging von Wissensbasen. Ausgezeichnete Informatikdissertationen Patrick Rodler
2014	—	`conf`	Interactive Ontology Debugging using Direct Diagnosis. WoDOOM Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Patrick Rodler, Philipp Fleiss
2014	A	`conf`	Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation. ECAI Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Patrick Rodler, Philipp Fleiss
2013	J	`jnl`	RIO: Minimizing User Interaction in Debugging of Knowledge Bases CoRR Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich
2013	—	`conf`	RIO: Minimizing User Interaction in Ontology Debugging. RR Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich
2012	—	`conf`	Direct computation of diagnoses for ontology alignment. OM Kostyantyn M. Shchekotykhin, Patrick Rodler, Philipp Fleiss, Gerhard Friedrich
2012	J	`jnl`	Direct computation of diagnoses for ontology debugging CoRR Kostyantyn M. Shchekotykhin, Philipp Fleiss, Patrick Rodler, Gerhard Friedrich
2012	J	`jnl`	Interactive ontology debugging: Two query strategies for efficient fault localization. J. Web Semant. Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Philipp Fleiss, Patrick Rodler
2012	—	`conf`	On Direct Debugging of Aligned Ontologies. ISWC (Posters & Demos) Kostyantyn M. Shchekotykhin, Patrick Rodler, Philipp Fleiss, Gerhard Friedrich
2012	J	`jnl`	RIO: Minimizing User Interaction in Ontology Debugging CoRR Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich
2012	—	`conf`	RIO: Minimizing User Interaction in Ontology Debugging. ISWC (Posters & Demos) Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich
2012	—	`conf`	RIO: minimizing user interaction in debugging of aligned ontologies. OM Patrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich
2011	J	`jnl`	Query strategy for sequential ontology debugging CoRR Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Philipp Fleiss, Patrick Rodler