Matthias Thimm
62 publications
11 venues
H Index 19
Affiliation
University of Hagen, GermanyUniversit t Koblenz-Landau, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation.
|
KR | 2025 | 0 |
| Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming.
|
KR | 2025 | 0 |
| On Independence and SCC-Recursiveness in Assumption-Based Argumentation.
|
IJCAI | 2025 | 0 |
| A Framework for Inconsistency-tolerant Reasoning with Sets of Models.
|
KR | 2025 | 0 |
| Sequence Explanations for Acceptance in Abstract Argumentation.
|
KR | 2025 | 0 |
| Initial Models and Serialisability in Abstract Dialectical Frameworks.
|
IJCAI | 2025 | 0 |
| Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement.
|
JAIR | 2025 | 0 |
| Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility.
|
KR | 2024 | 0 |
| The Realizability of Revision and Contraction Operators in Epistemic Spaces.
|
KR | 2024 | 4 |
| Characterising Serialisation Equivalence for Abstract Argumentation.
|
ECAI | 2024 | 2 |
| Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics.
|
IJCAI | 2024 | 4 |
| Revisiting Vacuous Reduct Semantics for Abstract Argumentation.
|
ECAI | 2024 | 0 |
| Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation.
|
KR | 2023 | 1 |
| On Undisputed Sets in Abstract Argumentation.
|
AAAI | 2023 | 5 |
| Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.
|
Artificial Intelligence | 2023 | 4 |
| MaxSAT-Based Inconsistency Measurement.
|
ECAI | 2023 | 1 |
| Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics.
|
KR | 2023 | 5 |
| Possibilistic Logic Underlies Abstract Dialectical Frameworks.
|
IJCAI | 2022 | 5 |
| Conditional Abstract Dialectical Frameworks.
|
AAAI | 2022 | 3 |
| Revision and Conditional Inference for Abstract Dialectical Frameworks.
|
KR | 2021 | 1 |
| Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions.
|
IJCAI | 2021 | 10 |
| Measuring Inconsistency over Sequences of Business Rule Cases.
|
KR | 2021 | 4 |
| Ranking Extensions in Abstract Argumentation.
|
IJCAI | 2021 | 14 |
| Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability.
|
KR | 2021 | 14 |
| Distinguishability in Abstract Argumentation.
|
KR | 2021 | 1 |
| Independence and D-separation in Abstract Argumentation.
|
KR | 2020 | 4 |
| Handling and measuring inconsistency in non-monotonic logics.
|
Artificial Intelligence | 2020 | 13 |
| On quasi-inconsistency and its complexity.
|
Artificial Intelligence | 2020 | 6 |
| Towards Inconsistency Measurement in Business Rule Bases.
|
ECAI | 2020 | 0 |
| Epistemic graphs for representing and reasoning with positive and negative influences of arguments.
|
Artificial Intelligence | 2020 | 0 |
| Strong inconsistency.
|
Artificial Intelligence | 2019 | 27 |
| On the complexity of inconsistency measurement.
|
Artificial Intelligence | 2019 | 33 |
| Probabilistic Abstract Argumentation Based on SCC Decomposability.
|
KR | 2018 | 12 |
| A General Approach to Reasoning with Probabilities - Extended Abstract.
|
KR | 2018 | 2 |
| Measuring Strong Inconsistency.
|
AAAI | 2018 | 10 |
| Methods for Intrinsic Evaluation of Links in the Web of Data.
|
ESWC | 2017 | 9 |
| The first international competition on computational models of argumentation: Results and analysis.
|
Artificial Intelligence | 2017 | 74 |
| Probabilistic Reasoning with Abstract Argumentation Frameworks.
|
JAIR | 2017 | 94 |
| Strong Inconsistency in Nonmonotonic Reasoning.
|
IJCAI | 2017 | 12 |
| On the Expressivity of Inconsistency Measures (Extended Abstract).
|
IJCAI | 2017 | 0 |
| On Partial Information and Contradictions in Probabilistic Abstract Argumentation.
|
KR | 2016 | 31 |
| Some Complexity Results on Inconsistency Measurement.
|
KR | 2016 | 26 |
| Group Decision Making via Probabilistic Belief Merging.
|
IJCAI | 2016 | 6 |
| Measuring Inconsistency in Answer Set Programs.
|
JELIA | 2016 | 17 |
| On the expressivity of inconsistency measures.
|
Artificial Intelligence | 2016 | 60 |
| Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures.
|
IJCAI | 2015 | 41 |
| Coherence and Compatibility of Markov Logic Networks.
|
ECAI | 2014 | 8 |
| Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation.
|
KR | 2014 | 67 |
| Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization.
|
ECAI | 2014 | 29 |
| Probabilistic Argumentation with Incomplete Information.
|
ECAI | 2014 | 42 |
| Semantic Web Application Development with LITEQ.
|
ISWC | 2014 | 20 |
| Inconsistency measures for probabilistic logics.
|
Artificial Intelligence | 2013 | 75 |
| Locking for Concurrent Transactions on Ontologies.
|
ESWC | 2013 | 2 |
| Opponent Models with Uncertainty for Strategic Argumentation.
|
IJCAI | 2013 | 98 |
| A Probabilistic Semantics for abstract Argumentation.
|
ECAI | 2012 | 175 |
| A Ranking Semantics for First-Order Conditionals.
|
ECAI | 2012 | 27 |
| SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data.
|
ISWC | 2012 | 76 |
| Classification and strategical issues of argumentation games on structured argumentation frameworks.
|
AAMAS | 2010 | 19 |
| Novel Semantical Approaches to Relational Probabilistic Conditionals.
|
KR | 2010 | 55 |
| Know-how for motivated BDI agents.
|
AAMAS | 2009 | 5 |
| Measuring Inconsistency in Probabilistic Knowledge Bases.
|
UAI | 2009 | 50 |
| Belief operations for motivated BDI agents.
|
AAMAS | 2008 | 9 |