Invited Talks

  • Patrick Rodler
    OntoDebug: Ein Tool zur Fehlerfindung in medizinischen Ontologien.Forum Spital‘18 – IT im Krankenhaus. Mauerbach bei Wien, Oktober 2018.
    Presentation slides (by Patrick Rodler, pptx, 2.909KB, Important: please view the slides in presentation mode)

Publications

2022

  • Patrick Rodler:
    Memory-Limited Model-Based Diagnosis. Artificial Intelligence 305, 103681. 2022.
    Document (by Patrick Rodler, html&pdf, external)
  • Patrick Rodler:
    RBF-HS: Recursive Best-First Hitting Set Search. Technical Report. University of Klagenfurt. 2022.
    Document (by Patrick Rodler, pdf, external)
  • Patrick Rodler:
    Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis. AAAI’22. 2022. (to appear)
    Document (by Patrick Rodler, pdf)
    Presentation (by Patrick Rodler, pptx, 1 MB)
    Poster (by Patrick Rodler, pdf, 562 KB)
  • Patrick Rodler:
    Appendix to the Paper: Sequential Model-Based Diagnosis by Systematic Search. 2021
    Document (by Patrick Rodler, pdf, 1.41MB)

2021

  • Patrick Rodler:
    Linear-Space Best-First Diagnosis Search. SOCS 2021: 188-190
    Document (by Patrick Rodler, html&pdf, external)
    Presentation (by Patrick Rodler, pptx, 594KB)
  • Patrick Rodler, Erich Teppan, Dietmar Jannach:
    Randomized Problem-Relaxation Solving for Over-Constrained Schedules. KR 2021: 696-701
    Document (html&pdf, external)
    Presentation (pptx, 822 KB)
    Poster (pdf, 555 KB)
  • Patrick Rodler:
    Appendix to the Paper: DynamicHS: Streamlining Reiter’s Hitting-Set Tree for Sequential Diagnosis. 2021
    Document (by Patrick Rodler, pdf, 1.26MB)

