Research | AAU Campus

The Research Information System (German abbreviation: FoDok) of the University of Klagenfurt comprises the academic achievements of researchers for the time interval of their active employment at the University of Klagenfurt. The FoDok also contains the achievements of doctoral students and emeritus/retired researchers.
For the analysis on an individual level please note that the entries in the FoDok do not give a comprehensive overview of the achievements of the individual researchers.

Publications (57)

Sorted by

How Should I Compute My Candidates? A Taxonomy and Classification of Diagnosis Computation Algorithms.

Rodler P.: In: ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) (Frontiers in Artificial Intelligence and Applications, Band 372 ), Amsterdam: IOS Press, 2023, pp. 1986 - 1993.
DOI
Article in Proceedings
Memory-Limited Model-Based Diagnosis (Extended Abstract).

Rodler P.: In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023) International Joint Conferences on Artificial Intelligence, 2023, pp. 6954 - 6954.
DOI
Article in Proceedings
Sequential model-based diagnosis by systematic search.

Rodler P.: In: Artificial Intelligence Elsevier, 2023, pp. 1 - 52.
DOI
Article in journal
Don't treat the symptom, find the cause! . Efficient artificial-intelligence methods for (interactive) debugging

Rodler P.: In: CoRR Aachen: CEUR Workshop Proceedings (CEUR-WS.org), 2023,
Homepage DOI
Article in journal
DynamicHS: Streamlining Reiter’s Hitting-Set Tree for Sequential Diagnosis.

Rodler P.: In: Information Sciences Oxford: Elsevier Ltd., 2022, pp. 251 - 279.
DOI
Article in journal
How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms.

Rodler P.: In: 33rd International Workshop on Principle of Diagnosis – DX 2022 LAAS-CNRS-ANITI, 2022, pp. 1 - 9.
Homepage
Article in Proceedings
Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis.

Rodler P.: In: Proceedings of the 36th AAAI Conference on Artificial Intelligence Menlo Park (CA): AAAI Press, 2022, pp. 5869 - 5878.
DOI
Article in Proceedings
One step at a time: An efficient approach to query-based ontology debugging.

Rodler P.: In: Knowledge-Based Systems Elsevier, 2022, pp. 1 - 30.
DOI
Article in journal
A formal proof and simple explanation of the QuickXplain algorithm.

Rodler P.: In: Artificial Intelligence Review Berlin: Springer, 2022, pp. 6185 - 6206.
DOI
Article in journal
Memory-limited model-based diagnosis.

Rodler P.: In: Artificial Intelligence Elsevier, 2022, pp. 1 - 36.
DOI
Article in journal
Randomized Problem-Relaxation Solving for Over-Constrained Schedules.

Rodler P., Teppan E. C., Jannach D.: In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning : KR 2021 Menlo Park (CA): IJCAI Inc., 2021, pp. 696 - 701.
DOI
Article in Proceedings
Linear-Space Best-First Diagnosis Search.

Rodler P.: In: Proceedings of the Fourteenth International Symposium on Combinatorial Search (SoCS 2021) Menlo Park (CA): AAAI Press, 2021, pp. 188 - 190.
Homepage
Article in Proceedings
DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis.

Rodler P.: In: http://arxiv.org/ 2020,
Homepage
Other publication
Memory-Limited Model-Based Diagnosis.

Rodler P.: In: http://arxiv.org/ 2020,
Homepage
Other publication
Do We Really Sample Right In Model-Based Diagnosis? .

Rodler P., Elichanova F.: In: DX-2020 Conference Proceedings 2020, pp. 1 - 8.
Homepage
Article in Proceedings
DynamicHS: Optimizing Reiter’s HS-Tree for Sequential Diagnosis.

Rodler P.: In: DX-2020 Conference Proceedings 2020, pp. 1 - 8.
Homepage
Article in Proceedings
Reuse, Reduce and Recycle: Optimizing Reiter's HS-Tree for Sequential Diagnosis.

Rodler P.: In: 24th European Conference on Artificial Intelligence - ECAI 2020 (Frontiers in Artificial Intelligence and Applications, Band 325 ), Amsterdam: IOS Press, 2020, pp. 873 - 880.
Homepage DOI
Article in Proceedings
Sound, Complete, Linear-Space, Best-First Diagnosis Search.

Rodler P.: In: DX-2020 Conference Proceedings 2020, pp. 1 - 8.
Homepage
Article in Proceedings
The Scheduling Job-Set Optimization Problem: A Model-Based Diagnosis Approach.

Rodler P., Teppan E. C.: In: DX-2020 Conference Proceedings 2020, pp. 1 - 8.
Homepage
Article in Proceedings
Too Good to Throw Away: A Powerful Reuse Strategy for Reiter's Hitting Set Tree.

Rodler P.: In: Proceedings of the Thirteenth International Symposium on Combinatorial Search, SOCS 2020 Menlo Park (CA): AAAI Press, 2020, pp. 135 - 136.
Homepage
Article in Proceedings