Dipl.-Inf. Matthias Thimm
Chair I (Logic)

TU Dortmund
Department CS
 Information Engineering Group (IE), Chair 1,
Department of Computer Science

Technische Universität Dortmund
Otto-Hahn Str. 16, Raum 202
44221 Dortmund

Phone: +49 (0) 231 / 755 - 4806
Fax: +49 (0) 231 / 755 - 6555
E-Mail: matthias.thimm@tu-dortmund.de


Research interests
  • Argumentation and negotiation systems
  • Multi agent systems and BDI models
  • Probabilistic relational knowledge representation and reasoning

Teaching
courses
seminars
other
diploma theses
  • Stefan Tittel: Repräsentation und Simulation von Umgebungen für Multiagentensysteme (2010)
  • Jana Ludolph: Qualitative Methoden zur Sicherung der Konsistenz bei probabilistischen Wissensbasen (2009)
  • Sebastian Loh: Grundierungstechniken für relationale probabilistische Inferenz (2009)
  • Abdelaziz Elalaoui: Analyse und Evaluation von Eigenschaften argumentationsbasierter Inferenzrelationen (2009)
  • Lukas Sowa: Entwicklung und Implementierung einer Methodik zur syntaktischen Realisierung semantischer Revisionsoperatoren (2008)

Software
  • KReator: A Toolbox for Relational Probabilistic Knowledge Representation, Reasoning and Learning.
  • Tweety: A comprehensive Java library for logical aspects of artificial intelligence and knowledge representation.

Events
2010
2009
2008

Publications
2010
  • Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm. Can Bobby demand delivery? Towards a knowledge-based system for private law. In Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10). Cairo, Egypt, September 2010.
  • Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm. Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. In Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10). Desenzano del Garda, Italy, September 2010.
  • Matthias Thimm. Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming. In Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet (editors), Argumentation in Multi-Agent Systems, Post-Proceedings of the Sixth International Workshop (ArgMAS), Budapest, Hungary, May 2009 (revised, selected and invited papers), volume 6057 of Lecture Notes in Artificial Intelligence, Springer, 2010. bibtex pdf
  • Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm. Automated Reasoning for Relational Probabilistic Knowledge Representation. In Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR'10), Edinburgh, UK, July 2010.
  • 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.
  • 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.
  • Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle. A System for Relational Probabilistic Reasoning on Maximum Entropy. In Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10), Daytona Beach, USA, May 2010.
  • Gabriele Kern-Isberner, Matthias Thimm. Novel Semantical Approaches to Relational Probabilistic Conditionals. In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10), Toronto, Canada, May 2010.
  • Matthias Thimm, Alejandro J. Garcia. Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks. In Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'10), Toronto, Canada, May 2010.
2009
  • Matthias Thimm. Representing Statistical Information and Degrees of Belief in First-Order Probabilistic Conditional Logic. Workshop on Relational Approaches to Knowledge Representation and Learning, Proceedings, pages 49-63. Paderborn, Germany, September 2009. bibtex pdf
  • Marc Finthammer, Sebastian Loh, and Matthias Thimm. Towards a Toolbox for Relational Probabilistic Knowledge Representation, Reasoning, and Learning. Workshop on Relational Approaches to Knowledge Representation and Learning, Proceedings, pages 34-48. Paderborn, Germany, September 2009. bibtex pdf
  • Matthias Thimm. Measuring Inconsistency in Probabilistic Knowledge Bases. In Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI'09). Montreal, Canada, June 2009. bibtex pdf
  • Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, and Jens Fisseler. Mining Default Rules From Statistical Data. In Proceedings of the 22nd International FLAIRS Conference (FLAIRS'09). Sanibel Island, USA, May 2009. bibtex pdf
  • Matthias Thimm and Patrick Krümpelmann. Know-How for Motivated BDI Agents (Extended Abstract). In Decker, Sichman, Sierra and Castelfranchi (Eds.), Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09), pages 1143-1144. Budapest, Hungary, May 2009. bibtex pdf
  • Matthias Thimm and Patrick Krümpelmann. Know-How for Motivated BDI Agents (Extended Version). Technical Report No. 822. Technische Universität Dortmund, February 2009. bibtex pdf
2008
  • Gabriele Kern-Isberner, Matthias Thimm, and Marc Finthammer. Qualitative Knowledge Discovery. In Klaus-Dieter Schewe, Bernhard Thalheim (Eds.), Proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases (SDKB), volume 4925 of Lecture Notes in Computer Science, pages 88-113. Springer, December 2008. bibtex pdf
  • Matthias Thimm, Alejandro J. Garcia, Gabriele Kern-Isberner, and Guillermo R. Simari. Using Collaborations for Distributed Argumentation with Defeasible Logic Programming. In M. Pagnucco and M. Thielscher (Eds.), Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08), pages 179-188. University of New South Wales, Technical Report UNSW-CSE-TR-0819, Sydney, Australia, September 2008. bibtex pdf
  • Joachim Biskup, Gabriele Kern-Isberner, and Matthias Thimm. Towards Enforcement of Confidentiality in Agent Interactions. In M. Pagnucco and M. Thielscher (Eds.), Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08), pages 104-112. University of New South Wales, Technical Report UNSW-CSE-TR-0819, Sydney, Australia, September 2008. bibtex pdf
  • Matthias Thimm, Gabriele Kern-Isberner. A Distributed Argumentation Framework using Defeasible Logic Programming. In Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), pages 381-392. Toulouse, France, May 2008. bibtex pdf
  • Matthias Thimm, Gabriele Kern-Isberner. On the Relationship of Defeasible Argumentation and Answer Set Programming. In Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), pages 393-404. Toulouse, France, May 2008. bibtex pdf
  • Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, and Gabriele Kern-Isberner. Belief Operations for Motivated BDI Agents. In Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'08), pages 421-428. Estoril, Portugal, May 2008. bibtex pdf
  • Matthias Thimm, Gabriele Kern-Isberner. A Distributed Argumentation Framework using Defeasible Logic Programming (Extended Version). Technical Report, Technische Universität Dortmund, February 2008. bibtex pdf
  • Matthias Thimm, Gabriele Kern-Isberner. On the Relationship of Defeasible Argumentation and Answer Set Programming (Extended Version). Technical Report. Technische Universität Dortmund, February 2008. bibtex pdf
  • Matthias Thimm. Verteilte logikbasierte Argumentation: Konzeption, Implementierung und Anwendung im Rechtswesen. Diploma Thesis. VDM-Verlag, ISBN 978-3-8364-5705-7, January 2008. bibtex