Patrick Rodler

Orcid: 0000-0001-8178-4692

Affiliations:
  • Alpen-Adria-Universität, Klagenfurt, Austria


According to our database1, Patrick Rodler authored at least 52 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint).
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Sequential model-based diagnosis by systematic search.
Artif. Intell., October, 2023

DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis.
Inf. Sci., May, 2023

Don't Treat the Symptom, Find the Cause! Efficient Artificial-Intelligence Methods for (Interactive) Debugging.
CoRR, 2023

Memory-Limited Model-Based Diagnosis (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

How Should I Compute My Candidates? A Taxonomy and Classification of Diagnosis Computation Algorithms.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
One step at a time: An efficient approach to query-based ontology debugging.
Knowl. Based Syst., 2022

A formal proof and simple explanation of the QuickXplain algorithm.
Artif. Intell. Rev., 2022

Memory-limited model-based diagnosis.
Artif. Intell., 2022

Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Linear-Space Best-First Diagnosis Search.
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

Randomized Problem-Relaxation Solving for Over-Constrained Schedules.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020
Sound, Complete, Linear-Space, Best-First Diagnosis Search.
CoRR, 2020

Do We Really Sample Right In Model-Based Diagnosis?
CoRR, 2020

The Scheduling Job-Set Optimization Problem: A Model-Based Diagnosis Approach.
CoRR, 2020

On Expert Behaviors and Question Types for Efficient Query-Based Ontology Fault Localization.
CoRR, 2020

Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof.
CoRR, 2020

Too Good to Throw Away: A Powerful Reuse Strategy for Reiter's Hitting Set Tree.
Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020

Reuse, Reduce and Recycle: Optimizing Reiter's HS-Tree for Sequential Diagnosis.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
Are query-based ontology debuggers really helping knowledge engineers?
Knowl. Based Syst., 2019

Towards Optimizing Reiter's HS-Tree for Sequential Diagnosis.
CoRR, 2019

A New Expert Questioning Approach to More Efficient Fault Localization in Ontologies.
CoRR, 2019

How You Ask Matters: A Simple Expert Questioning Approach for Efficient Ontology Fault Localization.
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

On the Usefulness of Different Expert Question Types for Fault Localization in Ontologies.
Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

2018
Evaluating Active Learning Heuristics for Sequential Diagnosis.
CoRR, 2018

StaticHS: A Variant of Reiter's Hitting Set Tree for Efficient Sequential Diagnosis.
Proceedings of the Eleventh International Symposium on Combinatorial Search, 2018

Comparing the Performance of Traditional and Novel Heuristics for Sequential Diagnosis.
Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Reducing Sequential Diagnosis Costs by Modifying Reiter's Hitting Set Tree.
Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

A Protégé Plug-In for Test-Driven Ontology Development.
Proceedings of the 9th International Conference on Biological Ontology (ICBO 2018), 2018

Test-Driven Ontology Development in Protégé.
Proceedings of the 9th International Conference on Biological Ontology (ICBO 2018), 2018

OntoDebug: Interactive Ontology Debugging Plug-in for Protégé.
Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017
A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis.
CoRR, 2017

On the Discrimination Power and Effective Utilization of Active Learning Measures in Version Space Search.
CoRR, 2017

Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Reducing Model-Based Diagnosis to Knowledge Base Debugging.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

On Active Learning Strategies for Sequential Diagnosis.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

2016
Scalable Computation of Optimized Queries for Sequential Diagnosis.
CoRR, 2016

A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics.
CoRR, 2016

Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging.
CoRR, 2016

Interactive Debugging of Knowledge Bases.
CoRR, 2016

2015
Interaktives Debugging von Wissensbasen.
Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015

2014
Interactive Ontology Debugging using Direct Diagnosis.
Proceedings of the Third International Workshop on Debugging Ontologies and Ontology Mappings, 2014

Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
RIO: Minimizing User Interaction in Debugging of Knowledge Bases
CoRR, 2013

2012
Interactive ontology debugging: Two query strategies for efficient fault localization.
J. Web Semant., 2012

Direct computation of diagnoses for ontology debugging
CoRR, 2012

Direct computation of diagnoses for ontology alignment.
Proceedings of the 7th International Workshop on Ontology Matching, 2012

On Direct Debugging of Aligned Ontologies.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

RIO: minimizing user interaction in debugging of aligned ontologies.
Proceedings of the 7th International Workshop on Ontology Matching, 2012

RIO: Minimizing User Interaction in Ontology Debugging.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

2011
Query strategy for sequential ontology debugging
CoRR, 2011


  Loading...