2020

  • Patrick Rodler:
    DynamicHS: Streamlining Reiter’s HS-Tree for Sequential Diagnosis. (submitted to journal)
    Paper (5.213KB)
  • Patrick Rodler:
    QuickXPlain for Everyone: Simple Explanation and Formal Proof. (submitted to journal)
    Paper (790KB)
  • Patrick Rodler, Erich Teppan:
    The Scheduling Job-Set Optimization Problem: A Model-based Diagnosis Approach.31th International Workshop on Principles of Diagnosis (DX'20), 2020.
    Presentation slides (by Patrick Rodler & Erich Teppan, pdf, 2.034KB)
    Paper (339KB)
  • Patrick Rodler, Fatima Elichanova:
    Do We Really Sample Right in Model-Based Diagnosis?31th International Workshop on Principles of Diagnosis (DX'20), 2020.
    Presentation slides (by Patrick Rodler, pptx, 2.034KB, Important: please view the slides in presentation mode)
    Paper (322KB)
  • Patrick Rodler:
    Sound, Complete, Linear-Space, Best-First Diagnosis Search.31th International Workshop on Principles of Diagnosis (DX'20), 2020.
    Presentation slides (by Patrick Rodler, pptx, 1.444KB, Important: please view the slides in presentation mode)
    Paper (541KB)
  • Patrick Rodler:
    Reuse, Reduce and Recycle: Optimizing Reiter’s HS-Tree for Sequential Diagnosis.24th European Conference on Artificial Intelligence (ECAI’20), 2020.
    Presentation slides (by Patrick Rodler, pptx, 1.647KB, Important: please view the slides in presentation mode)
  • Patrick Rodler:
    Memory-Limited Model-Based Diagnosis. Extended Version of: “Sound, Complete, Linear-Space, Best-First Diagnosis Search“ accepted at 31th International Workshop on Principles of Diagnosis (DX'20), 2020.
    Paper (1,55MB)

2019

  • Patrick Rodler, Michael Eichholzer:
    On the Usefulness of Different Expert Question Types for Fault Localization in Ontologies. Proc. of the 32nd Int’l Conf. on industrial, engineering and other applications of applied intelligent systems (IEA/AIE 2019). 2019 (to appear)
    Presentation slides (by Patrick Rodler, pptx, 2.751KB, Important: please view the slides in presentation mode)
    Paper (527KB)
  • Patrick Rodler, Dietmar Jannach, Konstantin Schekotihin, Philipp Fleiss:
    Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers? Submitted to Knowledge-Based Systems (KBS). 2019.
    Paper (1.198KB)
  • Patrick Rodler, Michael Eichholzer:
    A New Expert Questioning Approach to More Efficient Fault Localization in Ontologies. Tech. Report. University of Klagenfurt. 2019
    Paper (1.610KB)

2018

  • Patrick Rodler, Wolfgang Schmid:
    Comparing the Performance of Traditional and Novel Heuristics for Sequential Diagnosis. 29th International Workshop on Principles of Diagnosis (DX'18). (2018)
    Presentation slides (by Patrick Rodler, pptx, 2.917KB, Important: please view the slides in presentation mode)
    Paper (pdf, ceur-ws.org)
  • Patrick Rodler, Manuel Herold:
    Reducing Sequential Diagnosis Costs by Modifying Reiter’s Hitting Set Tree. 29th International Workshop on Principles of Diagnosis (DX'18). (2018)
    Presentation slides (by Patrick Rodler, pptx, 1.279KB, Important: please view the slides in presentation mode)
    Paper (pdf, ceur-ws.org)
  • Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache:
    Test-driven Ontology Development in Protégé. International Conference on Biological Ontology. (ICBO'18). (2018)
    Presentation slides (by Patrick Rodler, pptx, 2.236KB, Important: please view the slides in presentation mode)
    Paper (pdf, ceur-ws.org)
  • Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache:
    A Protégé Plug-In for Test-Driven Ontology Development. International Conference on Biological Ontology. (ICBO'18). (2018)
    Presentation slides (by Patrick Rodler, pptx, 558KB, Important: please view the slides in presentation mode)
    Paper (pdf, ceur-ws.org)
  • Patrick Rodler, Manuel Herold:
    StaticHS: A Variant of Reiter's Hitting Set Tree for Efficient Sequential Diagnosis.SOCS 2018: 72-80
    Presentation slides (by Patrick Rodler, pptx, 1.273KB, Important: please view the slides in presentation mode)
    Paper (pdf, 1.290KB)
  • Patrick Rodler, Wolfgang Schmid:
    On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging. in: 2nd International Joint Conference on Rules and Reasoning (RuleML+RR), 2018: 164-184
    Presentation slides (by Patrick Rodler, pptx, 3.093KB, Important: please view the slides in presentation mode)
    Paper (pdf, 1.204KB)
  • Konstantin Schekotihin, Patrick Rodler and Wolfgang Schmid:
    OntoDebug: Interactive Ontology Debugging Plug-in for Protégé. In: Ferrarotti F., Woltran S. (eds) Foundations of Information and Knowledge Systems. FoIKS 2018. Lecture Notes in Computer Science, vol 10833. Springer, Cham. pp. 340—359, (2018).
    Presentation slides (by Patrick Rodler, pptx, 1.19 MB, Important: Please view the slides in presentation mode)
    Paper (pdf, springer.com)
  • Patrick Rodler and Wolfgang Schmid and Konstantin Schekotihin:
    Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis. 28th International Workshop on Principles of Diagnosis (DX'17). pp. 200--218, (2018) .
    Presentation slides (by Patrick Rodler, pptx, 2.54MB, Important: Please view the slides in presentation mode)
    Paper (pdf, easychair.org)
  • Patrick Rodler and Konstantin Schekotihin :
    Reducing Model-Based Diagnosis to Knowledge Base Debugging. 28th International Workshop on Principles of Diagnosis (DX'17). pp. 285--296, (2018) . https://easychair.org/publications/paper/3g9Q
    Presentation slides (by Patrick Rodler, pdf, 657KB)
    Paper (pdf, easychair.org)
  • Patrick Rodler:
    On Active Learning Strategies for Sequential Diagnosis . 28th International Workshop on Principles of Diagnosis (DX'17) . pp. 264--283, (2018).
    Presentation slides (by Patrick Rodler, pptx, 1MB, Important: please view the slides in presentation mode)
    Paper (pdf, easychair.org)

2017

  • Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin:
    A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis. CoRR abs/1711.05508 (2017)
    Paper (pdf, 3.064KB)

2016

  • Patrick Rodler:
    Interactive Debugging of Knowledge Bases. PhD Thesis. Alpen-Adria Universität Klagenfurt. 2015. (CoRR abs/1605.05950 (2016)) 
    PhD Thesis (pdf, 3.618KB)
  • Patrick Rodler:
    A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics. Master Thesis. Alpen-Adria Universität Klagenfurt. 2015. CoRR abs/1609.06375 (2016)
    Paper (pdf, arxiv.org)
  • Patrick Rodler:
    Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging. Technical Report. CoRR abs/1609.02584 (2016)
    Paper (pdf, arxiv.org)
  • Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin:
    Parallel Model-Based Diagnosis on Multi-Core Computers. J. Artif. Intell. Res. (JAIR) (55), pp. 835-887, (2016)
  • Kostyantyn Shchekotykhin, Thomas Schmitz, Dietmar Jannach:
    Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses. In: International Joint Conference on Artificial Intelligence, 2016, pp. 1251-1257

2015

  • Kostyantyn Shchekotykhin, Dietmar Jannach, Thomas Schmitz:
    MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. In: International Joint Conference on Artificial Intelligence, 2015, pp. 3221-3228
  • Patrick Rodler:
    Interaktives Debugging von Wissensbasen.. Ausgezeichnete Informatikdissertationen 2015: 249-258
    Presentation slides (by Patrick Rodler, pptx, 2.288KB, Important: please view the slides in presentation mode)
    Paper (pdf, 481KB)

2014

  • Kostyantyn Shchekotykhin, Gerhard Friedrich, Patrick Rodler, Philipp Fleiss:
    Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation. In: European Conference on Artificial Intelligence, 2014, pp. 813-818

2013

  • Patrick Rodler, Kostyantyn Shchekotykhin, Philipp Fleiss, Gerhard Friedrich:
    RIO: Minimizing User Interaction in Ontology Debugging. In: International Conference on Web Reasoning and Rule Systems, 2013, pp. 153-167
    Paper (pdf, 473KB)

2012

  • Kostyantyn Shchekotykhin, Gerhard Friedrich, Philipp Fleiss, Patrick Rodler:
    Interactive ontology debugging: Two query strategies for efficient fault localization. J. Web Sem. (12), pp. 88-103, (2012)
    Paper (pdf, 1.064KB)

2006

  • Gerhard Friedrich, Stefan Rass, Kostyantyn Shchekotykhin:
    A general method for diagnosing axioms. In: DX’06 - 17th International Workshop on Principles of Diagnosis, 2006, pp. 101-108

2005

  • Gerhard Friedrich, Kostyantyn Shchekotykhin:
    A General Diagnosis Method for Ontologies. In: International Semantic Web Conference, 2005, pp. 232-246