![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Matthias Thimm
Person information
- affiliation: University of Hagen, Germany
- affiliation (former): Universität Koblenz-Landau, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2012
- [b1]Matthias Thimm:
Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. DISKI 336, AKA 2012, ISBN 978-3-89838-336-3, pp. I-XIII, 1-336
Journal Articles
- 2024
- [j40]Lars Bengel, Matthias Thimm, Tjitze Rienstra:
Learning argumentation frameworks from labelings. Argument Comput. 15(2): 121-159 (2024) - [j39]Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant:
Paraconsistent reasoning for inconsistency measurement in declarative process specifications. Inf. Syst. 122: 102347 (2024) - 2023
- [j38]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) - [j37]Jesse Heyninck, Kenneth Skiba, Matthias Thimm:
Preface for the special issue on argument strength. Argument Comput. 14(3): 245-246 (2023) - [j36]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Joining Formal and Cognitive Reasoning. FLAP 10(2): 115-119 (2023) - [j35]Jandson S. Ribeiro, Matthias Thimm:
Measuring Inconsistency with the Tableau Method. FLAP 10(5): 643-691 (2023) - 2022
- [j34]Matthias Thimm:
Revisiting initial sets in abstract argumentation. Argument Comput. 13(3): 325-360 (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) - 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) - 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) - 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) - 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) - 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) - 2014
- [j7]Matthias Thimm:
Strategic Argumentation in Multi-Agent Systems. Künstliche Intell. 28(3): 159-168 (2014) - 2013
- [j6]Matthias Thimm:
Inconsistency measures for probabilistic logics. Artif. Intell. 197: 1-24 (2013) - 2012
- [j5]Luciano Héctor Tamargo, Alejandro Javier García, Matthias Thimm, Patrick Krümpelmann:
Selective revision with multiple informants and argumentative support. Inteligencia Artif. 15(50): 4-17 (2012) - [j4]Marc Finthammer, Matthias Thimm:
An integrated development environment for probabilistic relational reasoning. Log. J. IGPL 20(5): 831-871 (2012) - [j3]Matthias Thimm, Gabriele Kern-Isberner:
On probabilistic inference in relational conditional logics. Log. J. IGPL 20(5): 872-908 (2012) - [j2]Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm:
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Trans. Large Scale Data Knowl. Centered Syst. 6: 31-75 (2012) - 2011
- [j1]Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner:
Argonauts: a working system for motivated cooperative agents. Ann. Math. Artif. Intell. 61(4): 309-332 (2011)
Conference and Workshop Papers
- 2024
- [c113]Jonas Klein
, Isabelle Kuhlmann
, Matthias Thimm
:
Cluster-Specific Rule Mining for Argumentation-Based Classification. RATIO 2024: 57-67 - [c112]Sandra Hoffmann
, Isabelle Kuhlmann
, Matthias Thimm
:
Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study. RATIO 2024: 185-201 - [c111]Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner:
Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation. RATIO 2024: 202-220 - [c110]Lars Bengel, Lydia Blümel, Tjitze Rienstra, Matthias Thimm:
Argumentation-Based Probabilistic Causal Reasoning. RATIO 2024: 221-236 - 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 - 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]Kenneth Skiba, Matthias Thimm:
Ordinal Conditional Functions for Abstract Argumentation. COMMA 2022: 308-319 - [c93]Jonas Klein, Matthias Thimm:
probo2: A Benchmark Framework for Argumentation Solvers. COMMA 2022: 363-364 - [c92]Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm:
Explaining Argument Acceptance in ADFs. ArgXAI@COMMA 2022 - [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 - 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 - 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 - 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 - 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 - 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 - 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 - 2015
- [c45]Nico Potyka, Matthias Thimm:
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. IJCAI 2015: 3156-3163 - 2014
- [c44]Anthony Hunter
, Matthias Thimm:
Probabilistic Argument Graphs for Argumentation Lotteries. COMMA 2014: 313-324 - [c43]Matthias Thimm, Gabriele Kern-Isberner:
On Controversiality of Arguments and Stratified Labelings. COMMA 2014: 413-420 - [c42]Federico Cerutti
, Nir Oren
, Hannes Strass, Matthias Thimm, Mauro Vallati
:
A Benchmark Framework for a Computational Argumentation Competition. COMMA 2014: 459-460 - [c41]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. DEXA (1) 2014: 385-393 - [c40]Anthony Hunter, Matthias Thimm:
Probabilistic Argumentation with Epistemic Extensions. DARe@ECAI 2014 - [c39]Nico Potyka
, Matthias Thimm:
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. ECAI 2014: 729-734 - [c38]Matthias Thimm:
Coherence and Compatibility of Markov Logic Networks. ECAI 2014: 891-896 - [c37]Anthony Hunter
, Matthias Thimm:
Probabilistic Argumentation with Incomplete Information. ECAI 2014: 1033-1034 - [c36]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. ESWC (Satellite Events) 2014: 505-510 - [c35]Souhila Kaci, Matthias Thimm:
Special Track on Uncertain Reasoning. FLAIRS 2014 - [c34]Jana Fruth, Matthias Thimm, Sven Kuhlmann, Jana Dittmann:
Ein erster Prototyp: Sicherheitsguide für Grundschulkinder beim Umgang mit dem Internet. GI-Jahrestagung 2014: 2081-2092 - [c33]Matthias Thimm:
Towards Large-Scale Inconsistency Measurement. KI 2014: 195-206 - [c32]Matthias Thimm:
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. KR 2014 - [c31]Stefan Scheglmann, Martin Leinberger, Ralf Lämmel, Steffen Staab, Matthias Thimm:
Property-based typing with LITEQ. ISWC (Posters & Demos) 2014: 149-152 - [c30]Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas:
Semantic Web Application Development with LITEQ. ISWC (2) 2014: 212-227 - [c29]Cristina Sarasua, Matthias Thimm:
Crowd Work CV: Recognition for Micro Work. SocInfo Workshops 2014: 429-437 - 2013
- [c28]Cristina Sarasua, Matthias Thimm:
Microtask Available, Send us your CV! CGC 2013: 521-524 - [c27]Stefan Scheglmann, Steffen Staab, Matthias Thimm, Gerd Gröner:
Locking for Concurrent Transactions on Ontologies. ESWC 2013: 94-108 - [c26]Julia Preusse, Jérôme Kunegis, Matthias Thimm, Steffen Staab, Thomas Gottron:
Structural Dynamics of Knowledge Networks. ICWSM 2013 - [c25]Tjitze Rienstra, Matthias Thimm, Nir Oren:
Opponent Models with Uncertainty for Strategic Argumentation. IJCAI 2013: 332-338 - 2012
- [c24]Gabriele Kern-Isberner, Matthias Thimm:
A Ranking Semantics for First-Order Conditionals. ECAI 2012: 456-461 - [c23]Matthias Thimm:
A Probabilistic Semantics for abstract Argumentation. ECAI 2012: 750-755 - [c22]Renata Queiroz Dividino, Gerd Gröner, Stefan Scheglmann, Matthias Thimm:
Ranking RDF with Provenance via Preference Aggregation. EKAW 2012: 154-163 - [c21]Olaf Görlitz, Matthias Thimm, Steffen Staab:
SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. ISWC (1) 2012: 116-132 - 2011
- [c20]Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm:
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. DEXA (1) 2011: 27-46 - [c19]Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler
:
Relational Probabilistic Conditional Reasoning at Maximum Entropy. ECSQARU 2011: 447-458 - [c18]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm:
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. KI 2011: 63-74 - [c17]Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa
, Alejandro Javier García:
On Influence and Contractions in Defeasible Logic Programming. LPNMR 2011: 199-204 - [c16]Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch:
Motivating Agents in Unreliable Environments: A Computational Model. MATES 2011: 65-76 - [c15]Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa
, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Selective Revision by Deductive Argumentation. TAFA 2011: 147-162 - 2010
- [c14]Matthias Thimm, Alejandro Javier García:
On Strategic Argument Selection in Structured Argumentation Systems. ArgMAS 2010: 286-305 - [c13]Matthias Thimm, Alejandro Javier García:
Classification and strategical issues of argumentation games on structured argumentation frameworks. AAMAS 2010: 1247-1254 - [c12]Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm:
Automated Reasoning for Relational Probabilistic Knowledge Representation. IJCAR 2010: 218-224 - [c11]Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm:
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. COMMA 2010: 87-98 - [c10]Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle:
A System for Relational Probabilistic Reasoning on Maximum Entropy. FLAIRS 2010 - [c9]Gabriele Kern-Isberner, Matthias Thimm:
Novel Semantical Approaches to Relational Probabilistic Conditionals. KR 2010 - 2009
- [c8]Matthias Thimm:
Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming. ArgMAS 2009: 175-194 - [c7]Matthias Thimm, Patrick Krümpelmann:
Know-how for motivated BDI agents. AAMAS (2) 2009: 1143-1144 - [c6]Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler:
Mining Default Rules from Statistical Data. FLAIRS 2009 - [c5]Matthias Thimm:
Measuring Inconsistency in Probabilistic Knowledge Bases. UAI 2009: 530-537 - 2008
- [c4]Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner:
Belief operations for motivated BDI agents. AAMAS (1) 2008: 421-428 - [c3]Matthias Thimm, Gabriele Kern-Isberner:
A Distributed Argumentation Framework using Defeasible Logic Programming. COMMA 2008: 381-392 - [c2]Matthias Thimm, Gabriele Kern-Isberner:
On the Relationship of Defeasible Argumentation and Answer Set Programming. COMMA 2008: 393-404 - [c1]Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer:
Qualitative Knowledge Discovery. SDKB 2008: 77-102
Editorship
- 2023
- [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] - 2022
- [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] - 2021
- [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] - 2020
- [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] - 2019
- [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] - 2018
- [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] - 2017
- [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
- [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] - 2013
- [e2]Ingo J. Timm, Matthias Thimm:
KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Lecture Notes in Computer Science 8077, Springer 2013, ISBN 978-3-642-40941-7 [contents] - [e1]Matthias Klusch, Matthias Thimm, Marcin Paprzycki:
Multiagent System Technologies - 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings. Lecture Notes in Computer Science 8076, Springer 2013, ISBN 978-3-642-40775-8 [contents]
Informal and Other Publications
- 2024
- [i16]Kai Sauerwald, Matthias Thimm:
The Realizability of Revision and Contraction Operators in Epistemic Spaces. CoRR abs/2407.20918 (2024) - 2023
- [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
- [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
- [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
- [i10]Kenneth Skiba, Matthias Thimm:
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics. CoRR abs/2008.02735 (2020) - 2019
- [i9]Carl Corea, Matthias Thimm:
Towards Inconsistency Measurement in Business Rule Bases. CoRR abs/1911.08872 (2019) - 2018
- [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) - 2016
- [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
- [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
- [i4]Julia Preusse, Jérôme Kunegis, Matthias Thimm, Sergej Sizov:
DecLiNe - Models for Decay of Links in Networks. CoRR abs/1403.4415 (2014) - [i3]Anthony Hunter, Matthias Thimm:
Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. CoRR abs/1405.3376 (2014) - 2013
- [i2]Matthias Thimm, Gabriele Kern-Isberner:
Stratified Labelings for Abstract Argumentation. CoRR abs/1308.0807 (2013) - 2012
- [i1]Matthias Thimm:
Measuring Inconsistency in Probabilistic Knowledge Bases. CoRR abs/1205.2613 (2012)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint