Matthias Thimm
Orcid: 0000-0002-8157-1053Affiliations:
- University of Hagen, Germany
- Universität Koblenz-Landau, Germany (former)
According to our database1,
Matthias Thimm
authored at least 162 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Paraconsistent reasoning for inconsistency measurement in declarative process specifications.
Inf. Syst., 2024
CoRR, 2024
Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation.
Proceedings of the Robust Argumentation Machines - First International Conference, 2024
Proceedings of the Robust Argumentation Machines - First International Conference, 2024
Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study.
Proceedings of the Robust Argumentation Machines - First International Conference, 2024
Proceedings of the Robust Argumentation Machines - First International Conference, 2024
2023
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.
Artif. Intell., April, 2023
CoRR, 2023
Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
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), 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the 1st Workshop on Argumentation & Machine Learning co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
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), 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
Proceedings of the Business Process Management - 20th International Conference, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
CoRR, 2021
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics.
Ann. Math. Artif. Intell., 2021
Proceedings of the 23rd IEEE Conference on Business Informatics, 2021
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
2020
Datenbank-Spektrum, 2020
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics.
CoRR, 2020
Argument Comput., 2020
Epistemic graphs for representing and reasoning with positive and negative influences of arguments.
Artif. Intell., 2020
Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020
Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020
An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming.
Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics.
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
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), 2020
Proceedings of the Computational Models of Argument, 2020
Proceedings of the Computational Models of Argument, 2020
Proceedings of the Computational Models of Argument, 2020
2019
Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019
Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019
Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study.
Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019
2018
Impact analysis of data placement strategies on query efforts in distributed RDF stores.
J. Web Semant., 2018
Expert Syst. Appl., 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Computational Models of Argument, 2018
Proceedings of the Computational Models of Argument, 2018
Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics.
Proceedings of the Computational Models of Argument, 2018
Proceedings of the Computational Models of Argument, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation.
Künstliche Intell., 2017
On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture.
Künstliche Intell., 2017
J. Artif. Intell. Res., 2017
Int. J. Approx. Reason., 2017
The first international competition on computational models of argumentation: Results and analysis.
Artif. Intell., 2017
Proceedings of the Theory and Applications of Formal Argumentation, 2017
Proceedings of the Theory and Applications of Formal Argumentation, 2017
Proceedings of the Theory and Applications of Formal Argumentation, 2017
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017
Proceedings of The International Workshop on Semantic Big Data, 2017
Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores.
Proceedings of the Joint Proceedings of BLINK2017: 2nd International Workshop on Benchmarking Linked Data and NLIWoD3: Natural Language Interfaces for the Web of Data co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21st - to, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Semantic Web - 14th International Conference, 2017
2016
Int. J. Approx. Reason., 2016
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16).
CoRR, 2016
Summary Report of The First International Competition on Computational Models of Argumentation.
AI Mag., 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
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), 2016
A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence.
Proceedings of the Computational Models of Rationality, 2016
2015
System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15).
CoRR, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
CoRR, 2014
Proceedings of the Social Informatics - SocInfo 2014 International Workshops, Barcelona, 2014
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014
Proceedings of the Semantic Web - ISWC 2014, 2014
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014
Ein erster Prototyp: Sicherheitsguide für Grundschulkinder beim Umgang mit dem Internet.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014
Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014
Proceedings of the Semantic Web: ESWC 2014 Satellite Events, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases.
Proceedings of the Database and Expert Systems Applications, 2014
Proceedings of the Computational Models of Argument, 2014
Proceedings of the Computational Models of Argument, 2014
Proceedings of the Computational Models of Argument, 2014
2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Seventh International Conference on Weblogs and Social Media, 2013
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013
Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013
2012
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications.
Trans. Large Scale Data Knowl. Centered Syst., 2012
Log. J. IGPL, 2012
Inteligencia Artif., 2012
Proceedings of the Semantic Web - ISWC 2012, 2012
Proceedings of the Knowledge Engineering and Knowledge Management, 2012
Proceedings of the ECAI 2012, 2012
DISKI 336, AKA, ISBN: 978-3-89838-336-3, 2012
2011
Ann. Math. Artif. Intell., 2011
Proceedings of the Theorie and Applications of Formal Argumentation, 2011
Proceedings of the Multiagent System Technologies - 9th German Conference, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation.
Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications.
Proceedings of the Database and Expert Systems Applications, 2011
2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
Classification and strategical issues of argumentation games on structured argumentation frameworks.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010
2009
Proceedings of the UAI 2009, 2009
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009
Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009
2008
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008