Matthias Thimm
Monograph
Journal article
Conference/Workshop article
Book article
Technical report
Edited collection

2017
  1. Sylwia Polberg, Anthony Hunter, Matthias Thimm. Belief in Attacks in Epistemic Probabilistic Argumentation. In Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM'17). October 2017. bibtex pdf
  2. Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo R. Simari, Matthias Thimm, Serena Villata. Towards Artificial Argumentation. In AI Magazine. October 2017. bibtex pdf
  3. Matthias Thimm. On the Expressivity of Inconsistency Measures (Extended Abstract). In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). August 2017. bibtex pdf
  4. Gerhard Brewka, Matthias Thimm, Markus Ulbricht. Strong Inconsistency in Nonmonotonic Reasoning. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). August 2017. bibtex pdf
  5. 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. bibtex pdf
  6. 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. bibtex pdf
  7. 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. bibtex pdf
  8. Matthias Thimm, Kristian Kersting. Towards Argumentation-based Classification. In Logical Foundations of Uncertainty and Machine Learning, Workshop at IJCAI'17. August 2017. bibtex pdf
  9. Matthias Thimm. Measuring Inconsistency with Many-Valued Logics. In International Journal of Approximate Reasoning, 86:1-23. July 2017. bibtex pdf
  10. Souhila Kaci, Robert Mercer, Matthias Thimm (Editors). Special Issue: Uncertain Reasoning. Journal of Applied Logic, Volume 22. July 2017. bibtex url
  11. Cristina Sarasua, Steffen Staab, Matthias Thimm. Methods for Intrinsic Evaluation of Links in the Web of Data. In Proceedings of the 14th Extended Semantic Web Conference (ESWC'17). June 2017. bibtex pdf
  12. Nico Potyka, Matthias Thimm. Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. In International Journal of Approximate Reasoning. June 2017. bibtex pdf
  13. Daniel Janke, Steffen Staab, Matthias Thimm. On Data Placement Strategies in Distributed RDF Stores. In Proceedings of the International Workshop on Semantic Big Data (SDB 2017). May 2017. bibtex pdf
  14. Matthias Thimm. On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. In Künstliche Intelligenz, 31(1):37-39. March 2017. bibtex pdf
  15. Matthias Thimm. The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. In Künstliche Intelligenz, 31(1):93-97. March 2017. bibtex pdf

2016
  1. 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. bibtex pdf
  2. 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. bibtex pdf
  3. Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati (Editors). Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'16). CEUR-WS.org. September 2016. bibtex url
  4. Sarah Alice Gaggl, Matthias Thimm (Editors). The Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16), Proceedings. arXiv:1608.02441. September 2016. bibtex url
  5. Matthias Thimm, Dov M. Gabbay (Editors). Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation. IfCoLog Journal of Logics and their Applications, Volume 3 Number 2. August 2016. bibtex url
  6. Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt. Group Decision Making via Probabilistic Belief Merging. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), pages 3623-3629. July 2016. bibtex pdf
  7. Anthony Hunter, Matthias Thimm. Optimization of dialectical outcomes in dialogical argumentation. In International Journal of Approximate Reasoning, 78:73-102. July 2016. bibtex pdf
  8. 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. bibtex pdf
  9. 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. bibtex pdf
  10. Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati. Summary Report of The First International Competition on Computational Models of Argumentation. In AI Magazine, 37(1):102-104. April 2016. bibtex pdf
  11. Matthias Thimm. On the Expressivity of Inconsistency Measures. In Artificial Intelligence, 234:120-151. February 2016. bibtex pdf
  12. Christoph Beierle, Gerhard Brewka, Matthias Thimm (Editors). Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday. College Publications, volume 29 of Tributes. February 2016. bibtex url
  13. Matthias Thimm. Uncertainty and Inconsistency in Knowledge Representation. Habilitation Thesis, Universität Koblenz-Landau, Department of Computer Science, Institute for Web Science and Technologies. February 2016. bibtex pdf
  14. Matthias Thimm. Stream-based Inconsistency Measurement. In International Journal of Approximate Reasoning, 68:68-87. January 2016. bibtex pdf

2015
  1. Matthias Thimm, Serena Villata (Editors). System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15). arXiv:1510.05373. October 2015. bibtex url
  2. Nico Potyka, Matthias Thimm. Probabilistic Reasoning with Inconsistent Beliefs using Inconsistency Measures. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15). Buenos Aires, Argentina, July 2015. bibtex pdf

2014
  1. 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. bibtex pdf
  2. Stefan Scheglmann, Martin Leinberger, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas. Property-based typing with LITEQ: Programming access to weakly-typed RDF data (Demo). In Proceedings of the 13th International Semantic Web Conference (ISWC'14). Trentino, Italy, October 2014. bibtex pdf
  3. Martin Leinberger, Stefan Scheglmann, Ralf Lämmel, Steffen Staab, Matthias Thimm, Evelyne Viegas. Semantic Web Application development with LITEQ. In Proceedings of the 13th International Semantic Web Conference (ISWC'14). Trentino, Italy, October 2014. bibtex pdf
  4. Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati. A Benchmark Framework for a Computational Argumentation Competition (Demo paper). In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Pitlochry, UK, September 2014. bibtex pdf
  5. 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. bibtex pdf
  6. Anthony Hunter, Matthias Thimm. Probabilistic Argument Graphs for Argumentation Lotteries. In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Pitlochry, UK, September 2014. bibtex pdf
  7. Matthias Thimm. Towards Large-scale Inconsistency Measurement. In Proceedings of the 37th German Conference on Artificial Intelligence (KI'14). Stuttgart, Germany, September 2014. bibtex pdf
  8. 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. bibtex pdf
  9. Anthony Hunter, Matthias Thimm. Probabilistic Argumentation with Epistemic Extensions. In Proceedings of the International Workshop on Defeasible amd Ampliative Reasoning (DARe'14). Prague, Czech Republic, August 2014. bibtex pdf
  10. Matthias Thimm. Coherence and Compatibility of Markov Logic Networks. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Prague, Czech Republic, August 2014. bibtex pdf
  11. Nico Potyka, Matthias Thimm. Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Prague, Czech Republic, August 2014. bibtex pdf
  12. Anthony Hunter, Matthias Thimm. Probabilistic Argumentation with Incomplete Information. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Prague, Czech Republic, August 2014. bibtex pdf
  13. 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. bibtex pdf
  14. Matthias Thimm. Strategic Argumentation in Multi-Agent Systems. In Künstliche Intelligenz, Special Issue on Multi-Agent Decision Making, 28(3):159-168. June 2014. bibtex pdf
  15. Stefan Scheglmann, Ralf Lämmel, Martin Leinberger, Steffen Staab, Matthias Thimm, Evelyne Viegas. IDE Integrated RDF Exploration, Access and RDF-based Code Typing with LITEQ (Demo). In Proceedings of the 11th Extended Semantic Web Conference (ESWC'14). Crete, Greece, May 2014. bibtex pdf
  16. Anthony Hunter, Matthias Thimm. Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. ArXiv. May 2014. bibtex pdf

2013
  1. Luciano H. Tamargo, Matthias Thimm, Patrick Krümpelmann, Alejandro J. Garcia, Marcelo Falappa, Guillermo R. Simari, Gabriele Kern-Isberner. Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems. In Eduardo L. Ferme, Dov M. Gabbay, Guillermo R. Simari (Eds.), Trends in Belief Revision and Argumentation Dynamics, College Publications. December 2013. bibtex pdf
  2. Cristina Sarasua, Matthias Thimm. Microtask available, send us your CV!. In Proceedings of the International Workshop on Crowd Work and Human Computation. Karlsruhe, Germany, September 2013. bibtex pdf
  3. Matthias Thimm. Dynamic Preference Aggregation under Preference Changes. In Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB'13). Koblenz, Germany, September 2013. bibtex pdf
  4. Matthias Klusch, Matthias Thimm, Marcin Paprzycki (Editors). Proceedings of the 11th German Conference on Multiagent System Technologies (MATES'13). Springer, volume 8076 of Lecture Notes in Artificial Intelligence. Koblenz, Germany, September 2013. bibtex url
  5. Ingo J. Timm, Matthias Thimm (Editors). Proceedings of the 36th Annual German Conference on Artificial Intelligence (KI'13). Springer, volume 8077 of Lecture Notes in Artificial Intelligence. Koblenz, Germany, September 2013. bibtex url
  6. Tjitze Rienstra, Matthias Thimm, Nir Oren. Opponent Models with Uncertainty for Strategic Argumentation. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). Beijing, China, August 2013. bibtex pdf
  7. Matthias Thimm, Gabriele Kern-Isberner. Stratified Labelings for Abstract Argumentation (Preliminary Report). ArXiv. August 2013. bibtex pdf
  8. Julia Preusse, Jerome Kunegis, Matthias Thimm, Thomas Gottron, Steffen Staab. Structural Dynamics of Knowledge Networks. In Proceedings of the 7th International AAAI Conference on Weblogs and Social Media (ICWSM'13). Boston, USA, July 2013. bibtex pdf
  9. Stefan Scheglmann, Steffen Staab, Matthias Thimm, Gerd Gröner. Locking for Concurrent Transactions on Ontologies. In Proceedings of the 10th Extended Semantic Web Conference (ESWC'13). Montpellier, France, June 2013. bibtex pdf
  10. Matthias Thimm. Inconsistency Measures for Probabilistic Logics. In Artificial Intelligence, 197:1-24. April 2013. bibtex pdf

2012
  1. 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. bibtex pdf
  2. Olaf Görlitz, Matthias Thimm, Steffen Staab. SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. In Proceedings of the 11th International Semantic Web Conference (ISWC'12). Boston, USA, November 2012. bibtex pdf
  3. Renata Dividino, Gerd Gröner, Stefan Scheglmann, Matthias Thimm. Ranking RDF with Provenance via Preference Aggregation. In Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12). Galway, Ireland, October 2012. bibtex pdf
  4. Marc Finthammer, Matthias Thimm. An Integrated Development Environment for Probabilistic Relational Reasoning. In Logic Journal of the IGPL, 20(5):831-871. October 2012. bibtex pdf
  5. Matthias Thimm, Gabriele Kern-Isberner. On Probabilistic Inference in Relational Conditional Logics. In Logic Journal of the IGPL, 20(5):872-908. October 2012. bibtex pdf
  6. Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm. Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. In Transactions on Large-Scale Data- and Knowledge-Centered Systems VI, pages 31-75, Springer, volume 7600 of Lecture Notes in Computer Science. September 2012. bibtex pdf
  7. Luciano H. Tamargo, Alejandro J. Garcia, Matthias Thimm, Patrick Krümpelmann. Selective revision with multiple informants and argumentative support. In Inteligencia Artificial, 50:4-17. September 2012. bibtex pdf
  8. Matthias Thimm. A Probabilistic Semantics for Abstract Argumentation. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). Montpellier, France, August 2012. bibtex pdf
  9. Gabriele Kern-Isberner, Matthias Thimm. A Ranking Semantics for First-Order Conditionals. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). Montpellier, France, August 2012. bibtex pdf
  10. Luciano H. Tamargo, Alejandro J. Garcia, Matthias Thimm, Patrick Krümpelmann. Argumentative Credibility-based Revision in Multi-Agent Systems. In Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12). La Plata, Argentina, August 2012. bibtex pdf

2011
  1. Matthias Thimm. Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. IOS Press, volume 331 of Dissertations in Artificial Intelligence. December 2011. bibtex pdf
  2. Matthias Thimm. Analyzing Inconsistencies in Probabilistic Conditional Knowledge Bases using Continuous Inconsistency Measures. In Christoph Beierle, Gabriele Kern-Isberner (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11), pages 31-45. Berlin, Germany, October 2011. bibtex pdf
  3. Matthias Thimm. On Prototypical Indifference and Lifted Inference in Relational Probabilistic Conditional Logic. In Christoph Beierle, Gabriele Kern-Isberner (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11), pages 1-15. Berlin, Germany, October 2011. bibtex pdf
  4. Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Regina Fritsch. Motivating Agents in Unreliable Environments: A Computational Model. In Franziska Klügl, Sascha Ossowski (Eds.), Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11), pages 65-76, Springer, volume 6973 of Lecture Notes in Computer Science. Berlin, Germany, October 2011. bibtex pdf
  5. Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm. Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. In Joscha Bach, Stefan Edelkamp (Eds.), Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11), pages 63-74, Springer, volume 7006 of Lecture Notes in Computer Science. Berlin, Germany, October 2011. bibtex pdf
  6. 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), pages 27-46, Springer-Verlag, volume 6860 of Lecture Notes in Computer Science. Toulouse, France, September 2011. bibtex pdf
  7. 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
  8. Matthias Thimm, Alejandro J. Garcia. On Strategic Argument Selection in Structured Argumentation Systems. In Peter McBurney, Iyad Rahwan, Simon Parsons (Eds.), Post-Proceedings of the Seventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), Toronto, Canada, May 2010 (revised, selected and invited papers), pages 286-305, Springer-Verlag, volume 6614 of Lecture Notes in Artificial Intelligence. July 2011. bibtex pdf
  9. Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler. Relational Probabilistic Conditional Reasoning at Maximum Entropy. In Weiru Liu (Eds.), Proceedings of the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), pages 447-458, Springer, volume of Lecture Notes in Computer Science. Belfast, Ireland, June 2011. bibtex pdf
  10. Diego R. Garcia, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro J. Garcia. On Influence and Contractions in Defeasible Logic Programming. In James P. Delgrande, Wolfgang Faber (Eds.), Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), pages 199-204, Springer, volume 6645 of Lecture Notes in Computer Science. Vancouver, Canada, May 2011. bibtex pdf
  11. 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. April 2011. bibtex pdf

