Publications

  • Kenneth Skiba, Matthias Thimm. Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR'24). November 2024. bibtex pdf

    Kai Sauerwald, Matthias Thimm. The Realizability of Revision and Contraction Operators in Epistemic Spaces. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR'24). November 2024. bibtex pdf

    Lars Bengel, Julian Sander, Matthias Thimm. Characterising Serialisation Equivalence for Abstract Argumentation. In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24). October 2024. bibtex pdf

    Lydia Blümel, Matthias Thimm. Revisiting Vacuous Reduct Semantics for Abstract Argumentation. In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24). October 2024. bibtex pdf

    Matthias Thimm. Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics. In Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI'24). August 2024. bibtex pdf

    Lars Bengel, Lydia Blümel, Tjitze Rienstra, Matthias Thimm. Argumentation-based Probabilistic Causal Reasoning. In Proceedings of the 1st International Conference on Recent Advances in Robust Argumentation Machines (RATIO'24). June 2024. bibtex pdf

    Jonas Klein, Isabelle Kuhlmann, Matthias Thimm. Cluster-Specific Rule Mining for Argumentation-Based Classification. In Proceedings of the 1st International Conference on Recent Advances in Robust Argumentation Machines (RATIO'24). June 2024. bibtex pdf

    Sandra Hoffmann, Isabelle Kuhlmann, Matthias Thimm. Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study. In Proceedings of the 1st International Conference on Recent Advances in Robust Argumentation Machines (RATIO'24). June 2024. bibtex pdf

    Kenneth Skiba, Matthias Thimm, Johannes P. Wallner. Ranking Transition-based Medical Recommendations using Assumption-based Argumentation. In Proceedings of the 1st International Conference on Recent Advances in Robust Argumentation Machines (RATIO'24). June 2024. bibtex pdf

    Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant. Paraconsistent reasoning for inconsistency measurement in declarative process specifications. In Information Systems, 122:102347. February 2024. bibtex pdf

    Martin Adamcik, Matthias Thimm (Editors). Special Issue on Foundations, Applications and Theory of Inductive Logic. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. January 2024. bibtex url

  • Kenneth Skiba, Matthias Thimm, Johannes P. Wallner. Ranking-based Semantics for Assumption-based Argumentation. In Proceedings of the 9th Workshop on Formal and Cognitive Reasoning (FCR'23). September 2023. bibtex pdf

    Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo. MaxSAT-Based Inconsistency Measurement. In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI'23). September 2023. bibtex pdf

    Lydia Blümel, Matthias Thimm. Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23). September 2023. bibtex pdf

    Lars Bengel, Matthias Thimm. Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23). September 2023. bibtex pdf

    Isabelle Kuhlmann, Matthias Thimm. A Discussion of Challenges in Benchmark Generation for Abstract Argumentation. In Oana Cocarascu, Svlvie Doutre, Jean-Guv Mailly, Antonio Rago (Eds.), Proceedings of The First International Workshop on Argumentation and Applications (Arg&App'23). September 2023. bibtex pdf

    Matthias Thimm. Fargo-limited v1.1.1. In Fifth International Competition on Computational Models of Argumentation (ICCMA'23). September 2023. bibtex pdf

    Matthias Thimm, Federico Cerutti, Mauro Vallati. Fudge v3.2.8. In Fifth International Competition on Computational Models of Argumentation (ICCMA'23). September 2023. bibtex pdf

    Matthias Thimm. Harper++ v1.1.1. In Fifth International Competition on Computational Models of Argumentation (ICCMA'23). September 2023. bibtex pdf

    Kai Sauerwald, Matthias Thimm (Editors). Proceedings of the 21st International Workshop on Non-Monotonic Reasoning (NMR'23). CEUR-WS.org. September 2023. bibtex url

    Jandson Santos Ribeiro Santos, Matthias Thimm. Measuring Inconsistency with the Tableau Method. In Journal of Applied Logic. August 2023. bibtex pdf

    Lars Bengel, Matthias Thimm, Tjitze Rienstra. Learning Argumentation Frameworks from Labelings. In Argument & Computation. Juli 2023. bibtex pdf

    Kenneth Skiba, Jesse Heyninck, Matthias Thimm (Editors). Special Issue: Argument Strength (ArgStrength-21). Argument & Computation, IOS Press. May 2023. bibtex url

    Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm (Editors). Special Issue: Formal and Cognitive Reasoning (FCR-2021). Journal of Applied Logics, Volume 10, Number 2, College Publications. March 2023. bibtex url

    Matthias Thimm. On Undisputed Sets in Abstract Argumentation. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI'23). February 2023. bibtex pdf

    Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant. Measuring and Resolving Inconsistency in Declarative Process Specifications (Extended Abstract). In AAAI 2023 Bridge Program on Artificial Intelligence and Business Process Management. February 2023. bibtex pdf

    Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm. Revision, Defeasible conditionals and Non-Monotonic Inference for Abstract Dialectical Frameworks. In Artificial Intelligence. February 2023. bibtex pdf

    • Jandson S. Ribeiro, ernel Contraction and the Order of Relevance. KR 2022 bibtex url
    • Jandson S. Ribeiro, Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report). bibtex url
    • Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm. A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure. In Proceedings of the 15th international conference on Scalable Uncertainty Management (SUM'22). October 2022. bibtex pdf
    • Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm (Editors). Proceedings of the 8th Workshop on Formal and Cognitive Reasoning (FCR'22). CEUR-WS.org. October 2022. bibtex url
    • Matthias Thimm, Jürgen Landes, Kenneth Skiba (Editors). Proceedings of the First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL'22). Universitätsbibliothek Hagen. October 2022. bibtex url
    • Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner (Editors). Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'22). CEUR-WS.org. October 2022. bibtex url
    • Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner (Editors). Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation (CaKR'22). CEUR-WS.org. October 2022. bibtex url
    • Lukas Kinder, Matthias Thimm, Bart Verheij. A labelling-based solver for computing complete extensions of abstract argumentation frameworks. In Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'22). September 2022. bibtex pdf
    • Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner. Realisability of Ranking-based Semantics. In Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'22). September 2022. bibtex pdf
    • Lars Bengel, Lydia Blümel, Tjitze Rienstra, Matthias Thimm. Argumentation-based Causal and Counterfactual Reasoning. In Proceedings of the First International Workshop on Argumentation for eXplainable AI (ArgXAI'22). September 2022. bibtex pdf
    • Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm. Explaining Argument Acceptance in ADFs. In Proceedings of the First International Workshop on Argumentation for eXplainable AI (ArgXAI'22). September 2022. bibtex pdf
    • Jonas Klein, Isabelle Kuhlmann, Matthias Thimm. Graph Neural Networks for Algorithm Selection in Abstract Argumentation. In Proceedings of the First International Workshop on Argumentation & Machine Learning (ArgML'22). September 2022. bibtex pdf
    • Matthias Lohr, Kenneth Skiba, Marco Konersmann, Jan Jürjens, Steffen Staab. Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain. ICBC 2022 pdf
    • Lydia Blümel, Matthias Thimm. A Ranking Semantics for Abstract Argumentation based on Serialisability. In Proceedings of the 9th International Conference on Computational Models of Argument (COMMA'22). September 2022. bibtex pdf
    • Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm. On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation. In Proceedings of the 9th International Conference on Computational Models of Argument (COMMA'22). September 2022. bibtex pdf
    • Kenneth Skiba, Matthias Thimm. Ordinal Conditional Functions for Abstract Argumentation. In Proceedings of the 9th International Conference on Computational Models of Argument (COMMA'22). September 2022.bibtex pdf
    • Lars Bengel, Matthias Thimm. Serialisable Semantics for Abstract Argumentation. In Proceedings of the 9th International Conference on Computational Models of Argument (COMMA'22). September 2022. bibtex pdf
    • Jonas Klein, Matthias Thimm. probo2: A Benchmark Framework for Argumentation Solvers. In Proceedings of the 9th International Conference on Computational Models of Argument (COMMA'22). September 2022. bibtex pdf
    • Carl Corea, John Grant, Matthias Thimm. Measuring Inconsistency in Declarative Process Specifications. In Proceedings of the 20th International Conference on Business Process Management (BPM'22). September 2022. bibtex pdf
    • Matthias Thimm. Revisiting initial sets in abstract argumentation. In Argument & Computation. July 2022 bibtex pdf
    • Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm. Possibilistic Logic Underlies Abstract Dialectical Frameworks. In Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI'22). July 2022 bibtex pdf
    • Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba. Conditional Abstract Dialectical Frameworks. In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22). February 2022. bibtex pdf

    • Matthias Thimm. Revisiting minimal admissible sets in abstract argumentation. In Proceedings of the Second Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'21). November 2021. bibtex pdf
    • Isabelle Kuhlmann, Matthias Thimm. Algorithms for Inconsistency Measurement using Answer Set Programming. In Proceedings of the 19th International Workshop on Non-Monotonic Reasoning (NMR'21). November 2021. bibtex pdf
    • Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba. Arguing about Complex Formulas: Generalizing Abstract Dialectical Frameworks. In Proceedings of the 19th International Workshop on Non-Monotonic Reasoning (NMR'21). November 2021. bibtex pdf
    • Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba. On the Relation between Possibilistic Logic and Abstract Dialectical Frameworks. In Proceedings of the 19th International Workshop on Non-Monotonic Reasoning (NMR'21). November 2021. bibtex pdf
    • Jandson Santos Ribeiro Santos, Matthias Thimm. Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21). November 2021. bibtex pdf
    • Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm. Distinguishability in Abstract Argumentation. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21). November 2021. bibtex pdf
    • Carl Corea, Matthias Thimm, Patrick Delfmann. Measuring Inconsistency over Sequences of Business Rule Cases. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21). November 2021. bibtex pdf
    • Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm. Revision and Conditional Inference for Abstract Dialectical Frameworks. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21). November 2021. bibtex pdf
    • Daniel Neugebauer, Jörg Rothe, and Kenneth Skiba. "Complexity of nonemptiness in control argumentation frameworks." European Conference on Symbolic and Quantitative Approaches with Uncertainty. Springer, Cham, October 2021. pdf
    • Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm (Editors). Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR’21). CEUR-WS.org. September 2021
    • Elina Unruh, Patrick Delfmann, Matthias Thimm. Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures. In Proceedings of the 23rd IEEE International Conference on Business Informatics (IEEE CBI 2021). September 2021. bibtex pdf
    • Anthony Hunter, Sylwia Polberg, Matthias Thimm. Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments (Abstract Journal Track). In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21). August 2021. bibtex pdf
    • Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner. Ranking Extensions in Abstract Argumentation. In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21). August 2021. bibtex pdf
    • Matthias Thimm, Federico Cerutti, Mauro Vallati. Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions. In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI'21). August 2021. bibtex pdf
    • Anthony Hunter, Sylwia Polberg, Nico Potyka, Tjitze Rienstra, Matthias Thimm. Probabilistic Argumentation: A Survey. In Dov Gabbay, Massimiliano Giacomin, Guillermo R. Simari, Matthias Thimm (Eds.), Handbook of Formal Argumentation, College Publications. August 2021. bibtex pdf
    • Dov Gabbay, Massimiliano Giacomin, Guillermo R. Simari, Matthias Thimm (Editors). Handbook of Formal Argumentation (Volume 2). College Publications. August 2021. bibtex url
    • Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba. On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. In Annals of Mathematics and Artificial Intelligence. July 2021. bibtex pdf

    • Isabelle Kuhlmann. "Towards Eliciting Attacks in Abstract Argumentation Frameworks." Online Handbook of Argumentation for AI 2. June 2021. pdf

    • Matthias Thimm, Federico Cerutti, Mauro Vallati. Fudge: A Light-weight Solver for Abstract Argumentation based on SAT Reductions. In The Fourth International Competition on Computational Models of Argumentation (ICCMA'21). May 2021. bibtex pdf
    • Matthias Thimm. Harper++: Using Grounded Semantics for Approximate Reasoning in Abstract Argumentation. In The Fourth International Competition on Computational Models of Argumentation (ICCMA'21). May 2021. bibtex pdf
    • Isabelle Kuhlmann, Viktor Seib, and Dietrich Paulus. "Integrating Feedforward Design into a Generative Network to Synthesize Supplementary Training Data for Object Classification." 2021 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC). IEEE, April 2021. pdf

    • Federico Cerutti, Matthias Thimm, Mauro Vallati. An experimental analysis on the similarity of argumentation semantics. In Argument & Computation, 11(3):269-304. October 2020. bibtex pdf
    • Kenneth Skiba, Daniel Neugebauer, and Jörg Rothe. "Complexity of nonempty existence problems in incomplete argumentation frameworks." IEEE Intelligent Systems 36.2 (September 2020): 13-24. pdf
    • Matthias Thimm, Tjitze Rienstra. Approximate Reasoning with ASPIC+ by Argument Sampling. In Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20). September 2020. bibtex pdf
    • Kenneth Skiba, Matthias Thimm, Andrea Cohen, Sebastian Gottifredi, Alejandro J. Garcia. Abstract Argumentation Frameworks with Fallible Evidence. In Henry Prakken, Stefano Bistarelli, Francesco Santini, Carlo Taticchi (Eds.), Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20), pages 347-354, IOS Press, volume 326 of Frontiers in Artificial Intelligence and Applications. September 2020. bibtex pdf
    • Matthias Thimm, Federico Cerutti, Mauro Vallati. On Computing the Set of Acceptable Arguments in Abstract Argumentation. In Henry Prakken, Stefano Bistarelli, Francesco Santini, Carlo Taticchi (Eds.), Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20), pages 363-370, IOS Press, volume 326 of Frontiers in Artificial Intelligence and Applications. September 2020. bibtex pdf
    • Jonas Klein, Matthias Thimm. Revisiting SAT Techniques for Abstract Argumentation. In Henry Prakken, Stefano Bistarelli, Francesco Santini, Carlo Taticchi (Eds.), Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20), pages 251-262, IOS Press, volume 326 of Frontiers in Artificial Intelligence and Applications. September 2020. bibtex pdf
    • Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm. Interpreting Conditionals in Argumentative Environments. In Proceedings of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20). September 2020. bibtex pdf
    • Tjitze Rienstra, Matthias Thimm, Xiaoting Shao, Kristian Kersting. Independence and D-separation in Abstract Argumentation. In Diego Calvanese, Esra Erdem, Michael Thielscher (Eds.), Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20), pages 713-722, IJCAI Organization. September 2020. bibtex pdf
    • Isabelle Kuhlmann, Matthias Thimm. An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming. In Jesse Davis, Karim Tabia (Eds.), Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20), pages 289-296, Springer International Publishing, volume 12322 of Lecture Notes in Artificial Intelligence. September 2020. Winner of best student paper award bibtex pdf
    • Jandson Santos Ribeiro Santos, Viorica Sofronie-Stokkermans, Matthias Thimm. Measuring Disagreement with Interpolants. In Jesse Davis, Karim Tabia (Eds.), Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20), pages 84-97, Springer International Publishing, volume 12322 of Lecture Notes in Artificial Intelligence. September 2020. bibtex pdf
    • Xiaoting Shao, Zhongjie Yu, Arseny Skryagin, Tjitze Rienstra, Matthias Thimm, Kristian Kersting. Modelling Multivariate Ranking Functions with Min-Sum Networks. In Jesse Davis, Karim Tabia (Eds.), Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20), pages 281-288, Springer International Publishing, volume 12322 of Lecture Notes in Artificial Intelligence. September 2020. bibtex pdf
    • Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm (Editors). Proceedings of the 6th Workshop on Formal and Cognitive Reasoning (FCR'20). CEUR-WS.org. September 2020. bibtex url
    • Sarah A. Gaggl, Matthias Thimm, Mauro Vallati (Editors). Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20). CEUR-WS.org. September 2020. bibtex url
    • Kenneth Skiba, Matthias Thimm. Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics. In Proceedings of the International Workshop on Computational Argumentation and Cognition (COGNITAR'20). August 2020. bibtex pdf
    • Carl Corea, Matthias Thimm. Towards Inconsistency Measurement in Business Rule Bases. In De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A., Lang, J. (Eds.), Proceedings of the 24th European Conference on Artificial Intelligence (ECAI'20), pages 704-711, IOS Press, volume 325 of Frontiers in Artificial Intelligence and Applications. August 2020. bibtex pdf
    • Carl Corea, Matthias Thimm. On Quasi-Inconsistency and its Complexity. In Artificial Intelligence, 284:103276. July 2020. bibtex pdf
    • Kenneth Skiba, Daniel Neugebauer, and Jörg Rothe. "Complexity of possible and necessary existence problems in abstract argumentation." ECAI 2020. IOS Press, June 2020. 897-904. pdf
    • Markus Ulbricht, Matthias Thimm, Gerhard Brewka. Handling and measuring inconsistency in non-monotonic logics. In Artificial Intelligence, 286:103344. June 2020. bibtex pdf
    • Xiaoting Shao, Tjitze Rienstra, Matthias Thimm, Kristian Kersting. Towards Understanding and Arguing with Classifiers: Recent Progress. In Datenbank-Spektrum, 20:171-180. June 2020. bibtex pdf
    • Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm. On the Correspondence Between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. In Proceedings of the 33rd International FLAIRS Conference (FLAIRS'20), pages 575-580. May 2020. Nominated for best paper award bibtex pdf
    • Anthony Hunter, Sylwia Polberg, Matthias Thimm. Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments. In Artificial Intelligence, 281:103236. April 2020. bibtex pdf

    • Matthias Thimm. An Experimental Study on the Behaviour of Inconsistency Measures. In Nahla Ben Amor, Benjamin Quost, Martin Theobald (Eds.), Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19), pages 1-8, Springer International Publishing, volume 11940 of Lecture Notes in Artificial Intelligence. December 2019. bibtex pdf
    • Matthias Thimm. Inconsistency Measurement. In Nahla Ben Amor, Benjamin Quost, Martin Theobald (Eds.), Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19), pages 9-23, Springer International Publishing, volume 11940 of Lecture Notes in Artificial Intelligence. December 2019. bibtex pdf
    • Isabelle Kuhlmann, Matthias Thimm. Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study. In Nahla Ben Amor, Benjamin Quost, Martin Theobald (Eds.), Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19), pages 24-37, Springer International Publishing. December 2019. bibtex pdf
    • Matthias Thimm, Johannes P. Wallner. On the Complexity of Inconsistency Measurement. In Artificial Intelligence, 275:411-456. October 2019. bibtex pdf
    • Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm (Editors). Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019). CEUR-WS.org. September 2019. bibtex url
    • Federico Cerutti, Matthias Thimm. A General Approach to Reasoning with Probabilities. In International Journal of Approximate Reasoning, 111:35-50. August 2019. bibtex pdf
    • Matthias Thimm. Algorithmic Approaches to Computational Models of Argumentation. In Cuzzocrea, A., Greco, S., Larsen, H.L., Sacca, D., Andreasen, T., Christiansen, H. (Eds.), Proceedings of the 13th International Conference on Flexible Query Answering Systems (FQAS'19), pages 18-21, Springer International Publishing, volume 11529 of Lecture Notes in Artificial Intelligence. July 2019. bibtex pdf
    • Matthias Thimm. Dredd - A Heuristics-guided Backtracking Solver with Information Propagation for Abstract Argumentation. In The Third International Competition on Computational Models of Argumentation (ICCMA'19). May 2019. bibtex pdf
    • Gerhard Brewka, Matthias Thimm, Markus Ulbricht. Strong Inconsistency. In Artificial Intelligence, 267:78-117. February 2019. bibtex pdf

    • Katarzyna Budzynska, Marcin Koszowy, Michal Araszkiewicz, Katie Atkinson, Agnieszka Budzynska-Daca, Kamila Debowska-Kozlowska, Martin Hinton, Magdalena Kacprzak, John Lawrence, Pawel Lupkowski, Sanjay Modgil, Barlomiej Skowron, Matthias Thimm, Mariusz Urbanski, Jacky Visser, Maria Zaleska, Tomasz Zurek. Warsaw Argumentation Week (WAW 2018). In Studies in Logic, Grammar and Rhetoric, 55(68):231-239. December 2018. bibtex pdf
    • Gabriele Kern-Isberner, Matthias Thimm. Towards Conditional Logic Semantics for Abstract Dialectical Frameworks. In Carlos I. Chesnevar, Marcelo A. Falappa, Eduardo Ferme, Alejandro J. Garcia, Ana G. Maguitman, Diego C. Martinez, Maria Vanina Martinez, Ricardo O. Rodrigues, Gerado I. Simari (Eds.), Argumentation-based Proofs of Endearment - Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday, College Publications, volume 37 of Tributes. November 2018. bibtex pdf
    • Federico Cerutti, Matthias Thimm. Probabilistic Augmentations for Knowledge Representation Formalisms. In Proceedings of the 2018 Workshop on Hybrid Reasoning and Learning (HRL'18). October 2018. bibtex pdf
    • Federico Cerutti, Matthias Thimm. A General Approach to Reasoning with Probabilities (Extended Abstract). In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18), pages 629-630. October 2018. bibtex pdf
    • Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert van der Torre. Probabilistic Abstract Argumentation based on SCC Decomposability. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18), pages 168-177. October 2018. bibtex pdf
    • Matthias Thimm, Sylwia Polberg, Anthony Hunter. Epistemic Attack Semantics. In Sanjay Modgil, Katarzyna Budzynska, John Lawrence (Eds.), Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18), pages 37-48, volume 305 of Frontiers in Artificial Intelligence and Applications. September 2018. bibtex pdf
    • Matthias Thimm, Federico Cerutti, Tjitze Rienstra. Probabilistic Graded Semantics. In Sanjay Modgil, Katarzyna Budzynska, John Lawrence (Eds.), Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18), pages 369-380, volume 305 of Frontiers in Artificial Intelligence and Applications. September 2018. bibtex pdf
    • Tjitze Rienstra, Matthias Thimm. Ranking Functions over Labellings. In Sanjay Modgil, Katarzyna Budzynska, John Lawrence (Eds.), Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18), pages 393-404, volume 305 of Frontiers in Artificial Intelligence and Applications. September 2018. bibtex pdf
    • Matthias Thimm. Stochastic Local Search Algorithms for Abstract Argumentation under Stable Semantics. In Sanjay Modgil, Katarzyna Budzynska, John Lawrence (Eds.), Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18), pages 169-180, volume 305 of Frontiers in Artificial Intelligence and Applications. September 2018. bibtex pdf
    • Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm (Editors). Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018). CEUR-WS.org. September 2018. bibtex url
    • Matthias Thimm, Federico Cerutti, Mauro Vallati (Editors). Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'18). CEUR-WS.org. September 2018. bibtex url
    • Daniel Janke, Steffen Staab, Matthias Thimm. Impact Analysis of Data Placement Strategies on Query Efforts in Distributed RDF Stores. In Journal of Web Semantics, 50:21-48. May 2018. bibtex pdf
    • Mehdi Teymourlouie, Ahmad Zaeri, Mohammadali Nematbakhsh, Matthias Thimm, Steffen Staab. Detecting Hidden Errors in an Ontology Using Contextual Knowledge. In Expert Systems with Applications, 95:312-323. April 2018. bibtex pdf
    • Markus Ulbricht, Matthias Thimm, Gerhard Brewka. Measuring Strong Inconsistency. In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18), pages 1989-1996, AAAI Press. February 2018. bibtex pdf
    • Glauber De Bona, Marcelo Finger, Nico Potyka, Matthias Thimm. Inconsistency Measurement in Probabilistic Logic. In John Grant, Maria Vanina Martinez (Eds.), Measuring Inconsistency in Information, College Publications, volume 73 of Studies in Logic. February 2018. bibtex pdf
    • Markus Ulbricht, Matthias Thimm, Gerhard Brewka. Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics. In John Grant, Maria Vanina Martinez (Eds.), Measuring Inconsistency in Information, College Publications, volume 73 of Studies in Logic. February 2018. bibtex pdf
    • Matthias Thimm. On the Evaluation of Inconsistency Measures. In John Grant, Maria Vanina Martinez (Eds.), Measuring Inconsistency in Information, College Publications, volume 73 of Studies in Logic. February 2018. bibtex pdf
    • Federico Cerutti, Sarah A. Gaggl, Matthias Thimm, Johannes P. Wallner. Foundations of Implementations for Formal Argumentation. In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, Leendert van der Torre (Eds.), Handbook of Formal Argumentation, also appears in IfCoLog Journal of Logics and their Applications 4(8):2623--2706, College Publications. February 2018. bibtex pdf

    • Daniel Janke, Steffen Staab, Matthias Thimm. Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. In Proceedings of the Workshop on Benchmarking Linked Data (BLINK'17), a short version of this paper appears also in Proceedings of the 16th International Semantic Web Conference (ISWC'17) as a poster paper. October 2017. bibtex pdf
    • Sylwia Polberg, Anthony Hunter, Matthias Thimm. Belief in Attacks in Epistemic Probabilistic Argumentation. In Serafin Moral, Olivier Pivert, Daniel Sanchez, Nicolas Marin (Eds.), Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM'17), pages 223-236, volume 10564 of Lecture Notes in Artifical Intelligence. October 2017. bibtex pdf
    • Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo R. Simari, Matthias Thimm, Serena Villata. Towards Artificial Argumentation. In AI Magazine, 38(3):25-36. October 2017. bibtex pdf
    • Nico Potyka, Matthias Thimm. Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. In International Journal of Approximate Reasoning, 88:209-236. September 2017. bibtex pdf
    • Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm (Editors). Proceedings of the 40th Annual German Conference on Artificial Intelligence (KI'17). Springer, volume 10505 of Lecture Notes in Artificial Intelligence. September 2017. bibtex url
    • Matthias Thimm. On the Expressivity of Inconsistency Measures (Extended Abstract). In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), pages 5070-5074. August 2017. bibtex pdf
    • Gerhard Brewka, Matthias Thimm, Markus Ulbricht. Strong Inconsistency in Nonmonotonic Reasoning. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), pages 901-907. August 2017. bibtex pdf
    • Nils Geilen, Matthias Thimm. Heureka - A General Heuristic Backtracking Solver for Abstract Argumentation. In Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). August 2017. bibtex pdf
    • Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig. Probabilities on Extensions in Abstract Argumentation. In Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). August 2017. bibtex pdf
    • Matthias Thimm. The Formal Argumentation Libraries of Tweety. In Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). August 2017. bibtex pdf
    • Matthias Thimm, Kristian Kersting. Towards Argumentation-based Classification. In Logical Foundations of Uncertainty and Machine Learning, Workshop at IJCAI'17. August 2017. bibtex pdf
    • Anthony Hunter, Matthias Thimm. Probabilistic Reasoning with Abstract Argumentation Frameworks. In Journal of Artificial Intelligence Research, 59:565-611. August 2017. bibtex pdf
    • Matthias Thimm, Serena Villata. The First International Competition on Computational Models of Argumentation: Results and Analysis. In Artificial Intelligence, 252:267-294. August 2017. bibtex pdf
    • Matthias Thimm. Measuring Inconsistency with Many-Valued Logics. In International Journal of Approximate Reasoning, 86:1-23. July 2017. bibtex pdf
    • Souhila Kaci, Robert Mercer, Matthias Thimm (Editors). Special Issue: Uncertain Reasoning. Journal of Applied Logic, Volume 22. July 2017. bibtex url
    • Cristina Sarasua, Steffen Staab, Matthias Thimm. Methods for Intrinsic Evaluation of Links in the Web of Data. In Proceedings of the 14th Extended Semantic Web Conference (ESWC'17), pages 68-84. June 2017. bibtex pdf
    • Daniel Janke, Steffen Staab, Matthias Thimm. On Data Placement Strategies in Distributed RDF Stores. In Proceedings of the International Workshop on Semantic Big Data (SDB 2017). May 2017. bibtex pdf
    • Matthias Thimm. On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. In Künstliche Intelligenz, 31(1):31-39. March 2017. bibtex pdf
    • Matthias Thimm. The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. In Künstliche Intelligenz, 31(1):93-97. March 2017. bibtex pdf

    • Markus Ulbricht, Matthias Thimm, Gerhard Brewka. Measuring Inconsistency in Answer Set Programs. In Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16), pages 577-583. November 2016. bibtex pdf
    • Carl Corea, Matthias Thimm. Using Matrix Exponentials for Abstract Argumentation. In Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA'16), pages 10-21. September 2016. bibtex pdf
    • Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati (Editors). Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'16). CEUR-WS.org. September 2016. bibtex url
    • Sarah Alice Gaggl, Matthias Thimm (Editors). The Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16), Proceedings. arXiv:1608.02441. September 2016. bibtex url
    • Matthias Thimm, Dov M. Gabbay (Editors). Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation. IfCoLog Journal of Logics and their Applications, Volume 3 Number 2. August 2016. bibtex url
    • Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt. Group Decision Making via Probabilistic Belief Merging. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), pages 3623-3629. July 2016. bibtex pdf
    • Anthony Hunter, Matthias Thimm. Optimization of dialectical outcomes in dialogical argumentation. In International Journal of Approximate Reasoning, 78:73-102. July 2016. bibtex pdf
    • Anthony Hunter, Matthias Thimm. On Partial Information and Contradictions in Probabilistic Abstract Argumentation. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16). Cape Town, South Africa, April 2016. bibtex pdf
    • Matthias Thimm, Johannes Peter Wallner. Some Complexity Results on Inconsistency Measurement. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16). Cape Town, South Africa, April 2016. bibtex pdf
    • Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati. Summary Report of The First International Competition on Computational Models of Argumentation. In AI Magazine, 37(1):102-104. April 2016. bibtex pdf
    • Matthias Thimm. On the Expressivity of Inconsistency Measures. In Artificial Intelligence, 234:120-151. February 2016. bibtex pdf
    • Christoph Beierle, Gerhard Brewka, Matthias Thimm (Editors). Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday. College Publications, volume 29 of Tributes. February 2016. bibtex url
    • Matthias Thimm. Uncertainty and Inconsistency in Knowledge Representation. Habilitation Thesis, Universität Koblenz-Landau, Department of Computer Science, Institute for Web Science and Technologies. February 2016. bibtex pdf
    • Matthias Thimm. Stream-based Inconsistency Measurement. In International Journal of Approximate Reasoning, 68:68-87. January 2016. bibtex pdf

    • Matthias Thimm, Serena Villata (Editors). System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15). arXiv:1510.05373. October 2015. bibtex url
    • Nico Potyka, Matthias Thimm. Probabilistic Reasoning with Inconsistent Beliefs using Inconsistency Measures. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15). Buenos Aires, Argentina, July 2015. bibtex pdf

    • Cristina Sarasua, Matthias Thimm. Crowd Work CV: Recognition for Micro Work. In Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14). Barcelona, Spain, November 2014. bibtex pdf
    • Stefan Scheglmann, Martin Leinberger, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas. Property-based typing with LITEQ: Programming access to weakly-typed RDF data (Demo). In Proceedings of the 13th International Semantic Web Conference (ISWC'14). Trentino, Italy, October 2014. bibtex pdf
    • Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas. Semantic Web Application development with LITEQ. In Proceedings of the 13th International Semantic Web Conference (ISWC'14). Trentino, Italy, October 2014. bibtex pdf
    • Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati. A Benchmark Framework for a Computational Argumentation Competition (Demo paper). In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Pitlochry, UK, September 2014. bibtex pdf
    • Matthias Thimm, Gabriele Kern-Isberner. On Controversiality of Arguments and Stratified Labelings. In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Pitlochry, UK, September 2014. bibtex pdf
    • Anthony Hunter, Matthias Thimm. Probabilistic Argument Graphs for Argumentation Lotteries. In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Pitlochry, UK, September 2014. bibtex pdf
    • Matthias Thimm. Towards Large-scale Inconsistency Measurement. In Proceedings of the 37th German Conference on Artificial Intelligence (KI'14). Stuttgart, Germany, September 2014. bibtex pdf
    • Rita Berardi, Marcelo Schiessl, Matthias Thimm, Marco A. Casanova. The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases. In Proceedings of the 25th International Conference on Database and Expert System Applications (DEXA'14). Munich, Germany, September 2014. bibtex pdf
    • Anthony Hunter, Matthias Thimm. Probabilistic Argumentation with Epistemic Extensions. In Proceedings of the International Workshop on Defeasible amd Ampliative Reasoning (DARe'14). Prague, Czech Republic, August 2014. bibtex pdf
    • Matthias Thimm. Coherence and Compatibility of Markov Logic Networks. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Prague, Czech Republic, August 2014. bibtex pdf
    • Nico Potyka, Matthias Thimm. Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Prague, Czech Republic, August 2014. bibtex pdf
    • Anthony Hunter, Matthias Thimm. Probabilistic Argumentation with Incomplete Information. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Prague, Czech Republic, August 2014. bibtex pdf
    • Matthias Thimm. Tweety - A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14). Vienna, Austria, July 2014. bibtex pdf
    • Matthias Thimm. Strategic Argumentation in Multi-Agent Systems. In Künstliche Intelligenz, Special Issue on Multi-Agent Decision Making, 28(3):159-168. June 2014. bibtex pdf
    • Stefan Scheglmann, Ralf Lämmel, Martin Leinberger, Steffen Staab, Matthias Thimm, Evelyne Viegas. IDE Integrated RDF Exploration, Access and RDF-based Code Typing with LITEQ (Demo). In Proceedings of the 11th Extended Semantic Web Conference (ESWC'14). Crete, Greece, May 2014. bibtex pdf
    • Anthony Hunter, Matthias Thimm. Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. ArXiv. May 2014. bibtex pdf

    • Luciano H. Tamargo, Matthias Thimm, Patrick Krümpelmann, Alejandro J. Garcia, Marcelo Falappa, Guillermo R. Simari, Gabriele Kern-Isberner. Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems. In Eduardo L. Ferme, Dov M. Gabbay, Guillermo R. Simari (Eds.), Trends in Belief Revision and Argumentation Dynamics, College Publications. December 2013. bibtex pdf
    • Cristina Sarasua, Matthias Thimm. Microtask available, send us your CV!. In Proceedings of the International Workshop on Crowd Work and Human Computation. Karlsruhe, Germany, September 2013. bibtex pdf
    • Matthias Thimm. Dynamic Preference Aggregation under Preference Changes. In Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB'13). Koblenz, Germany, September 2013. bibtex pdf
    • Matthias Klusch, Matthias Thimm, Marcin Paprzycki (Editors). Proceedings of the 11th German Conference on Multiagent System Technologies (MATES'13). Springer, volume 8076 of Lecture Notes in Artificial Intelligence. Koblenz, Germany, September 2013. bibtex url
    • Ingo J. Timm, Matthias Thimm (Editors). Proceedings of the 36th Annual German Conference on Artificial Intelligence (KI'13). Springer, volume 8077 of Lecture Notes in Artificial Intelligence. Koblenz, Germany, September 2013. bibtex url
    • Tjitze Rienstra, Matthias Thimm, Nir Oren. Opponent Models with Uncertainty for Strategic Argumentation. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). Beijing, China, August 2013. bibtex pdf
    • Matthias Thimm, Gabriele Kern-Isberner. Stratified Labelings for Abstract Argumentation (Preliminary Report). ArXiv. August 2013. bibtex pdf
    • Julia Preusse, Jerome Kunegis, Matthias Thimm, Thomas Gottron, Steffen Staab. Structural Dynamics of Knowledge Networks. In Proceedings of the 7th International AAAI Conference on Weblogs and Social Media (ICWSM'13). Boston, USA, July 2013. bibtex pdf
    • Stefan Scheglmann, Steffen Staab, Matthias Thimm, Gerd Gröner. Locking for Concurrent Transactions on Ontologies. In Proceedings of the 10th Extended Semantic Web Conference (ESWC'13). Montpellier, France, June 2013. bibtex pdf
    • Matthias Thimm. Inconsistency Measures for Probabilistic Logics. In Artificial Intelligence, 197:1-24. April 2013. bibtex pdf

    • Matthias Thimm, Thomas Gottron, Gerd Gröner, Ansgar Scherp. Linked Open Data: Are we Drowning in Information and Starving for Know-How?. In Proceedings of the Workshop "What will the Semantic Web look like 10 years from now?" at the 11th International Semantic Web Conference (ISWC'12). Boston, USA, November 2012. bibtex pdf
    • Olaf Görlitz, Matthias Thimm, Steffen Staab. SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. In Proceedings of the 11th International Semantic Web Conference (ISWC'12). Boston, USA, November 2012. bibtex pdf
    • Renata Dividino, Gerd Gröner, Stefan Scheglmann, Matthias Thimm. Ranking RDF with Provenance via Preference Aggregation. In Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12). Galway, Ireland, October 2012. bibtex pdf
    • Marc Finthammer, Matthias Thimm. An Integrated Development Environment for Probabilistic Relational Reasoning. In Logic Journal of the IGPL, 20(5):831-871. October 2012. bibtex pdf
    • Matthias Thimm, Gabriele Kern-Isberner. On Probabilistic Inference in Relational Conditional Logics. In Logic Journal of the IGPL, 20(5):872-908. October 2012. bibtex pdf
    • Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm. Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. In Transactions on Large-Scale Data- and Knowledge-Centered Systems VI, pages 31-75, Springer, volume 7600 of Lecture Notes in Computer Science. September 2012. bibtex pdf
    • Luciano H. Tamargo, Alejandro J. Garcia, Matthias Thimm, Patrick Krümpelmann. Selective revision with multiple informants and argumentative support. In Inteligencia Artificial, 50:4-17. September 2012. bibtex pdf
    • Matthias Thimm. A Probabilistic Semantics for Abstract Argumentation. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). Montpellier, France, August 2012. bibtex pdf
    • Gabriele Kern-Isberner, Matthias Thimm. A Ranking Semantics for First-Order Conditionals. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). Montpellier, France, August 2012. bibtex pdf
    • Luciano H. Tamargo, Alejandro J. Garcia, Matthias Thimm, Patrick Krümpelmann. Argumentative Credibility-based Revision in Multi-Agent Systems. In Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12). La Plata, Argentina, August 2012. bibtex pdf

    • Matthias Thimm. Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. IOS Press, volume 331 of Dissertations in Artificial Intelligence. December 2011. bibtex pdf
    • Matthias Thimm. Analyzing Inconsistencies in Probabilistic Conditional Knowledge Bases using Continuous Inconsistency Measures. In Christoph Beierle, Gabriele Kern-Isberner (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11), pages 31-45. Berlin, Germany, October 2011. bibtex pdf
    • Matthias Thimm. On Prototypical Indifference and Lifted Inference in Relational Probabilistic Conditional Logic. In Christoph Beierle, Gabriele Kern-Isberner (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11), pages 1-15. Berlin, Germany, October 2011. bibtex pdf
    • Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch. Motivating Agents in Unreliable Environments: A Computational Model. In Franziska Klügl, Sascha Ossowski (Eds.), Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11), pages 65-76, Springer, volume 6973 of Lecture Notes in Computer Science. Berlin, Germany, October 2011. bibtex pdf
    • Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm. Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. In Joscha Bach, Stefan Edelkamp (Eds.), Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11), pages 63-74, Springer, volume 7006 of Lecture Notes in Computer Science. Berlin, Germany, October 2011. bibtex pdf
    • Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm. Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. In Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11), pages 27-46, Springer-Verlag, volume 6860 of Lecture Notes in Computer Science. Toulouse, France, September 2011. bibtex pdf
    • Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. Garcia, Gabriele Kern-Isberner, Guillermo R. Simari. Selective Revision by Deductive Argumentation. In Proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation (TAFA'11). Barcelona, Spain, July 2011. bibtex pdf
    • Matthias Thimm, Alejandro J. Garcia. On Strategic Argument Selection in Structured Argumentation Systems. In Peter McBurney, Iyad Rahwan, Simon Parsons (Eds.), Post-Proceedings of the Seventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), Toronto, Canada, May 2010 (revised, selected and invited papers), pages 286-305, Springer-Verlag, volume 6614 of Lecture Notes in Artificial Intelligence. July 2011. bibtex pdf
    • Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler. Relational Probabilistic Conditional Reasoning at Maximum Entropy. In Weiru Liu (Eds.), Proceedings of the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), pages 447-458, Springer, volume 6717 of Lecture Notes in Computer Science. Belfast, Ireland, June 2011. bibtex pdf
    • Diego R. Garcia, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro J. Garcia. On Influence and Contractions in Defeasible Logic Programming. In James P. Delgrande, Wolfgang Faber (Eds.), Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), pages 199-204, Springer, volume 6645 of Lecture Notes in Computer Science. Vancouver, Canada, May 2011. bibtex pdf
    • Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner. Argonauts - A Working System for Motivated Cooperative Agents. In Annals of Mathematics and Artificial Intelligence, 61(4):309-332. April 2011. bibtex pdf

    • Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm. Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. In Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10). Desenzano del Garda, Italy, September 2010. bibtex pdf
    • Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm. Can Bobby demand Delivery? Towards a Knowledge-based System for Private Law. In Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10). Cairo, Egypt, September 2010. bibtex pdf
    • Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm. Automated Reasoning for Relational Probabilistic Knowledge Representation. In Jürgen Giesl, Reiner Hähnle (Eds.), Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR'10), volume 6173 of Lecture Notes in Computer Science. Edinburgh, UK, July 2010. bibtex pdf
    • Matthias Thimm. Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming. In Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet (Eds.), Argumentation in Multi-Agent Systems, Post-Proceedings of the Sixth International Workshop (ArgMAS), Budapest, Hungary, May 2009 (revised, selected and invited papers), Springer, volume 6057 of Lecture Notes in Artificial Intelligence. July 2010. bibtex pdf
    • Gabriele Kern-Isberner, Matthias Thimm. Novel Semantical Approaches to Relational Probabilistic Conditionals. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (Eds.), Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10), pages 382-392, AAAI Press. Toronto, Canada, May 2010. bibtex pdf
    • Matthias Thimm, Alejandro J. Garcia. Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lesperance, Michael Luck, Sandip Sen (Eds.), Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010 (AAMAS'10). Toronto, Canada, May 2010. bibtex pdf
    • Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle. A System for Relational Probabilistic Reasoning on Maximum Entropy. In Hans W. Guesgen, R. Charles Murray (Eds.), Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10), AAAI Press. Daytona Beach, USA, May 2010. bibtex pdf
    • Patrick Krümpelmann, Matthias Thimm. A Logic Programming Framework for Reasoning about Know-How. In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10). Toronto, Canada, May 2010. bibtex pdf
    • Sebastian Loh, Matthias Thimm, Gabriele Kern-Isberner. On the Problem of Grounding a Relational Probabilistic Conditional Knowledge Base. In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10). Toronto, Canada, May 2010. bibtex pdf

    • Matthias Thimm. Representing Statistical Information and Degrees of Belief in First-Order Probabilistic Conditional Logic. In Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning, pages 49-63. Paderborn, Germany, September 2009. bibtex pdf
    • Marc Finthammer, Sebastian Loh, Matthias Thimm. Towards a Toolbox for Relational Probabilistic Knowledge Representation, Reasoning, and Learning. In Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning, pages 34-48. Paderborn, Germany, September 2009. bibtex pdf
    • Matthias Thimm. Measuring Inconsistency in Probabilistic Knowledge Bases. In Jeff Bilmes, Andrew Ng (Eds.), Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI'09), pages 530-537, AUAI Press. Montreal, Canada, June 2009. bibtex pdf
    • Matthias Thimm, Patrick Krümpelmann. Know-How for Motivated BDI Agents (Extended Abstract). In Keith S. Decker, Jaime Simao Sichman, Carles Sierra, Cristiano Castelfranchi (Eds.), Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09), pages 1143-1144. Budapest, Hungary, May 2009. bibtex pdf
    • Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler. Mining Default Rules From Statistical Data. In H. Chad Lane, Hans W. Guesgen (Eds.), Proceedings of the 22nd International FLAIRS Conference (FLAIRS'09), AAAI Press. Sanibel Island, USA, May 2009. bibtex pdf
    • Matthias Thimm, Patrick Krümpelmann. Know-How for Motivated BDI Agents (Extended Version). Technische Universität Dortmund, Department of Computer Science. February 2009. bibtex pdf

    • Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer. Qualitative Knowledge Discovery. In Klaus-Dieter Schewe, Bernhard Thalheim (Eds.), Proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases (SDKB'08), pages 88-113, Springer Verlag, volume 4925 of Lecture Notes in Computer Science. December 2008. bibtex pdf
    • Joachim Biskup, Gabriele Kern-Isberner, Matthias Thimm. Towards Enforcement of Confidentiality in Agent Interactions. In Maurice Pagnucco, Michael Thielscher (Eds.), Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), pages 104-112, University of New South Wales, Technical Report No. UNSW-CSE-TR-0819. Sydney, Australia, September 2008. bibtex pdf
    • Matthias Thimm, Alejandro J. Garcia, Gabriele Kern-Isberner, Guillermo R. Simari. Using Collaborations for Distributed Argumentation with Defeasible Logic Programming. In Maurice Pagnucco, Michael Thielscher (Eds.), Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), pages 179-188, University of New South Wales, Technical Report No. UNSW-CSE-TR-0819. Sydney, Australia, September 2008. bibtex pdf
    • Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner. Belief Operations for Motivated BDI Agents. In Lin Padgham, David C. Parkes, Joerg P. Müller, Simon Parsons (Eds.), Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 421-428. Estoril, Portugal, May 2008. bibtex pdf
    • Matthias Thimm, Gabriele Kern-Isberner. A Distributed Argumentation Framework using Defeasible Logic Programming. In Philippe Besnard, Sylvie Doutre, Anthony Hunter (Eds.), Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA'08), pages 381-392, IOS Press, volume 172 of Frontiers in Artificial Intelligence and Applications. Toulouse, France, May 2008. bibtex pdf
    • Matthias Thimm, Gabriele Kern-Isberner. On the Relationship of Defeasible Argumentation and Answer Set Programming. In Philippe Besnard, Sylvie Doutre, Anthony Hunter (Eds.), Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA'08), pages 393-404, IOS Press, volume 172 of Frontiers in Artificial Intelligence and Applications. Toulouse, France, May 2008. bibtex pdf
    • Matthias Thimm, Gabriele Kern-Isberner. A Distributed Argumentation Framework using Defeasible Logic Programming (Extended Version). Technische Universität Dortmund. February 2008. bibtex pdf
    • Matthias Thimm, Gabriele Kern-Isberner. On the Relationship of Defeasible Argumentation and Answer Set Programming (Extended Version). Technische Universität Dortmund. February 2008. bibtex pdf
    • Thimm, Matthias. Verteilte logikbasierte Argumentation: Konzeption, Implementierung und Anwendung im Rechtswesen. Diploma Thesis, VDM Verlag Dr. Müller, ISBN 978-3-8364-5705-7. January 2008. bibtex pdf
15.09.2024