Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthias Thimm
Person information
- affiliation: Universität Koblenz-Landau, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j36]Jesse Heyninck
, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artif. Intell. 317: 103876 (2023)- [j35]Jesse Heyninck, Kenneth Skiba, Matthias Thimm:
Preface for the special issue on argument strength. Argument Comput. 14(3): 245-246 (2023) - [c109]Matthias Thimm:
On Undisputed Sets in Abstract Argumentation. AAAI 2023: 6550-6557 - [c108]Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo:
MaxSAT-Based Inconsistency Measurement. ECAI 2023: 1779-1786 - [c107]Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner:
Ranking-based Semantics for Assumption-based Argumentation. FCR@KI 2023: 44-52 - [c106]Isabelle Kuhlmann, Matthias Thimm:
A Discussion of Challenges in Benchmark Generation for Abstract Argumentation. Arg&App@KR 2023: 78-84 - [c105]Lydia Blümel, Matthias Thimm:
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. KR 2023: 107-116 - [c104]Lars Bengel, Matthias Thimm:
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. KR 2023: 732-736 - [e15]Kai Sauerwald, Matthias Thimm:
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. CEUR Workshop Proceedings 3464, CEUR-WS.org 2023 [contents] - [i15]Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm:
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement. CoRR abs/2304.14832 (2023) - 2022
- [j34]Matthias Thimm:
Revisiting initial sets in abstract argumentation. Argument Comput. 13(3): 325-360 (2022) - [c103]Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba:
Conditional Abstract Dialectical Frameworks. AAAI 2022: 5692-5699 - [c102]Carl Corea, John Grant, Matthias Thimm:
Measuring Inconsistency in Declarative Process Specifications. BPM 2022: 289-306 - [c101]Lars Bengel, Lydia Blümel, Tjitze Rienstra, Matthias Thimm:
Argumentation-based Causal and Counterfactual Reasoning. ArgXAI@COMMA 2022 - [c100]Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner:
Realisability of Rankings-based Semantics. SAFA@COMMA 2022: 73-85 - [c99]Lars Bengel, Matthias Thimm:
Serialisable Semantics for Abstract Argumentation. COMMA 2022: 80-91 - [c98]Jonas Klein, Isabelle Kuhlmann, Matthias Thimm:
Graph Neural Networks for Algorithm Selection in Abstract Argumentation. ArgML@COMMA 2022: 81-95 - [c97]Lydia Blümel, Matthias Thimm:
A Ranking Semantics for Abstract Argumentation Based on Serialisability. COMMA 2022: 104-115 - [c96]Lukas Kinder, Matthias Thimm, Bart Verheij:
A Labeling Based Backtracking Solver for Abstract Argumentation. SAFA@COMMA 2022: 111-123 - [c95]Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm:
On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation. COMMA 2022: 224-235 - [c94]Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm:
Explaining Argument Acceptance in ADFs. ArgXAI@COMMA 2022 - [c93]Kenneth Skiba, Matthias Thimm:
Ordinal Conditional Functions for Abstract Argumentation. COMMA 2022: 308-319 - [c92]Jonas Klein, Matthias Thimm:
probo2: A Benchmark Framework for Argumentation Solvers. COMMA 2022: 363-364 - [c91]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI 2022: 2655-2661 - [c90]Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm:
A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure. SUM 2022: 139-153 - [e14]Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes Peter Wallner:
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. CEUR Workshop Proceedings 3236, CEUR-WS.org 2022 [contents] - [e13]Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner:
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. CEUR Workshop Proceedings 3251, CEUR-WS.org 2022 [contents] - [e12]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm:
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. CEUR Workshop Proceedings 3242, CEUR-WS.org 2022 [contents] - [i14]Matthias Thimm:
Revisiting initial sets in abstract argumentation. CoRR abs/2204.09985 (2022) - [i13]Carl Corea, John Grant, Matthias Thimm:
Measuring Inconsistency in Declarative Process Specifications. CoRR abs/2206.07080 (2022) - 2021
- [j33]Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba:
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Ann. Math. Artif. Intell. 89(10-11): 1075-1099 (2021) - [j32]Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm:
Preface. FLAP 8(6): 1335-1338 (2021) - [c89]Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner:
Ranking Extensions in Abstract Argumentation. IJCAI 2021: 2047-2053 - [c88]Matthias Thimm, Federico Cerutti, Mauro Vallati:
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions. IJCAI 2021: 2069-2075 - [c87]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Revision and Conditional Inference for Abstract Dialectical Frameworks. KR 2021: 345-355 - [c86]Jandson S. Ribeiro, Matthias Thimm:
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. KR 2021: 529-538 - [c85]Carl Corea, Matthias Thimm, Patrick Delfmann:
Measuring Inconsistency over Sequences of Business Rule Cases. KR 2021: 655-660 - [c84]Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm:
Distinguishability in Abstract Argumentation. KR 2021: 686-690 - [c83]Elina Unruh, Patrick Delfmann, Matthias Thimm:
Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures. CBI (1) 2021: 42-51 - [e11]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
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. CEUR Workshop Proceedings 2961, CEUR-WS.org 2021 [contents] - [i12]Carl Corea, Matthias Thimm, Patrick Delfmann:
Measuring Inconsistency over Sequences of Business Rule Cases. CoRR abs/2103.01108 (2021) - [i11]Matthias Thimm, Federico Cerutti, Mauro Vallati:
Fudge: A light-weight solver for abstract argumentation based on SAT reductions. CoRR abs/2109.03106 (2021) - 2020
- [j31]Anthony Hunter, Sylwia Polberg, Matthias Thimm:
Epistemic graphs for representing and reasoning with positive and negative influences of arguments. Artif. Intell. 281: 103236 (2020) - [j30]Carl Corea, Matthias Thimm:
On quasi-inconsistency and its complexity. Artif. Intell. 284: 103276 (2020) - [j29]Markus Ulbricht, Matthias Thimm, Gerhard Brewka:
Handling and measuring inconsistency in non-monotonic logics. Artif. Intell. 286: 103344 (2020) - [j28]Federico Cerutti, Matthias Thimm, Mauro Vallati:
An experimental analysis on the similarity of argumentation semantics. Argument Comput. 11(3): 269-304 (2020) - [j27]Xiaoting Shao, Tjitze Rienstra, Matthias Thimm, Kristian Kersting:
Towards Understanding and Arguing with Classifiers: Recent Progress. Datenbank-Spektrum 20(2): 171-180 (2020) - [c82]Matthias Thimm, Tjitze Rienstra:
Approximate Reasoning with ASPIC+ by Argument Sampling. SAFA@COMMA 2020: 22-33 - [c81]Jonas Klein, Matthias Thimm:
Revisiting SAT Techniques for Abstract Argumentation. COMMA 2020: 251-262 - [c80]Kenneth Skiba, Matthias Thimm, Andrea Cohen, Sebastian Gottifredi, Alejandro Javier García:
Abstract Argumentation Frameworks with Fallible Evidence. COMMA 2020: 347-354 - [c79]Matthias Thimm, Federico Cerutti, Mauro Vallati:
On Computing the Set of Acceptable Arguments in Abstract Argumentation. COMMA 2020: 363-370 - [c78]Carl Corea, Matthias Thimm:
Towards Inconsistency Measurement in Business Rule Bases. ECAI 2020: 704-711 - [c77]Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm:
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. FLAIRS 2020: 575-580 - [c76]Tjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao:
Independence and D-separation in Abstract Argumentation. KR 2020: 713-722 - [c75]Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm:
Measuring Disagreement with Interpolants. SUM 2020: 84-97 - [c74]Xiaoting Shao, Zhongjie Yu, Arseny Skryagin, Tjitze Rienstra, Matthias Thimm, Kristian Kersting:
Modelling Multivariate Ranking Functions with Min-Sum Networks. SUM 2020: 281-288 - [c73]Isabelle Kuhlmann, Matthias Thimm:
An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming. SUM 2020: 289-296 - [e10]Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati:
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. CEUR Workshop Proceedings 2672, CEUR-WS.org 2020 [contents] - [e9]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
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. CEUR Workshop Proceedings 2680, CEUR-WS.org 2020 [contents] - [i10]Kenneth Skiba, Matthias Thimm:
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics. CoRR abs/2008.02735 (2020)
2010 – 2019
- 2019
- [j26]Gerhard Brewka, Matthias Thimm, Markus Ulbricht:
Strong inconsistency. Artif. Intell. 267: 78-117 (2019) - [j25]Matthias Thimm, Johannes Peter Wallner:
On the complexity of inconsistency measurement. Artif. Intell. 275: 411-456 (2019) - [j24]Federico Cerutti, Matthias Thimm:
A general approach to reasoning with probabilities. Int. J. Approx. Reason. 111: 35-50 (2019) - [c72]Matthias Thimm:
Algorithmic Approaches to Computational Models of Argumentation. FQAS 2019: 18-21 - [c71]Matthias Thimm:
An Experimental Study on the Behaviour of Inconsistency Measures. SUM 2019: 1-8 - [c70]Matthias Thimm:
Inconsistency Measurement. SUM 2019: 9-23 - [c69]Isabelle Kuhlmann, Matthias Thimm:
Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study. SUM 2019: 24-37 - [e8]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
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. CEUR Workshop Proceedings 2445, CEUR-WS.org 2019 [contents] - [i9]Carl Corea, Matthias Thimm:
Towards Inconsistency Measurement in Business Rule Bases. CoRR abs/1911.08872 (2019) - 2018
- [j23]Mehdi Teymourlouie, Ahmad Zaeri, Mohammadali Nematbakhsh, Matthias Thimm, Steffen Staab:
Detecting hidden errors in an ontology using contextual knowledge. Expert Syst. Appl. 95: 312-323 (2018) - [j22]Daniel Janke, Steffen Staab, Matthias Thimm:
Impact analysis of data placement strategies on query efforts in distributed RDF stores. J. Web Semant. 50: 21-48 (2018) - [c68]Markus Ulbricht, Matthias Thimm, Gerhard Brewka:
Measuring Strong Inconsistency. AAAI 2018: 1989-1996 - [c67]Matthias Thimm, Sylwia Polberg, Anthony Hunter:
Epistemic Attack Semantics. COMMA 2018: 37-48 - [c66]Matthias Thimm:
Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics. COMMA 2018: 169-180 - [c65]Matthias Thimm, Federico Cerutti, Tjitze Rienstra:
Probabilistic Graded Semantics. COMMA 2018: 369-380 - [c64]Tjitze Rienstra, Matthias Thimm:
Ranking Functions over Labelings. COMMA 2018: 393-404 - [c63]Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre:
Probabilistic Abstract Argumentation Based on SCC Decomposability. KR 2018: 168-177 - [c62]Federico Cerutti, Matthias Thimm:
A General Approach to Reasoning with Probabilities - Extended Abstract. KR 2018: 629-630 - [e7]Matthias Thimm, Federico Cerutti, Mauro Vallati:
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. CEUR Workshop Proceedings 2171, CEUR-WS.org 2018 [contents] - [e6]Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
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. CEUR Workshop Proceedings 2194, CEUR-WS.org 2018 [contents] - [i8]Anthony Hunter, Sylwia Polberg, Matthias Thimm:
Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments. CoRR abs/1802.07489 (2018) - 2017
- [j21]Matthias Thimm, Serena Villata:
The first international competition on computational models of argumentation: Results and analysis. Artif. Intell. 252: 267-294 (2017) - [j20]Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Ricardo Simari, Matthias Thimm, Serena Villata:
Towards Artificial Argumentation. AI Mag. 38(3): 25-36 (2017) - [j19]Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner:
Foundations of Implementations for Formal Argumentation. FLAP 4(8) (2017) - [j18]Matthias Thimm:
Measuring inconsistency with many-valued logics. Int. J. Approx. Reason. 86: 1-23 (2017) - [j17]Nico Potyka, Matthias Thimm:
Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. Int. J. Approx. Reason. 88: 209-236 (2017) - [j16]Anthony Hunter, Matthias Thimm:
Probabilistic Reasoning with Abstract Argumentation Frameworks. J. Artif. Intell. Res. 59: 565-611 (2017) - [j15]Souhila Kaci, Robert Mercer, Matthias Thimm:
Editorial. J. Appl. Log. 22: 1-2 (2017) - [j14]Matthias Thimm:
On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. Künstliche Intell. 31(1): 31-39 (2017) - [j13]Matthias Thimm:
The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. Künstliche Intell. 31(1): 93-97 (2017) - [c61]Cristina Sarasua, Steffen Staab, Matthias Thimm:
Methods for Intrinsic Evaluation of Links in the Web of Data. ESWC (1) 2017: 68-84 - [c60]Gerhard Brewka, Matthias Thimm, Markus Ulbricht:
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI 2017: 901-907 - [c59]Matthias Thimm:
On the Expressivity of Inconsistency Measures (Extended Abstract). IJCAI 2017: 5070-5074 - [c58]Daniel Janke, Steffen Staab, Matthias Thimm:
Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. BLINK/NLIWoD3@ISWC 2017 - [c57]Daniel Janke, Steffen Staab, Matthias Thimm:
Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. ISWC (Posters, Demos & Industry Tracks) 2017 - [c56]Daniel Janke, Steffen Staab, Matthias Thimm:
On data placement strategies in distributed RDF stores. SBD@SIGMOD 2017: 1:1-1:6 - [c55]Sylwia Polberg, Anthony Hunter, Matthias Thimm:
Belief in Attacks in Epistemic Probabilistic Argumentation. SUM 2017: 223-236 - [c54]Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig:
Probabilities on Extensions in Abstract Argumentation. TAFA 2017: 102-119 - [c53]Matthias Thimm:
The Formal Argumentation Libraries of Tweety. TAFA 2017: 137-142 - [c52]Nils Geilen, Matthias Thimm:
Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation. TAFA 2017: 143-149 - [e5]Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm:
KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings. Lecture Notes in Computer Science 10505, Springer 2017, ISBN 978-3-319-67189-5 [contents] - 2016
- [j12]Matthias Thimm:
On the expressivity of inconsistency measures. Artif. Intell. 234: 120-151 (2016) - [j11]Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati:
Summary Report of The First International Competition on Computational Models of Argumentation. AI Mag. 37(1): 102 (2016) - [j10]Matthias Thimm, Dov M. Gabbay:
Editorial Preface. FLAP 3(2): 175-176 (2016) - [j9]Matthias Thimm:
Stream-based inconsistency measurement. Int. J. Approx. Reason. 68: 68-87 (2016) - [j8]Anthony Hunter, Matthias Thimm:
Optimization of dialectical outcomes in dialogical argumentation. Int. J. Approx. Reason. 78: 73-102 (2016) - [c51]Christoph Beierle, Gerhard Brewka, Matthias Thimm:
A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence. Computational Models of Rationality 2016: 1-22 - [c50]Carl Corea, Matthias Thimm:
Using Matrix Exponentials for Abstract Argumentation. SAFA@COMMA 2016: 10-21 - [c49]Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt:
Group Decision Making via Probabilistic Belief Merging. IJCAI 2016: 3623-3629 - [c48]Markus Ulbricht, Matthias Thimm, Gerhard Brewka:
Measuring Inconsistency in Answer Set Programs. JELIA 2016: 577-583 - [c47]Anthony Hunter, Matthias Thimm:
On Partial Information and Contradictions in Probabilistic Abstract Argumentation. KR 2016: 53-62 - [c46]Matthias Thimm, Johannes Peter Wallner:
Some Complexity Results on Inconsistency Measurement. KR 2016: 114-124 - [e4]Christoph Beierle, Gerhard Brewka, Matthias Thimm:
Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. College Publications 2016, ISBN 978-1-84890-198-8 [contents] - [e3]Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati:
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. CEUR Workshop Proceedings 1672, CEUR-WS.org 2016 [contents] - [i7]Sarah Alice Gaggl, Matthias Thimm:
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16). CoRR abs/1608.02441 (2016) - 2015
- [c45]Nico Potyka, Matthias Thimm:
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. IJCAI 2015: 3156-3163 - [i6]Matthias Thimm:
Towards Large-scale Inconsistency Measurement. CoRR abs/1505.05375 (2015) - [i5]Matthias Thimm, Serena Villata:
System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15). CoRR abs/1510.05373 (2015) - 2014
- [j7]