2010
  1. 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
  2. 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
  3. Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm. Automated Reasoning for Relational Probabilistic Knowledge Representation. In Jürgen Giesl, Reiner Hähnle (Eds.), Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR'10), volume 6173 of Lecture Notes in Computer Science. Edinburgh, UK, July 2010. bibtex pdf
  4. 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), Springer, volume 6057 of Lecture Notes in Artificial Intelligence. July 2010. bibtex pdf
  5. Gabriele Kern-Isberner, Matthias Thimm. Novel Semantical Approaches to Relational Probabilistic Conditionals. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (Eds.), Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10), pages 382-392, AAAI Press. Toronto, Canada, May 2010. bibtex pdf
  6. 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, Sandip Sen (Eds.), Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010 (AAMAS'10). Toronto, Canada, May 2010. bibtex pdf
  7. Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle. A System for Relational Probabilistic Reasoning on Maximum Entropy. In Hans W. Guesgen, R. Charles Murray (Eds.), Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10), AAAI Press. Daytona Beach, USA, May 2010. bibtex pdf
  8. 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
  9. 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

2009
  1. 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. bibtex pdf
  2. Marc Finthammer, Sebastian Loh, Matthias Thimm. Towards a Toolbox for Relational Probabilistic Knowledge Representation, Reasoning, and Learning. In Proceedings of the First Workshop on Relational Approaches to Knowledge Representation and Learning, pages 34-48. Paderborn, Germany, September 2009. bibtex pdf
  3. Matthias Thimm. Measuring Inconsistency in Probabilistic Knowledge Bases. In Jeff Bilmes, Andrew Ng (Eds.), Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI'09), pages 530-537, AUAI Press. Montreal, Canada, June 2009. bibtex pdf
  4. Matthias Thimm, Patrick Krümpelmann. Know-How for Motivated BDI Agents (Extended Abstract). In Keith S. Decker, Jaime Simao Sichman, Carles Sierra, Cristiano 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
  5. Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler. Mining Default Rules From Statistical Data. In H. Chad Lane, Hans W. Guesgen (Eds.), Proceedings of the 22nd International FLAIRS Conference (FLAIRS'09), AAAI Press. Sanibel Island, USA, May 2009. bibtex pdf
  6. Matthias Thimm, Patrick Krümpelmann. Know-How for Motivated BDI Agents (Extended Version). Technische Universität Dortmund, Department of Computer Science. February 2009. bibtex pdf

2008
  1. Gabriele Kern-Isberner, Matthias Thimm, 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'08), pages 88-113, Springer Verlag, volume 4925 of Lecture Notes in Computer Science. December 2008. bibtex pdf
  2. Joachim Biskup, Gabriele Kern-Isberner, Matthias Thimm. Towards Enforcement of Confidentiality in Agent Interactions. In Maurice Pagnucco, Michael Thielscher (Eds.), Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), pages 104-112, University of New South Wales, Technical Report No. UNSW-CSE-TR-0819. Sydney, Australia, September 2008. bibtex pdf
  3. Matthias Thimm, Alejandro J. Garcia, Gabriele Kern-Isberner, Guillermo R. Simari. Using Collaborations for Distributed Argumentation with Defeasible Logic Programming. In Maurice Pagnucco, Michael Thielscher (Eds.), Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), pages 179-188, University of New South Wales, Technical Report No. UNSW-CSE-TR-0819. Sydney, Australia, September 2008. bibtex pdf
  4. Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp, Gabriele Kern-Isberner. Belief Operations for Motivated BDI Agents. In Lin Padgham, David C. Parkes, Joerg P. Müller, Simon Parsons (Eds.), Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 421-428. Estoril, Portugal, May 2008. bibtex pdf
  5. Matthias Thimm, Gabriele Kern-Isberner. A Distributed Argumentation Framework using Defeasible Logic Programming. In Philippe Besnard, Sylvie Doutre, Anthony Hunter (Eds.), Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA'08), pages 381-392, IOS Press, volume 172 of Frontiers in Artificial Intelligence and Applications. Toulouse, France, May 2008. bibtex pdf
  6. Matthias Thimm, Gabriele Kern-Isberner. On the Relationship of Defeasible Argumentation and Answer Set Programming. In Philippe Besnard, Sylvie Doutre, Anthony Hunter (Eds.), Proceedings of the 2nd International Conference on Computational Models of Argument (COMMA'08), pages 393-404, IOS Press, volume 172 of Frontiers in Artificial Intelligence and Applications. Toulouse, France, May 2008. bibtex pdf
  7. Matthias Thimm, Gabriele Kern-Isberner. A Distributed Argumentation Framework using Defeasible Logic Programming (Extended Version). Technische Universität Dortmund. February 2008. bibtex pdf
  8. Matthias Thimm, Gabriele Kern-Isberner. On the Relationship of Defeasible Argumentation and Answer Set Programming (Extended Version). Technische Universität Dortmund. February 2008. bibtex pdf
  9. Thimm, Matthias. Verteilte logikbasierte Argumentation: Konzeption, Implementierung und Anwendung im Rechtswesen. Diploma Thesis, VDM Verlag Dr. Müller, ISBN 978-3-8364-5705-7. January 2008. bibtex pdf

© Matthias Thimm