Matthias Thimm

50 publications

11 venues

H Index 18


University of Hagen, Germany
Universit t Koblenz-Landau, Germany


Name Venue Year citations
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artificial Intelligence 2023 0
On Undisputed Sets in Abstract Argumentation. AAAI 2023 0
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. KR 2023 0
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. KR 2023 0
MaxSAT-Based Inconsistency Measurement. ECAI 2023 0
Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI 2022 2
Conditional Abstract Dialectical Frameworks. AAAI 2022 1
Ranking Extensions in Abstract Argumentation. IJCAI 2021 3
Measuring Inconsistency over Sequences of Business Rule Cases. KR 2021 1
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. KR 2021 2
Distinguishability in Abstract Argumentation. KR 2021 1
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions. IJCAI 2021 1
Revision and Conditional Inference for Abstract Dialectical Frameworks. KR 2021 1
Handling and measuring inconsistency in non-monotonic logics. Artificial Intelligence 2020 3
Independence and D-separation in Abstract Argumentation. KR 2020 0
On quasi-inconsistency and its complexity. Artificial Intelligence 2020 5
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 13
On the complexity of inconsistency measurement. Artificial Intelligence 2019 15
Measuring Strong Inconsistency. AAAI 2018 9
A General Approach to Reasoning with Probabilities - Extended Abstract. KR 2018 2
Probabilistic Abstract Argumentation Based on SCC Decomposability. KR 2018 12
On the Expressivity of Inconsistency Measures (Extended Abstract). IJCAI 2017 2
Probabilistic Reasoning with Abstract Argumentation Frameworks. JAIR 2017 71
The first international competition on computational models of argumentation: Results and analysis. Artificial Intelligence 2017 62
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI 2017 12
Methods for Intrinsic Evaluation of Links in the Web of Data. ESWC 2017 8
On Partial Information and Contradictions in Probabilistic Abstract Argumentation. KR 2016 32
Group Decision Making via Probabilistic Belief Merging. IJCAI 2016 6
On the expressivity of inconsistency measures. Artificial Intelligence 2016 41
Measuring Inconsistency in Answer Set Programs. JELIA 2016 13
Some Complexity Results on Inconsistency Measurement. KR 2016 25
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. IJCAI 2015 36
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. KR 2014 57
Coherence and Compatibility of Markov Logic Networks. ECAI 2014 8
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. ECAI 2014 27
Probabilistic Argumentation with Incomplete Information. ECAI 2014 39
Semantic Web Application Development with LITEQ. ISWC 2014 19
Inconsistency measures for probabilistic logics. Artificial Intelligence 2013 66
Opponent Models with Uncertainty for Strategic Argumentation. IJCAI 2013 98
Locking for Concurrent Transactions on Ontologies. ESWC 2013 3
A Ranking Semantics for First-Order Conditionals. ECAI 2012 22
A Probabilistic Semantics for abstract Argumentation. ECAI 2012 154
SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. ISWC 2012 76
Novel Semantical Approaches to Relational Probabilistic Conditionals. KR 2010 49
Classification and strategical issues of argumentation games on structured argumentation frameworks. AAMAS 2010 18
Measuring Inconsistency in Probabilistic Knowledge Bases. UAI 2009 50
Know-how for motivated BDI agents. AAMAS 2009 4
Belief operations for motivated BDI agents. AAMAS 2008 11
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