Sie sind hier

Dr. Matthias Thimm

B 112
+49 261 287-2715
thimm@uni-koblenz.de

Ich bin PostDoc und Gruppenleiter der Fokusgruppe "Semantic Web". Ich habe 2011 an der Universität Dortmund zum Thema "Probabilistic Reasoning with Incomplete and Inconsistent Beliefs". Meine aktuellen Forschungsinteressen liegen in der Anwendung formaler Methoden der Künstlichen Intelligenz im Semantic Web. Meine weiteren Interessen liegen in probabilistischem Schliessen mit unvollständiger und unsicherer Information in sowohl aussagenlogischen als auch prädikatenlogischen Wissensrepräsentationsformalismen. Ich bin weiterhin interessiert an formalen Modellen zu Argumentation, insbesondere bezüglich spieltheoretischen Aspekten und ihrer Anwendung in Multiagentensystemen, an der Beziehung zwischen Argumentation und Wissensrevision, Agentenarchitekturen und Sicherheitsaspekten in Multiagentensystemen.

Webseite: http://www.mthimm.de

Bibsonomy-ID: 
matthias.thimm

Publications:
2016
The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation
Matthias Thimm.
Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation
Matthias Thimm, Dov M. Gabbay (Editors).
Measuring Inconsistency in Answer Set Programs
Markus Ulbricht, Matthias Thimm, Gerhard Brewka. Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16)
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA16)
Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati (Editors).
Using Matrix Exponentials for Abstract Argumentation
Carl Corea, Matthias Thimm. Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA'16)
On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture
Matthias Thimm.
The Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16), Proceedings
Sarah Alice Gaggl, Matthias Thimm (Editors).
Optimization of dialectical outcomes in dialogical argumentation
Anthony Hunter, Matthias Thimm.
Group Decision Making via Probabilistic Belief Merging
Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16)
Summary Report of The First International Competition on Computational Models of Argumentation
Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati.
Some Complexity Results on Inconsistency Measurement
Matthias Thimm, Johannes Peter Wallner. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16)
On Partial Information and Contradictions in Probabilistic Abstract Argumentation
Anthony Hunter, Matthias Thimm. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16)
Uncertainty and Inconsistency in Knowledge Representation
Matthias Thimm.
Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday
Christoph Beierle, Gerhard Brewka, Matthias Thimm.
On the Expressivity of Inconsistency Measures
Matthias Thimm.
Stream-based Inconsistency Measurement
Matthias Thimm.
2015
System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15)
Matthias Thimm, Serena Villata (Editors).
Probabilistic Reasoning with Inconsistent Beliefs using Inconsistency Measures
Nico Potyka, Matthias Thimm. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15)
2014
Crowd Work CV: Recognition for Micro Work
Cristina Sarasua, Matthias Thimm. Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14)
Semantic Web Application development with LITEQ
Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas. Proceedings of the 13th International Semantic Web Conference (ISWC'14)
Property-based typing with LITEQ: Programming access to weakly-typed RDF data (Demo)
Stefan Scheglmann, Martin Leinberger, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas. Proceedings of the 13th International Semantic Web Conference (ISWC'14)
The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases
Rita Berardi, Marcelo Schiessl, Matthias Thimm, Marco A. Casanova. Proceedings of the 25th International Conference on Database and Expert System Applications (DEXA'14)
A Benchmark Framework for a Computational Argumentation Competition (Demo paper)
Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14)
On Controversiality of Arguments and Stratified Labelings
Matthias Thimm, Gabriele Kern-Isberner. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14)
Probabilistic Argument Graphs for Argumentation Lotteries
Anthony Hunter, Matthias Thimm. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14)
Towards Large-scale Inconsistency Measurement
Matthias Thimm. Proceedings of the 37th German Conference on Artificial Intelligence (KI'14)
Probabilistic Argumentation with Epistemic Extensions
Anthony Hunter, Matthias Thimm. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe'14)
Probabilistic Argumentation with Epistemic Extensions and Incomplete Information
Anthony Hunter, Matthias Thimm.
Probabilistic Argumentation with Incomplete Information
Anthony Hunter, Matthias Thimm. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14)
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization
Nico Potyka, Matthias Thimm. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14)
Coherence and Compatibility of Markov Logic Networks
Matthias Thimm. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14)
IDE Integrated RDF Exploration, Access and RDF-based Code Typing with LITEQ
Stefan Scheglmann, Martin Leinberger, Steffen Staab, Ralf Lämmel, Matthias Thimm, Evelyne Viegas. Proceedings of the 11th Extended Semantic Web Conference (ESWC'14)
Strategic Argumentation in Multi-Agent Systems
Matthias Thimm.
Tweety - A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation
Matthias Thimm. Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
2013
Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems
Luciano H. Tamargo, Matthias Thimm, Patrick Krümpelmann, Alejandro J. Garc\'ıa, Marcelo A. Falappa, Guillermo R. Simari, Gabriele Kern-Isberner. Trends in Belief Revision and Argumentation Dynamics
Microtask available, send us your CV!
Cristina Sarasua, Matthias Thimm. Proceedings of the International Workshop on Crowd Work and Human Computation
Dynamic Preference Aggregation under Preference Changes
Matthias Thimm. Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB'13)
Proceedings of the 11th German Conference on Multiagent System Technologies (MATES'13)
Matthias Klusch, Matthias Thimm, Marcin Paprzycki (Editors).
Proceedings of the 36th Annual German Conference on Artificial Intelligence (KI'13)
Ingo J. Timm, Matthias Thimm (Editors).
Opponent Models with Uncertainty for Strategic Argumentation
Tjitze Rienstra, Matthias Thimm, Nir Oren. Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)
Stratified Labelings for Abstract Argumentation (Preliminary Report)
Matthias Thimm, Gabriele Kern-Isberner.
Structural Changes in Collaborative Knowledge Networks
Julia Preusse, Jerome Kunegis, Matthias Thimm, Thomas Gottron, Steffen Staab. Proceedings of the 7th International AAAI Conference on Weblogs and Social Media (ICWSM'13)
Locking for Concurrent Transactions on Ontologies
Stefan Scheglmann, Steffen Staab, Matthias Thimm, Gerd Gröner. Proceedings of the 10th Extended Semantic Web Conference (ESWC'13)
Inconsistency Measures for Probabilistic Logics
Matthias Thimm.
2012
SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data
Olaf Görlitz, Matthias Thimm, Steffen Staab. Proceedings of the 11th International Semantic Web Conference (ISWC'12)
Ranking RDF with Provenance via Preference Aggregation
Renata Dividino, Gerd Gröner, Stefan Scheglmann, Matthias Thimm. Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12)
A Probabilistic Semantics for Abstract Argumentation
Matthias Thimm. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12)
A Ranking Semantics for First-Order Conditionals
Gabriele Kern-Isberner, Matthias Thimm. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12)
Argumentative Credibility-based Revision in Multi-Agent Systems
Luciano H. Tamargo, Alejandro J. Garcia, Matthias Thimm, Patrick Krümpelmann. Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12)
An Integrated Development Environment for Probabilistic Relational Reasoning
Marc Finthammer, Matthias Thimm.
On Probabilistic Inference in Relational Conditional Logics
Matthias Thimm, Gabriele Kern-Isberner.
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications
Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm. Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
Selective revision with multiple informants and argumentative support
Luciano H. Tamargo, Alejandro J. Garcia, Matthias Thimm, Patrick Krümpelmann.
Linked Open Data: Are we Drowning in Information and Starving for Know-How?
Matthias Thimm, Thomas Gottron, Gerd Gröner, Ansgar Scherp. Proceedings of the Workshop "What will the Semantic Web look like 10 years from now?" at the 11th International Semantic Web Conference (ISWC'12)
2011
Probabilistic Reasoning with Incomplete and Inconsistent Beliefs
Matthias Thimm.
Motivating Agents in Unreliable Environments: A Computational Model
Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch. Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11)
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation
Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm. Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)
On Prototypical Indifference and Lifted Inference in Relational Probabilistic Conditional Logic
Matthias Thimm. Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11)
Analyzing Inconsistencies in Probabilistic Conditional Knowledge Bases using Continuous Inconsistency Measures
Matthias Thimm. Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11)
Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications
Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm. Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11)
Selective Revision by Deductive Argumentation
Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. Garcia, Gabriele Kern-Isberner, Guillermo R. Simari. Theory and Applications of Formal Argumentation, Proceedings of the First International Workshop (TAFA'11, revised selected papers)
Relational Probabilistic Conditional Reasoning at Maximum Entropy
Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler. Proceedings of the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11)
On Influence and Contractions in Defeasible Logic Programming
Diego R. Garcia, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro J. Garcia. Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11)
Argonauts - A Working System for Motivated Cooperative Agents
Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner.
On Strategic Argument Selection in Structured Argumentation Systems
Matthias Thimm, Alejandro J. Garcia. Post-Proceedings of the Seventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), Toronto, Canada, May 2010 (revised, selected and invited papers)
2010
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law
Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm. Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10)
Can Bobby demand Delivery? Towards a Knowledge-based System for Private Law
Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm. Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10)
Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming
Matthias Thimm. Argumentation in Multi-Agent Systems, Post-Proceedings of the Sixth International Workshop (ArgMAS), Budapest, Hungary, May 2009 (revised, selected and invited papers)
Automated Reasoning for Relational Probabilistic Knowledge Representation
Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm. Automated Reasoning: Fifth International Joint Conference (IJCAR'10)
Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks
Matthias Thimm, Alejandro J. Garcia. Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010 (AAMAS'10)
Novel Semantical Approaches to Relational Probabilistic Conditionals
Gabriele Kern-Isberner, Matthias Thimm. Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10)
A System for Relational Probabilistic Reasoning on Maximum Entropy
Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle. Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10)
On the Problem of Grounding a Relational Probabilistic Conditional Knowledge Base
Sebastian Loh, Matthias Thimm, Gabriele Kern-Isberner. Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10)
A Logic Programming Framework for Reasoning about Know-How
Patrick Krümpelmann, Matthias Thimm. Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10)
2009
Representing Statistical Information and Degrees of Belief in First-Order Probabilistic Conditional Logic
Matthias Thimm. Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning
Towards a Toolbox for Relational Probabilistic Knowledge Representation, Reasoning, and Learning
Marc Finthammer, Sebastian Loh, Matthias Thimm. Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning
Measuring Inconsistency in Probabilistic Knowledge Bases
Matthias Thimm. Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI'09)
Know-How for Motivated BDI Agents (Extended Abstract)
Matthias Thimm, Patrick Krümpelmann. Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09)
Mining Default Rules From Statistical Data
Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler. Proceedings of the 22th International FLAIRS Conference (FLAIRS'09)
Know-How for Motivated BDI Agents (Extended Version)
Matthias Thimm, Patrick Krümpelmann.
2008
Qualitative Knowledge Discovery
Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer. 3rd International Workshop on Semantics in Data and Knowledge Bases (SDKB'08)
Using Collaborations for Distributed Argumentation with Defeasible Logic Programming
Matthias Thimm, Alejandro J. Garcia, Gabriele Kern-Isberner, Guillermo R. Simari. Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08)
Towards Enforcement of Confidentiality in Agent Interactions
Joachim Biskup, Gabriele Kern-Isberner, Matthias Thimm. Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08)
A Distributed Argumentation Framework using Defeasible Logic Programming
Matthias Thimm, Gabriele Kern-Isberner. Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA'08)
On the Relationship of Defeasible Argumentation and Answer Set Programming
Matthias Thimm, Gabriele Kern-Isberner. Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA'08)
Belief Operations for Motivated BDI Agents
Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner. Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008)
A Distributed Argumentation Framework using Defeasible Logic Programming (Extended Version)
Matthias Thimm, Gabriele Kern-Isberner.
On the Relationship of Defeasible Argumentation and Answer Set Programming (Extended Version)
Matthias Thimm, Gabriele Kern-Isberner.
Verteilte logikbasierte Argumentation: Konzeption, Implementierung und Anwendung im Rechtswesen
Matthias Thimm.