Matthias Thimm

33 publications

11 venues

H Index15


Universität Koblenz-Landau, Germany


Name Venue Year Citations
Measuring Strong Inconsistency. AAAI 2018 4
On the complexity of inconsistency measurement. Artificial Intelligence 2019 2
On the Expressivity of Inconsistency Measures (Extended Abstract). IJCAI 2017 1
Classification and strategical issues of argumentation games on structured argumentation frameworks. AAMAS 2010 19
Methods for Intrinsic Evaluation of Links in the Web of Data. ESWC 2017 4
A Probabilistic Semantics for abstract Argumentation. ECAI 2012 96
Probabilistic Reasoning with Abstract Argumentation Frameworks. JAIR 2017 19
Know-how for motivated BDI agents. AAMAS 2009 4
Novel Semantical Approaches to Relational Probabilistic Conditionals. KR 2010 30
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI 2017 6
Semantic Web Application Development with LITEQ. ISWC 2014 14
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. KR 2014 41
Coherence and Compatibility of Markov Logic Networks. ECAI 2014 8
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. ECAI 2014 17
A General Approach to Reasoning with Probabilities - Extended Abstract. KR 2018 2
SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. ISWC 2012 50
Probabilistic Argumentation with Incomplete Information. ECAI 2014 28
A Ranking Semantics for First-Order Conditionals. ECAI 2012 10
Locking for Concurrent Transactions on Ontologies. ESWC 2013 2
Measuring Inconsistency in Answer Set Programs. JELIA 2016 8
Belief operations for motivated BDI agents. AAMAS 2008 7
Some Complexity Results on Inconsistency Measurement. KR 2016 13
Probabilistic Abstract Argumentation Based on SCC Decomposability. KR 2018 7
Measuring Inconsistency in Probabilistic Knowledge Bases. UAI 2009 30
Opponent Models with Uncertainty for Strategic Argumentation. IJCAI 2013 74
On the expressivity of inconsistency measures. Artificial Intelligence 2016 23
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. IJCAI 2015 23
Strong inconsistency. Artificial Intelligence 2019 2
Inconsistency measures for probabilistic logics. Artificial Intelligence 2013 42
Group Decision Making via Probabilistic Belief Merging. IJCAI 2016 4
The first international competition on computational models of argumentation: Results and analysis. Artificial Intelligence 2017 25
On Partial Information and Contradictions in Probabilistic Abstract Argumentation. KR 2016 22
Epistemic graphs for representing and reasoning with positive and negative influences of arguments. Artificial Intelligence 2020 0
Copyright ©2019 Universität Würzburg
Website created in context of the REGIO Project
Impressum | Privacy | FAQ