Matthias Thimm. On the Expressivity of Inconsistency Measures (Extended Abstract). In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), pages 5070-5074. August 2017. bibtexpdf

Nils Geilen, Matthias Thimm. Heureka - A General Heuristic Backtracking Solver for Abstract Argumentation. In Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). August 2017. bibtexpdf

Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig. Probabilities on Extensions in Abstract Argumentation. In Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). August 2017. bibtexpdf

Matthias Thimm. The Formal Argumentation Libraries of Tweety. In Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). August 2017. bibtexpdf

Markus Ulbricht, Matthias Thimm, Gerhard Brewka. Measuring Inconsistency in Answer Set Programs. In Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16), pages 577-583. November 2016. bibtexpdf

Carl Corea, Matthias Thimm. Using Matrix Exponentials for Abstract Argumentation. In Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA'16), pages 10-21. September 2016. bibtexpdf

Anthony Hunter, Matthias Thimm. On Partial Information and Contradictions in Probabilistic Abstract Argumentation. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16). Cape Town, South Africa, April 2016. bibtexpdf

Matthias Thimm, Johannes Peter Wallner. Some Complexity Results on Inconsistency Measurement. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16). Cape Town, South Africa, April 2016. bibtexpdf

Cristina Sarasua, Matthias Thimm. Crowd Work CV: Recognition for Micro Work. In Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14). Barcelona, Spain, November 2014. bibtexpdf

Matthias Thimm, Gabriele Kern-Isberner. On Controversiality of Arguments and Stratified Labelings. In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Pitlochry, UK, September 2014. bibtexpdf

Rita Berardi, Marcelo Schiessl, Matthias Thimm, Marco A. Casanova. The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases. In Proceedings of the 25th International Conference on Database and Expert System Applications (DEXA'14). Munich, Germany, September 2014. bibtexpdf

Matthias Thimm. Tweety - A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14). Vienna, Austria, July 2014. bibtexpdf

Matthias Thimm, Thomas Gottron, Gerd Gröner, Ansgar Scherp. Linked Open Data: Are we Drowning in Information and Starving for Know-How?. In Proceedings of the Workshop "What will the Semantic Web look like 10 years from now?" at the 11th International Semantic Web Conference (ISWC'12). Boston, USA, November 2012. bibtexpdf

Patrick Krümpelmann, Matthias Thimm. A Logic Programming Framework for Reasoning about Know-How. In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10). Toronto, Canada, May 2010. bibtexpdf

Sebastian Loh, Matthias Thimm, Gabriele Kern-Isberner. On the Problem of Grounding a Relational Probabilistic Conditional Knowledge Base. In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'10). Toronto, Canada, May 2010. bibtexpdf

2009

Matthias Thimm. Representing Statistical Information and Degrees of Belief in First-Order Probabilistic Conditional Logic. In Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning, pages 49-63. Paderborn, Germany, September 2009. bibtexpdf