Matthias Thimm

43 publications

11 venues

H Index 18


Universit t Koblenz-Landau, Germany


Name Venue Year citations
Measuring Inconsistency over Sequences of Business Rule Cases. 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 0
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. KR 2021 0
Ranking Extensions in Abstract Argumentation. IJCAI 2021 0
Distinguishability in Abstract Argumentation. KR 2021 1
Independence and D-separation in Abstract Argumentation. KR 2020 0
Handling and measuring inconsistency in non-monotonic logics. Artificial Intelligence 2020 2
Epistemic graphs for representing and reasoning with positive and negative influences of arguments. Artificial Intelligence 2020 19
On quasi-inconsistency and its complexity. Artificial Intelligence 2020 4
Towards Inconsistency Measurement in Business Rule Bases. ECAI 2020 6
On the complexity of inconsistency measurement. Artificial Intelligence 2019 13
Strong inconsistency. Artificial Intelligence 2019 12
Measuring Strong Inconsistency. AAAI 2018 8
Probabilistic Abstract Argumentation Based on SCC Decomposability. KR 2018 11
A General Approach to Reasoning with Probabilities - Extended Abstract. KR 2018 2
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI 2017 10
Methods for Intrinsic Evaluation of Links in the Web of Data. ESWC 2017 8
The first international competition on computational models of argumentation: Results and analysis. Artificial Intelligence 2017 57
On the Expressivity of Inconsistency Measures (Extended Abstract). IJCAI 2017 2
Probabilistic Reasoning with Abstract Argumentation Frameworks. JAIR 2017 56
On Partial Information and Contradictions in Probabilistic Abstract Argumentation. KR 2016 30
On the expressivity of inconsistency measures. Artificial Intelligence 2016 38
Measuring Inconsistency in Answer Set Programs. JELIA 2016 12
Some Complexity Results on Inconsistency Measurement. KR 2016 24
Group Decision Making via Probabilistic Belief Merging. IJCAI 2016 6
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. IJCAI 2015 36
Semantic Web Application Development with LITEQ. ISWC 2014 18
Coherence and Compatibility of Markov Logic Networks. ECAI 2014 9
Probabilistic Argumentation with Incomplete Information. ECAI 2014 35
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. KR 2014 56
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. ECAI 2014 26
Locking for Concurrent Transactions on Ontologies. ESWC 2013 3
Opponent Models with Uncertainty for Strategic Argumentation. IJCAI 2013 95
Inconsistency measures for probabilistic logics. Artificial Intelligence 2013 63
A Ranking Semantics for First-Order Conditionals. ECAI 2012 21
A Probabilistic Semantics for abstract Argumentation. ECAI 2012 140
SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. ISWC 2012 71
Classification and strategical issues of argumentation games on structured argumentation frameworks. AAMAS 2010 18
Novel Semantical Approaches to Relational Probabilistic Conditionals. KR 2010 51
Know-how for motivated BDI agents. AAMAS 2009 4
Measuring Inconsistency in Probabilistic Knowledge Bases. UAI 2009 49
Belief operations for motivated BDI agents. AAMAS 2008 11
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