• Matthias Thimm, Gabriele Kern-Isberner. On Probabilistic Inference in Relational Conditional Logics. In Logic Journal of the IGPL, 2012 (accepted for publication).
• Marc Finthammer, Matthias Thimm. An Integrated Development Environment for Probabilistic Relational Reasoning. In Logic Journal of the IGPL, 2012 (accepted for publication).

• Matthias Thimm. Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. Volume 331 in Dissertations in Artificial Intelligence, IOS Press, 2011. bibtex
• Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner. Argonauts - A Working System for Motivated Cooperative Agents. In Annals of Mathematics and Artificial Intelligence, 61(4):309-332, 2011. bibtex pdf
• Matthias Thimm. Analyzing Inconsistencies in Probabilistic Conditional Knowledge Bases using Continuous Inconsistency Measures. In Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11). Berlin, Germany, October 2011. bibtex pdf
• Matthias Thimm. On Prototypical Indifference and Lifted Inference in Relational Probabilistic Conditional Logic. In Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11). Berlin, Germany, October 2011. bibtex pdf
• Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm. Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. In Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11). Toulouse, France, August-September 2011, volume 6860 of Lecture Notes in Computer Science, Springer, 2011. bibtex pdf
• Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm. Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. In Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11), Berlin, Germany, October 2011. bibtex pdf
• Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch. Motivating Agents in Unreliable Environments: A Computational Model. In Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11). Berlin, Germany, October 2011. bibtex pdf
• Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. Garcia, Gabriele Kern-Isberner, Guillermo R. Simari. Selective Revision by Deductive Argumentation. In Proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation (TAFA'11). Barcelona, Spain, July 2011. bibtex pdf
• Matthias Thimm, Alejandro J. Garcia. On Strategic Argument Selection in Structured Argumentation Systems. In Peter McBurney, Simon Parsons, and Iyad Rahwan (Eds.), Argumentation in Multi-Agent Systems, Post-Proceedings of the Seventh International Workshop (ArgMAS). Toronto, Canada, May 2010 (revised, selected and invited papers), volume 6614 of Lecture Notes in Artificial Intelligence, pages 286-305, Springer, 2011. bibtex pdf
• Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler. Relational Probabilistic Conditional Reasoning at Maximum Entropy. In Proceedings of the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11). Belfast, Northern Ireland, June 2011. bibtex pdf
• Diego R. Garcia, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, and Alejandro J. Garcia. On Influence and Contractions in Defeasible Logic Programming. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11). Vancouver, Canada, May 2011. bibtex pdf

• 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. bibtex pdf
• 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. bibtex pdf
• Matthias Thimm. Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming. In Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet (Eds.), 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 Jürgen Giesl, Reiner Hähnle (Eds.), Automated Reasoning: Fifth International Joint Conference (IJCAR'10), Edinburgh, UK, July 2010, volume 6173 of Lecture Notes in Computer Science, Springer, 2010. bibtex pdf
• 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. bibtex pdf
• 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. bibtex pdf
• Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle. A System for Relational Probabilistic Reasoning on Maximum Entropy. In Hans W. Guesgen and R. Charles Murray (eds.), Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10), AAAI Press. Daytona Beach, USA, May 2010. bibtex pdf
• Gabriele Kern-Isberner, Matthias Thimm. Novel Semantical Approaches to Relational Probabilistic Conditionals. In Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski (Eds.), Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10), AAAI Press, pages 382-392. Toronto, Canada, May 2010. bibtex pdf
• Matthias Thimm, Alejandro J. Garcia. Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lesperance, Michael Luck, and Sandip Sen (Eds.), Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'10), Toronto, Canada, May 2010. bibtex pdf

• 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), AUAI Press, pages 530-537. Montreal, Canada, June 2009. bibtex pdf
• Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, and Jens Fisseler. Mining Default Rules From Statistical Data. In H. Chad Lane and Hans W. Guesgen (Eds.), Proceedings of the 22nd International FLAIRS Conference (FLAIRS'09), AAAI Press. 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

• 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 Philippe Besnard, Sylvie Doutre, and Anthony Hunter (Eds.), Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), IOS Press, volume 172 of Frontiers in Artificial Intelligence and Applications, 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 Philippe Besnard, Sylvie Doutre, and Anthony Hunter (Eds.), Proceedings of the Second International Conference on Computational Models of Argument (COMMA'08), IOS Press, volume 172 of Frontiers in Artificial Intelligence and Applications, 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 Lin Padgham, David C. Parkes, Joerg P. Müller, and Simon Parsons (Eds.), 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

© Matthias Thimm