Matthias Thimm

210 papers A* 33A 14B 4C 22Misc 8Journal 64Unranked 50
YearRankTypeTitle / Venue / Authors
2026 C ed.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings
ECSQARU
Kai Sauerwald, Matthias Thimm
2025 A* conf
A Framework for Inconsistency-tolerant Reasoning with Sets of Models.
KR
Yehia Hatab, Kai Sauerwald, Matthias Thimm
2025 A* conf
A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation.
KR
Lars Bengel, Julian Sander, Matthias Thimm
2025 J jnl
Algorithms for computing the set of acceptable arguments.
Int. J. Approx. Reason.
Lars Bengel, Matthias Thimm, Federico Cerutti, Mauro Vallati
2025 J jnl
Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement.
J. Artif. Intell. Res.
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
2025 A* conf
Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming.
KR
Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm
2025 J jnl
Extension-ranking Semantics for Abstract Argumentation Preprint.
CoRR
Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner
2025 J jnl
Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation.
J. Log. Comput.
Matthias Thimm
2025 A* conf
Initial Models and Serialisability in Abstract Dialectical Frameworks.
IJCAI
Lars Bengel, Matthias Thimm
2025 A* conf
On Independence and SCC-Recursiveness in Assumption-Based Argumentation.
IJCAI
Lydia Blümel, Anna Rapberger, Matthias Thimm, Francesca Toni
2025 — conf
On Minimal Inconsistent Signatures and their Application to Inconsistency Measurement.
NMR
Matthias Thimm, Jandson S. Ribeiro, Dennis Peuter, Viorica Sofronie-Stokkermans
2025 J jnl
On the realisability of weak argumentation semantics.
J. Log. Comput.
Theodoros Doukas, Matthias Thimm
2025 A* conf
Sequence Explanations for Acceptance in Abstract Argumentation.
KR
Lars Bengel, Matthias Thimm
2025 — conf
Skeptical Preferred Reasoning via Reducts in Abstract Argumentation.
NMR
Lars Bengel, Julian Sander, Matthias Thimm
2024 — conf
A Hitting Set Approach to Inconsistent-Tolerant Reasoning.
NMR
Yehia Hatab, Kai Sauerwald, Matthias Thimm
2024 — conf
Argumentation-Based Probabilistic Causal Reasoning.
RATIO
Lars Bengel, Lydia Blümel, Tjitze Rienstra, Matthias Thimm
2024 A conf
Characterising Serialisation Equivalence for Abstract Argumentation.
ECAI
Lars Bengel, Julian Sander, Matthias Thimm
2024 — conf
Cluster-Specific Rule Mining for Argumentation-Based Classification.
RATIO
Jonas Klein, Isabelle Kuhlmann, Matthias Thimm
2024 C ed.
Computational Models of Argument - Proceedings of COMMA 2024, Hagen, Germany, September 18-20, 2024.
COMMA
Chris Reed, Matthias Thimm, Tjitze Rienstra
2024 — conf
Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study.
RATIO
Sandra Hoffmann, Isabelle Kuhlmann, Matthias Thimm
2024 J jnl
Formal and cognitive reasoning.
Int. J. Approx. Reason.
Christoph Beierle, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg, Matthias Thimm
2024 J jnl
Learning argumentation frameworks from labelings.
Argument Comput.
Lars Bengel, Matthias Thimm, Tjitze Rienstra
2024 A* conf
Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility.
KR
Kenneth Skiba, Matthias Thimm
2024 A* conf
Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics.
IJCAI
Matthias Thimm
2024 J jnl
Paraconsistent reasoning for inconsistency measurement in declarative process specifications.
Inf. Syst.
Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant
2024 — conf
Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation.
RATIO
Kenneth Skiba, Matthias Thimm, Johannes P. Wallner
2024 J jnl
Reasoning with maximal consistent signatures.
CoRR
Matthias Thimm, Jandson Santos Ribeiro Santos
2024 J jnl
Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version).
CoRR
Lydia Blümel, Matthias Thimm
2024 A conf
Revisiting Vacuous Reduct Semantics for Abstract Argumentation.
ECAI
Lydia Blümel, Matthias Thimm
2024 A* conf
The Realizability of Revision and Contraction Operators in Epistemic Spaces.
KR
Kai Sauerwald, Matthias Thimm
2024 J jnl
The Realizability of Revision and Contraction Operators in Epistemic Spaces.
CoRR
Kai Sauerwald, Matthias Thimm
2023 — conf
A Discussion of Challenges in Benchmark Generation for Abstract Argumentation.
Arg&App
Isabelle Kuhlmann, Matthias Thimm
2023 A* conf
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics.
KR
Lydia Blümel, Matthias Thimm
2023 J jnl
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement.
CoRR
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
2023 J jnl
Joining Formal and Cognitive Reasoning.
FLAP
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2023 A conf
MaxSAT-Based Inconsistency Measurement.
ECAI
Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo
2023 J jnl
Measuring Inconsistency with the Tableau Method.
FLAP
Jandson S. Ribeiro, Matthias Thimm
2023 A* conf
On Undisputed Sets in Abstract Argumentation.
AAAI
Matthias Thimm
2023 J jnl
Preface for the special issue on argument strength.
Argument Comput.
Jesse Heyninck, Kenneth Skiba, Matthias Thimm
2023 — ed.
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023.
NMR
Kai Sauerwald, Matthias Thimm
2023 — conf
Ranking-based Semantics for Assumption-based Argumentation.
FCR@KI
Kenneth Skiba, Matthias Thimm, Johannes P. Wallner
2023 J jnl
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.
Artif. Intell.
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2023 A* conf
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation.
KR
Lars Bengel, Matthias Thimm
2022 — conf
A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure.
SUM
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
2022 — conf
A Labeling Based Backtracking Solver for Abstract Argumentation.
SAFA
Lukas Kinder, Matthias Thimm, Bart Verheij
2022 C conf
A Ranking Semantics for Abstract Argumentation Based on Serialisability.
COMMA
Lydia Blümel, Matthias Thimm
2022 — conf
Argumentation-based Causal and Counterfactual Reasoning.
ArgXAI
Lars Bengel, Lydia Blümel, Tjitze Rienstra, Matthias Thimm
2022 A* conf
Conditional Abstract Dialectical Frameworks.
AAAI
Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba
2022 — conf
Explaining Argument Acceptance in ADFs.
ArgXAI
Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm
2022 — conf
Graph Neural Networks for Algorithm Selection in Abstract Argumentation.
ArgML@COMMA
Jonas Klein, Isabelle Kuhlmann, Matthias Thimm
2022 A conf
Measuring Inconsistency in Declarative Process Specifications.
BPM
Carl Corea, John Grant, Matthias Thimm
2022 J jnl
Measuring Inconsistency in Declarative Process Specifications.
CoRR
Carl Corea, John Grant, Matthias Thimm
2022 C conf
On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation.
COMMA
Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm
2022 C conf
Ordinal Conditional Functions for Abstract Argumentation.
COMMA
Kenneth Skiba, Matthias Thimm
2022 A* conf
Possibilistic Logic Underlies Abstract Dialectical Frameworks.
IJCAI
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2022 — ed.
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022.
FCR@KI
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm
2022 — ed.
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022.
SAFA
Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner
2022 — ed.
Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022.
CaKR@IJCAI
Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner
2022 — conf
Realisability of Rankings-based Semantics.
SAFA
Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner
2022 J jnl
Revisiting initial sets in abstract argumentation.
Argument Comput.
Matthias Thimm
2022 J jnl
Revisiting initial sets in abstract argumentation.
CoRR
Matthias Thimm
2022 C conf
Serialisable Semantics for Abstract Argumentation.
COMMA
Lars Bengel, Matthias Thimm
2022 C conf
probo2: A Benchmark Framework for Argumentation Solvers.
COMMA
Jonas Klein, Matthias Thimm
2021 A* conf
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability.
KR
Jandson S. Ribeiro, Matthias Thimm
2021 A* conf
Distinguishability in Abstract Argumentation.
KR
Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm
2021 J jnl
Fudge: A light-weight solver for abstract argumentation based on SAT reductions.
CoRR
Matthias Thimm, Federico Cerutti, Mauro Vallati
2021 A* conf
Measuring Inconsistency over Sequences of Business Rule Cases.
KR
Carl Corea, Matthias Thimm, Patrick Delfmann
2021 J jnl
Measuring Inconsistency over Sequences of Business Rule Cases.
CoRR
Carl Corea, Matthias Thimm, Patrick Delfmann
2021 J jnl
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics.
Ann. Math. Artif. Intell.
Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba
2021 J jnl
Preface.
FLAP
Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm
2021 — ed.
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021.
FCR@KI
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2021 — conf
Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures.
CBI (1)
Elina Unruh, Patrick Delfmann, Matthias Thimm
2021 A* conf
Ranking Extensions in Abstract Argumentation.
IJCAI
Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner
2021 A* conf
Revision and Conditional Inference for Abstract Dialectical Frameworks.
KR
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2021 A* conf
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions.
IJCAI
Matthias Thimm, Federico Cerutti, Mauro Vallati
2020 C conf
Abstract Argumentation Frameworks with Fallible Evidence.
COMMA
Kenneth Skiba, Matthias Thimm, Andrea Cohen, Sebastian Gottifredi, Alejandro Javier García
2020 — conf
An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming.
SUM
Isabelle Kuhlmann, Matthias Thimm
2020 J jnl
An experimental analysis on the similarity of argumentation semantics.
Argument Comput.
Federico Cerutti, Matthias Thimm, Mauro Vallati
2020 — conf
Approximate Reasoning with ASPIC+ by Argument Sampling.
SAFA
Matthias Thimm, Tjitze Rienstra
2020 J jnl
Epistemic graphs for representing and reasoning with positive and negative influences of arguments.
Artif. Intell.
Anthony Hunter, Sylwia Polberg, Matthias Thimm
2020 J jnl
Handling and measuring inconsistency in non-monotonic logics.
Artif. Intell.
Markus Ulbricht, Matthias Thimm, Gerhard Brewka
2020 A* conf
Independence and D-separation in Abstract Argumentation.
KR
Tjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao
2020 — conf
Measuring Disagreement with Interpolants.
SUM
Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm
2020 — conf
Modelling Multivariate Ranking Functions with Min-Sum Networks.
SUM
Xiaoting Shao, Zhongjie Yu, Arseny Skryagin, Tjitze Rienstra, Matthias Thimm, Kristian Kersting
2020 C conf
On Computing the Set of Acceptable Arguments in Abstract Argumentation.
COMMA
Matthias Thimm, Federico Cerutti, Mauro Vallati
2020 J jnl
On quasi-inconsistency and its complexity.
Artif. Intell.
Carl Corea, Matthias Thimm
2020 Misc conf
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics.
FLAIRS
Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm
2020 — ed.
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020.
FCR@KI
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2020 — ed.
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020.
SAFA
Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
2020 C conf
Revisiting SAT Techniques for Abstract Argumentation.
COMMA
Jonas Klein, Matthias Thimm
2020 A conf
Towards Inconsistency Measurement in Business Rule Bases.
ECAI
Carl Corea, Matthias Thimm
2020 J jnl
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics.
CoRR
Kenneth Skiba, Matthias Thimm
2020 J jnl
Towards Understanding and Arguing with Classifiers: Recent Progress.
Datenbank-Spektrum
Xiaoting Shao, Tjitze Rienstra, Matthias Thimm, Kristian Kersting
2019 J jnl
A general approach to reasoning with probabilities.
Int. J. Approx. Reason.
Federico Cerutti, Matthias Thimm
2019 C conf
Algorithmic Approaches to Computational Models of Argumentation.
FQAS
Matthias Thimm
2019 — conf
An Experimental Study on the Behaviour of Inconsistency Measures.
SUM
Matthias Thimm
2019 — conf
Inconsistency Measurement.
SUM
Matthias Thimm
2019 J jnl
On the complexity of inconsistency measurement.
Artif. Intell.
Matthias Thimm, Johannes P. Wallner
2019 — ed.
Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019.
DKB/KIK@KI
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2019 J jnl
Strong inconsistency.
Artif. Intell.
Gerhard Brewka, Matthias Thimm, Markus Ulbricht
2019 J jnl
Towards Inconsistency Measurement in Business Rule Bases.
CoRR
Carl Corea, Matthias Thimm
2019 — conf
Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study.
SUM
Isabelle Kuhlmann, Matthias Thimm
2018 A* conf
A General Approach to Reasoning with Probabilities - Extended Abstract.
KR
Federico Cerutti, Matthias Thimm
2018 J jnl
Detecting hidden errors in an ontology using contextual knowledge.
Expert Syst. Appl.
Mehdi Teymourlouie, Ahmad Zaeri, Mohammadali Nematbakhsh, Matthias Thimm, Steffen Staab
2018 C conf
Epistemic Attack Semantics.
COMMA
Matthias Thimm, Sylwia Polberg, Anthony Hunter
2018 J jnl
Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments.
CoRR
Anthony Hunter, Sylwia Polberg, Matthias Thimm
2018 J jnl
Impact analysis of data placement strategies on query efforts in distributed RDF stores.
J. Web Semant.
Daniel Janke, Steffen Staab, Matthias Thimm
2018 A* conf
Measuring Strong Inconsistency.
AAAI
Markus Ulbricht, Matthias Thimm, Gerhard Brewka
2018 A* conf
Probabilistic Abstract Argumentation Based on SCC Decomposability.
KR
Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre
2018 C conf
Probabilistic Graded Semantics.
COMMA
Matthias Thimm, Federico Cerutti, Tjitze Rienstra
2018 — ed.
Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany, September 25, 2018.
DKB/KIK@KI
Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2018 — ed.
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018.
SAFA
Matthias Thimm, Federico Cerutti, Mauro Vallati
2018 C conf
Ranking Functions over Labelings.
COMMA
Tjitze Rienstra, Matthias Thimm
2018 C conf
Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics.
COMMA
Matthias Thimm
2017 — conf
Belief in Attacks in Epistemic Probabilistic Argumentation.
SUM
Sylwia Polberg, Anthony Hunter, Matthias Thimm
2017 J jnl
Editorial.
J. Appl. Log.
Souhila Kaci, Robert Mercer, Matthias Thimm
2017 J jnl
Foundations of Implementations for Formal Argumentation.
FLAP
Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes P. Wallner
2017 — conf
Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation.
TAFA
Nils Geilen, Matthias Thimm
2017 J jnl
Inconsistency-tolerant reasoning over linear probabilistic knowledge bases.
Int. J. Approx. Reason.
Nico Potyka, Matthias Thimm
2017 Misc ed.
KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings
KI
Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm
2017 — conf
Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores.
BLINK/NLIWoD3@ISWC
Daniel Janke, Steffen Staab, Matthias Thimm
2017 — conf
Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores.
ISWC (Posters, Demos & Industry Tracks)
Daniel Janke, Steffen Staab, Matthias Thimm
2017 J jnl
Measuring inconsistency with many-valued logics.
Int. J. Approx. Reason.
Matthias Thimm
2017 — conf
Methods for Intrinsic Evaluation of Links in the Web of Data.
ESWC (1)
Cristina Sarasua, Steffen Staab, Matthias Thimm
2017 — conf
On data placement strategies in distributed RDF stores.
SBD@SIGMOD
Daniel Janke, Steffen Staab, Matthias Thimm
2017 J jnl
On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture.
Künstliche Intell.
Matthias Thimm
2017 A* conf
On the Expressivity of Inconsistency Measures (Extended Abstract).
IJCAI
Matthias Thimm
2017 J jnl
Probabilistic Reasoning with Abstract Argumentation Frameworks.
J. Artif. Intell. Res.
Anthony Hunter, Matthias Thimm
2017 — conf
Probabilities on Extensions in Abstract Argumentation.
TAFA
Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig
2017 A* conf
Strong Inconsistency in Nonmonotonic Reasoning.
IJCAI
Gerhard Brewka, Matthias Thimm, Markus Ulbricht
2017 — conf
The Formal Argumentation Libraries of Tweety.
TAFA
Matthias Thimm
2017 J jnl
The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation.
Künstliche Intell.
Matthias Thimm
2017 J jnl
The first international competition on computational models of argumentation: Results and analysis.
Artif. Intell.
Matthias Thimm, Serena Villata
2017 J jnl
Towards Artificial Argumentation.
AI Mag.
Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Ricardo Simari, Matthias Thimm, Serena Villata
2016 — conf
A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence.
Computational Models of Rationality
Christoph Beierle, Gerhard Brewka, Matthias Thimm
2016 — ed.
Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday
Computational Models of Rationality
Christoph Beierle, Gerhard Brewka, Matthias Thimm
2016 J jnl
Editorial Preface.
FLAP
Matthias Thimm, Dov M. Gabbay
2016 A* conf
Group Decision Making via Probabilistic Belief Merging.
IJCAI
Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt
2016 B conf
Measuring Inconsistency in Answer Set Programs.
JELIA
Markus Ulbricht, Matthias Thimm, Gerhard Brewka
2016 A* conf
On Partial Information and Contradictions in Probabilistic Abstract Argumentation.
KR
Anthony Hunter, Matthias Thimm
2016 J jnl
On the expressivity of inconsistency measures.
Artif. Intell.
Matthias Thimm
2016 J jnl
Optimization of dialectical outcomes in dialogical argumentation.
Int. J. Approx. Reason.
Anthony Hunter, Matthias Thimm
2016 — ed.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016.
SAFA
Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati
2016 J jnl
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16).
CoRR
Sarah Alice Gaggl, Matthias Thimm
2016 A* conf
Some Complexity Results on Inconsistency Measurement.
KR
Matthias Thimm, Johannes P. Wallner
2016 J jnl
Stream-based inconsistency measurement.
Int. J. Approx. Reason.
Matthias Thimm
2016 J jnl
Summary Report of The First International Competition on Computational Models of Argumentation.
AI Mag.
Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati
2016 — —
Uncertainty and inconsistency in knowledge representation
Matthias Thimm
2016 — conf
Using Matrix Exponentials for Abstract Argumentation.
SAFA
Carl Corea, Matthias Thimm
2015 A* conf
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures.
IJCAI
Nico Potyka, Matthias Thimm
2015 J jnl
System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15).
CoRR
Matthias Thimm, Serena Villata
2015 J jnl
Towards Large-scale Inconsistency Measurement.
CoRR
Matthias Thimm
2014 C conf
A Benchmark Framework for a Computational Argumentation Competition.
COMMA
Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati
2014 A conf
Coherence and Compatibility of Markov Logic Networks.
ECAI
Matthias Thimm
2014 A conf
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization.
ECAI
Nico Potyka, Matthias Thimm
2014 — conf
Crowd Work CV: Recognition for Micro Work.
SocInfo Workshops
Cristina Sarasua, Matthias Thimm
2014 J jnl
DecLiNe - Models for Decay of Links in Networks.
CoRR
Julia Preusse, Jérôme Kunegis, Matthias Thimm, Sergej Sizov
2014 — conf
Ein erster Prototyp: Sicherheitsguide für Grundschulkinder beim Umgang mit dem Internet.
GI-Jahrestagung
Jana Fruth, Matthias Thimm, Sven Kuhlmann, Jana Dittmann
2014 — conf
IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ.
ESWC (Satellite Events)
Stefan Scheglmann, Ralf Lämmel, Martin Leinberger, Steffen Staab, Matthias Thimm, Evelyne Viegas
2014 C conf
On Controversiality of Arguments and Stratified Labelings.
COMMA
Matthias Thimm, Gabriele Kern-Isberner
2014 C conf
Probabilistic Argument Graphs for Argumentation Lotteries.
COMMA
Anthony Hunter, Matthias Thimm
2014 J jnl
Probabilistic Argumentation with Epistemic Extensions and Incomplete Information.
CoRR
Anthony Hunter, Matthias Thimm
2014 — conf
Probabilistic Argumentation with Epistemic Extensions.
DARe@ECAI
Anthony Hunter, Matthias Thimm
2014 A conf
Probabilistic Argumentation with Incomplete Information.
ECAI
Anthony Hunter, Matthias Thimm
2014 — conf
Property-based typing with LITEQ.
ISWC (Posters & Demos)
Stefan Scheglmann, Martin Leinberger, Ralf Lämmel, Steffen Staab, Matthias Thimm
2014 — conf
Semantic Web Application Development with LITEQ.
ISWC (2)
Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas
2014 Misc conf
Special Track on Uncertain Reasoning.
FLAIRS
Souhila Kaci, Matthias Thimm
2014 J jnl
Strategic Argumentation in Multi-Agent Systems.
Künstliche Intell.
Matthias Thimm
2014 — conf
The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases.
DEXA (1)
Rita Berardi, Marcelo Schiessl, Matthias Thimm, Marco A. Casanova
2014 Misc conf
Towards Large-Scale Inconsistency Measurement.
KI
Matthias Thimm
2014 A* conf
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation.
KR
Matthias Thimm
2013 J jnl
Inconsistency measures for probabilistic logics.
Artif. Intell.
Matthias Thimm
2013 Misc ed.
KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
KI
Ingo J. Timm, Matthias Thimm
2013 B conf
Locking for Concurrent Transactions on Ontologies.
ESWC
Stefan Scheglmann, Steffen Staab, Matthias Thimm, Gerd Gröner
2013 — conf
Microtask Available, Send us your CV!
CGC
Cristina Sarasua, Matthias Thimm
2013 — ed.
Multiagent System Technologies - 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings
MATES
Matthias Klusch, Matthias Thimm, Marcin Paprzycki
2013 A* conf
Opponent Models with Uncertainty for Strategic Argumentation.
IJCAI
Tjitze Rienstra, Matthias Thimm, Nir Oren
2013 J jnl
Stratified Labelings for Abstract Argumentation.
CoRR
Matthias Thimm, Gabriele Kern-Isberner
2013 A conf
Structural Dynamics of Knowledge Networks.
ICWSM
Julia Preusse, Jérôme Kunegis, Matthias Thimm, Steffen Staab, Thomas Gottron
2012 A conf
A Probabilistic Semantics for abstract Argumentation.
ECAI
Matthias Thimm
2012 A conf
A Ranking Semantics for First-Order Conditionals.
ECAI
Gabriele Kern-Isberner, Matthias Thimm
2012 J jnl
An integrated development environment for probabilistic relational reasoning.
Log. J. IGPL
Marc Finthammer, Matthias Thimm
2012 J jnl
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications.
Trans. Large Scale Data Knowl. Centered Syst.
Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm
2012 J jnl
Measuring Inconsistency in Probabilistic Knowledge Bases
CoRR
Matthias Thimm
2012 J jnl
On probabilistic inference in relational conditional logics.
Log. J. IGPL
Matthias Thimm, Gabriele Kern-Isberner
2012 — book
Probabilistic Reasoning with Incomplete and Inconsistent Beliefs.
Matthias Thimm
2012 B conf
Ranking RDF with Provenance via Preference Aggregation.
EKAW
Renata Queiroz Dividino, Gerd Gröner, Stefan Scheglmann, Matthias Thimm
2012 — conf
SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data.
ISWC (1)
Olaf Görlitz, Matthias Thimm, Steffen Staab
2012 J jnl
Selective revision with multiple informants and argumentative support.
Inteligencia Artif.
Luciano Héctor Tamargo, Alejandro Javier García, Matthias Thimm, Patrick Krümpelmann
2011 J jnl
Argonauts: a working system for motivated cooperative agents.
Ann. Math. Artif. Intell.
Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner
2011 Misc conf
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation.
KI
Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
2011 — conf
Motivating Agents in Unreliable Environments: A Computational Model.
MATES
Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch
2011 B conf
On Influence and Contractions in Defeasible Logic Programming.
LPNMR
Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García
2011 — conf
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications.
DEXA (1)
Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm
2011 C conf
Relational Probabilistic Conditional Reasoning at Maximum Entropy.
ECSQARU
Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler
2011 — conf
Selective Revision by Deductive Argumentation.
TAFA
Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2010 Misc conf
A System for Relational Probabilistic Reasoning on Maximum Entropy.
FLAIRS
Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle
2010 A conf
Automated Reasoning for Relational Probabilistic Knowledge Representation.
IJCAR
Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm
2010 A conf
Classification and strategical issues of argumentation games on structured argumentation frameworks.
AAMAS
Matthias Thimm, Alejandro Javier García
2010 A* conf
Novel Semantical Approaches to Relational Probabilistic Conditionals.
KR
Gabriele Kern-Isberner, Matthias Thimm
2010 — conf
On Strategic Argument Selection in Structured Argumentation Systems.
ArgMAS
Matthias Thimm, Alejandro Javier García
2010 C conf
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
COMMA
Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm
2009 — conf
Know-how for motivated BDI agents.
AAMAS (2)
Matthias Thimm, Patrick Krümpelmann
2009 A conf
Measuring Inconsistency in Probabilistic Knowledge Bases.
UAI
Matthias Thimm
2009 Misc conf
Mining Default Rules from Statistical Data.
FLAIRS
Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler
2009 — conf
Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming.
ArgMAS
Matthias Thimm
2008 C conf
A Distributed Argumentation Framework using Defeasible Logic Programming.
COMMA
Matthias Thimm, Gabriele Kern-Isberner
2008 — conf
Belief operations for motivated BDI agents.
AAMAS (1)
Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner
2008 C conf
On the Relationship of Defeasible Argumentation and Answer Set Programming.
COMMA
Matthias Thimm, Gabriele Kern-Isberner
2008 — conf
Qualitative Knowledge Discovery.
SDKB
Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer