Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST

PD Dr. Matthias Thimm

[zur Übersicht]

Institutsleiter (interim)

Details

  • E-Mail: thimm@uni-koblenz.de
  • Büro: B 108
  • Telefon: +49 261 287-2715

Projekte

Lehre

Offene Abschlussarbeiten

Publikationen

2020

  • Corea, C., & Thimm, M. (20202020). Towards Inconsistency Measurement in Business Rule Bases. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI'20). http://www.mthimm.de/pub/2020/Corea_2020.pdf [URL | BibTeX | BibSonomy]
  • Heyninck, J., Kern-Isberner, G., & Thimm, M. (20202020). On the Correspondence Between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. Proceedings of the 33rd International FLAIRS Conference (FLAIRS'20). http://www.mthimm.de/pub/2020/Heyninck_2020.pdf [URL | BibTeX | BibSonomy]
  • Hunter, A., Polberg, S., & Thimm, M. (2020). Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments. Artificial Intelligence. http://www.mthimm.de/pub/2020/Hunter_2020.pdf [URL | BibTeX | BibSonomy]

2019

  • Kuhlmann, I., & Thimm, M. (20192019). Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study. Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19). http://www.mthimm.de/pub/2019/Kuhlmann_2019.pdf [URL | BibTeX | BibSonomy]
  • Thimm, M. (20192019). Inconsistency Measurement. Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19). http://www.mthimm.de/pub/2019/Thimm_2019d.pdf [URL | BibTeX | BibSonomy]
  • Thimm, M. (20192019). An Experimental Study on the Behaviour of Inconsistency Measures. Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19). http://www.mthimm.de/pub/2019/Thimm_2019c.pdf [URL | BibTeX | BibSonomy]
  • Thimm, M. (20192019). Dredd - A Heuristics-guided Backtracking Solver with Information Propagation for Abstract Argumentation. The Third International Competition on Computational Models of Argumentation (ICCMA'19). http://www.mthimm.de/pub/2019/Thimm_2019.pdf [URL | BibTeX | BibSonomy]
  • Brewka, G., Thimm, M., & Ulbricht, M. (2019). Strong Inconsistency. Artificial Intelligence. http://www.mthimm.de/pub/2019/Brewka_2019.pdf [URL | BibTeX | BibSonomy]
  • Cerutti, F., & Thimm, M. (2019). A General Approach to Reasoning with Probabilities. International Journal of Approximate Reasoning. http://www.mthimm.de/pub/2019/Cerutti_2019.pdf [URL | BibTeX | BibSonomy]
  • Thimm, M., & Wallner, J. P. (2019). On the Complexity of Inconsistency Measurement. Artificial Intelligence. http://www.mthimm.de/pub/2019/Thimm_2019a.pdf [URL | BibTeX | BibSonomy]

2018

  • Cerutti, F., & Thimm, M. (20182018). Probabilistic Augmentations for Knowledge Representation Formalisms. Proceedings of the 2018 Workshop on Hybrid Reasoning and Learning (HRL'18). http://www.mthimm.de/pub/2018/Cerutti_2018b.pdf [URL | BibTeX | BibSonomy]
  • Cerutti, F., & Thimm, M. (20182018). A General Approach to Reasoning with Probabilities (Extended Abstract). Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18). [BibTeX | BibSonomy]
  • Rienstra, T., Thimm, M., Liao, B., & van der Torre, L. (20182018). Probabilistic Abstract Argumentation based on SCC Decomposability. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18). [BibTeX | BibSonomy]
  • Rienstra, T., & Thimm, M. (20182018). Ranking Functions over Labellings. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18). [BibTeX | BibSonomy]
  • Thimm, M. (20182018). Stochastic Local Search Algorithms for Abstract Argumentation under Stable Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18). [BibTeX | BibSonomy]
  • Thimm, M., Cerutti, F., & Rienstra, T. (20182018). Probabilistic Graded Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18). [BibTeX | BibSonomy]
  • Thimm, M., Polberg, S., & Hunter, A. (20182018). Epistemic Attack Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18). [BibTeX | BibSonomy]
  • Ulbricht, M., Thimm, M., & Brewka, G. (20182018). Measuring Strong Inconsistency. Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18). http://mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Bona, G. D., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency Measurement in Probabilistic Logic. In J. Grant & M. V. Martinez (Eds.), Measuring Inconsistency in Information (Vol. 73). College Publications. [BibTeX | BibSonomy]
  • Kern-Isberner, G., & Thimm, M. (2018). Towards Conditional Logic Semantics for Abstract Dialectical Frameworks. In C. I. Chesnevar, M. A. Falappa, E. Ferme, A. J. Garcia, A. G. Maguitman, D. C. Martinez, M. V. Martinez, R. O. Rodrigues, & G. I. Simari (Eds.), Argumentation-based Proofs of Endearment - Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday (Vol. 37). College Publications. http://www.mthimm.de/pub/2018/KernIsberner_2018.pdf [URL | BibTeX | BibSonomy]
  • Thimm, M. (2018). On the Evaluation of Inconsistency Measures. In J. Grant & M. V. Martinez (Eds.), Measuring Inconsistency in Information (Vol. 73). College Publications. [BibTeX | BibSonomy]
  • Ulbricht, M., Thimm, M., & Brewka, G. (2018). Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics. In J. Grant & M. V. Martinez (Eds.), Measuring Inconsistency in Information (Vol. 73). College Publications. [BibTeX | BibSonomy]
  • Janke, D., Staab, S., & Thimm, M. (2018). Impact analysis of data placement strategies on query efforts in distributed RDF stores. Journal of Web Semantics. https://doi.org/10.1016/j.websem.2018.02.002 [PDF | DOI:10.1016/j.websem.2018.02.002 | URL | BibTeX | BibSonomy]
  • Teymourlouie, M., Zaeri, A., Nematbakhsh, M., Thimm, M., & Staab, S. (2018). Detecting Hidden Errors in an Ontology Using Contextual Knowledge. Expert Systems with Applications, 95, 312–323. [BibTeX | BibSonomy]

2017

  • Brewka, G., Thimm, M., & Ulbricht, M. (20172017). Strong Inconsistency in Nonmonotonic Reasoning. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Geilen, N., & Thimm, M. (20172017). Heureka - A General Heuristic Backtracking Solver for Abstract Argumentation. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Janke, D., Staab, S., & Thimm, M. (2017). Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. In R. Usbeck, A. Ngonga, J.-D. Kim, K.-S. Choi, P. Cimiano, I. Fundulaki, & A. Krithara (Eds.), Joint Proceedings of BLINK2017: Benchmarking Linked Data and NLIWoD3: Natural Language Interfaces for the Web of Data (BLINK2017-NLIWoD3) (No.1932; Issue 1932). http://ceur-ws.org/Vol-1932/#paper-05 [PDF | URL | BibTeX | BibSonomy]
  • Janke, D., Staab, S., & Thimm, M. (2017). On Data Placement Strategies in Distributed RDF Stores. Proceedings of The International Workshop on Semantic Big Data, 1:1–1:6. https://doi.org/10.1145/3066911.3066915 [PDF | DOI:10.1145/3066911.3066915 | URL | BibTeX | BibSonomy]
  • Polberg, S., Hunter, A., & Thimm, M. (20172017). Belief in Attacks in Epistemic Probabilistic Argumentation. Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM'17). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Sarasua, C., Staab, S., & Thimm, M. (2017). Methods for Intrinsic Evaluation of Links in the Web of Data. In E. Blomqvist, D. Maynard, A. Gangemi, R. Hoekstra, P. Hitzler, & O. Hartig (Eds.), The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I. (Vol. 10249, pp. 68–84). Springer. http://download.springer.com/static/pdf/209/chp%253A10.1007%252F978-3-319-58068-5_5.pdf?originUrl=http%3A%2F%2Flink.springer.com%2Fchapter%2F10.1007%2F978-3-319-58068-5_5&token2=exp=1496399887~acl=%2Fstatic%2Fpdf%2F209%2Fchp%25253A10.1007%25252F978-3-319-58068-5_5.pdf%3ForiginUrl%3Dhttp%253A%252F%252Flink.springer.com%252Fchapter%252F10.1007%252F978-3-319-58068-5_5*~hmac=652c34c3cb8cc77b262e89a2ae7f643c6cbcaf962c9e64524fc1d3eb28e9f74d [URL | BibTeX | BibSonomy]
  • Thimm, M., Baroni, P., Giacomin, M., & Vicig, P. (20172017). Probabilities on Extensions in Abstract Argumentation. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (20172017). The Formal Argumentation Libraries of Tweety. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., & Kersting, K. (20172017). Towards Argumentation-based Classification. Logical Foundations of Uncertainty and Machine Learning, Workshop at IJCAI'17. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (20172017). On the Expressivity of Inconsistency Measures (Extended Abstract). Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Atkinson, K., Baroni, P., Giacomin, M., Hunter, A., Prakken, H., Reed, C., Simari, G. R., Thimm, M., & Villata, S. (2017). Towards Artificial Argumentation. AI Magazine. http://www.mthimm.de [URL | BibTeX | BibSonomy]
  • Hunter, A., & Thimm, M. (2017). Probabilistic Reasoning with Abstract Argumentation Frameworks. Journal of Artificial Intelligence Research, 59, 565–611. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Potyka, N., & Thimm, M. (2017). Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. International Journal of Approximate Reasoning. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., & Villata, S. (2017). The First International Competition on Computational Models of Argumentation: Results and Analysis. Artificial Intelligence. http://mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2017). Measuring Inconsistency with Many-Valued Logics. International Journal of Approximate Reasoning. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2016

  • Corea, C., & Thimm, M. (20162016). Using Matrix Exponentials for Abstract Argumentation. Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA'16). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Hunter, A., & Thimm, M. (20162016). On Partial Information and Contradictions in Probabilistic Abstract Argumentation. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Potyka, N., Acar, E., Thimm, M., & Stuckenschmidt, H. (2016). Group Decision Making via Probabilistic Belief Merging. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), 3623–3629. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., & Wallner, J. P. (20162016). Some Complexity Results on Inconsistency Measurement. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Ulbricht, M., Thimm, M., & Brewka, G. (2016). Measuring Inconsistency in Answer Set Programs. Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16), 577–583. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Beierle, C., Brewka, G., & Thimm, M. (2016). Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday (Vol. 29). College Publications. [BibTeX | BibSonomy]
  • Gaggl, S. A., & Thimm, M. (Eds.). (2016). The Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16), Proceedings (By S. A. Gaggl & M. Thimm). http://arxiv.org/abs/1608.02441 [URL | BibTeX | BibSonomy]
  • Thimm, M., & Gabbay, D. M. (Eds.). (2016). Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation (By M. Thimm & D. M. Gabbay). IfCoLog Journal of Logics and their Applications, Volume 3 Number 2. http://www.collegepublications.co.uk/journals/ifcolog/?00006 [URL | BibTeX | BibSonomy]
  • Thimm, M., Cerutti, F., Strass, H., & Vallati, M. (Eds.). (2016). Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA16) (By M. Thimm, F. Cerutti, H. Strass, & M. Vallati; Vol. 1672). CEUR-WS.org. http://www.CEUR-WS.org/Vol-1672 [URL | BibTeX | BibSonomy]
  • Thimm, M. (2016). Uncertainty and Inconsistency in Knowledge Representation. Universität Koblenz-Landau, Department of Computer Science, Institute for Web Science and Technologies. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Hunter, A., & Thimm, M. (2016). Optimization of dialectical outcomes in dialogical argumentation. International Journal of Approximate Reasoning, 78, 73–102. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2016). The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. Künstliche Intelligenz. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2016). On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. Künstliche Intelligenz. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., Villata, S., Cerutti, F., Oren, N., Strass, H., & Vallati, M. (2016). Summary Report of The First International Competition on Computational Models of Argumentation. AI Magazine, 37(1), 102–104. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2016). On the Expressivity of Inconsistency Measures. Artificial Intelligence. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2016). Stream-based Inconsistency Measurement. International Journal of Approximate Reasoning, 68, 68–87. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2015

  • Potyka, N., & Thimm, M. (20152015). Probabilistic Reasoning with Inconsistent Beliefs using Inconsistency Measures. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., & Villata, S. (Eds.). (2015). System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15) (By M. Thimm & S. Villata). http://arxiv.org/abs/1510.05373 [URL | BibTeX | BibSonomy]

2014

  • Hunter, A., & Thimm, M. (2014). Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. ArXiv. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Berardi, R., Schiessl, M., Thimm, M., & Casanova, M. A. (20142014). The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases. Proceedings of the 25th International Conference on Database and Expert System Applications (DEXA'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Cerutti, F., Oren, N., Strass, H., Thimm, M., & Vallati, M. (20142014). A Benchmark Framework for a Computational Argumentation Competition (Demo paper). Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Hunter, A., & Thimm, M. (20142014). Probabilistic Argumentation with Epistemic Extensions. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Hunter, A., & Thimm, M. (20142014). Probabilistic Argument Graphs for Argumentation Lotteries. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Hunter, A., & Thimm, M. (20142014). Probabilistic Argumentation with Incomplete Information. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Leinberger, M., Scheglmann, S., Lämmel, R., Staab, S., Thimm, M., & Viegas, E. (20142014). Semantic Web Application development with LITEQ. Proceedings of the 13th International Semantic Web Conference (ISWC'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Potyka, N., & Thimm, M. (20142014). Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Sarasua, C., & Thimm, M. (20142014). Crowd Work CV: Recognition for Micro Work. Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14). [BibTeX | BibSonomy]
  • Sarasua, C., & Thimm, M. (20142014). Crowd Work CV: Recognition for Micro Work. Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Scheglmann, S., Leinberger, M., Lämmel, R., Staab, S., Thimm, M., & Viegas, E. (20142014). Property-based typing with LITEQ: Programming access to weakly-typed RDF data (Demo). Proceedings of the 13th International Semantic Web Conference (ISWC'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Scheglmann, S., Leinberger, M., Staab, S., Lämmel, R., Thimm, M., & Viegas, E. (20142014). IDE Integrated RDF Exploration, Access and RDF-based Code Typing with LITEQ. Proceedings of the 11th Extended Semantic Web Conference (ESWC'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., & Kern-Isberner, G. (20142014). On Controversiality of Arguments and Stratified Labelings. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (20142014). Towards Large-scale Inconsistency Measurement. Proceedings of the 37th German Conference on Artificial Intelligence (KI'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (20142014). Coherence and Compatibility of Markov Logic Networks. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (20142014). Tweety - A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2014). Strategic Argumentation in Multi-Agent Systems. Künstliche Intelligenz, Special Issue on Multi-Agent Decision Making. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2013

  • Thimm, M., & Kern-Isberner, G. (2013). Stratified Labelings for Abstract Argumentation (Preliminary Report). ArXiv. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Preusse, J., Kunegis, J., Thimm, M., Gottron, T., & Staab, S. (20132013). Structural Changes in Collaborative Knowledge Networks. Proceedings of the 7th International AAAI Conference on Weblogs and Social Media (ICWSM'13). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Rienstra, T., Thimm, M., & Oren, N. (20132013). Opponent Models with Uncertainty for Strategic Argumentation. Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Sarasua, C., & Thimm, M. (20132013). Microtask available, send us your CV! Proceedings of the International Workshop on Crowd Work and Human Computation (CrowdWork 2013), Co-Located with Social Computing and Its Applications (SCA2013). [BibTeX | BibSonomy]
  • Sarasua, C., & Thimm, M. (20132013). Microtask available, send us your CV! Proceedings of the International Workshop on Crowd Work and Human Computation. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Scheglmann, S., Staab, S., Thimm, M., & Gröner, G. (20132013). Locking for Concurrent Transactions on Ontologies. Proceedings of the 10th Extended Semantic Web Conference (ESWC'13). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (20132013). Dynamic Preference Aggregation under Preference Changes. Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB'13). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Tamargo, L. H., Thimm, M., Krümpelmann, P., Garc\'ıa, A. J., Falappa, M. A., Simari, G. R., & Kern-Isberner, G. (2013). Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems. In E. L. Fermé, D. M. Gabbay, & G. R. Simari (Eds.), Trends in Belief Revision and Argumentation Dynamics. College Publications. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Klusch, M., Thimm, M., & Paprzycki, M. (Eds.). (2013). Proceedings of the 11th German Conference on Multiagent System Technologies (MATES'13) (By M. Klusch, M. Thimm, & M. Paprzycki; Vol. 8076). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Timm, I. J., & Thimm, M. (Eds.). (2013). Proceedings of the 36th Annual German Conference on Artificial Intelligence (KI'13) (By I. J. Timm & M. Thimm; Vol. 8077). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2013). Inconsistency Measures for Probabilistic Logics. Artificial Intelligence, 197, 1–24. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2012

  • Dividino, R., Gröner, G., Scheglmann, S., & Thimm, M. (20122012). Ranking RDF with Provenance via Preference Aggregation. Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Görlitz, O., Thimm, M., & Staab, S. (20122012). SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. Proceedings of the 11th International Semantic Web Conference (ISWC'12). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Kern-Isberner, G., & Thimm, M. (20122012). A Ranking Semantics for First-Order Conditionals. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Tamargo, L. H., Garcia, A. J., Thimm, M., & Krümpelmann, P. (20122012). Argumentative Credibility-based Revision in Multi-Agent Systems. Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (20122012). A Probabilistic Semantics for Abstract Argumentation. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., Gottron, T., Gröner, G., & Scherp, A. (20122012). Linked Open Data: Are we Drowning in Information and Starving for Know-How? Proceedings of the Workshop "What Will the Semantic Web Look like 10 Years from Now?" at the 11th International Semantic Web Conference (ISWC'12). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Kern-Isberner, G., Beierle, C., Finthammer, M., & Thimm, M. (2012). Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. In Transactions on Large-Scale Data- and Knowledge-Centered Systems VI (Vol. 7600, pp. 31–75). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Finthammer, M., & Thimm, M. (2012). An Integrated Development Environment for Probabilistic Relational Reasoning. Logic Journal of the IGPL. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Tamargo, L. H., Garcia, A. J., Thimm, M., & Krümpelmann, P. (2012). Selective revision with multiple informants and argumentative support. Inteligencia Artificial, 50, 4–17. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., & Kern-Isberner, G. (2012). On Probabilistic Inference in Relational Conditional Logics. Logic Journal of the IGPL. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2011

  • Beierle, C., Finthammer, M., Kern-Isberner, G., & Thimm, M. (2011). Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. In J. Bach & S. Edelkamp (Eds.), Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11) (Vol. 7006, pp. 63–74). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Garcia, D. R., Gottifredi, S., Krümpelmann, P., Thimm, M., Kern-Isberner, G., Falappa, M. A., & Garcia, A. J. (2011). On Influence and Contractions in Defeasible Logic Programming. In J. P. Delgrande & W. Faber (Eds.), Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11) (Vol. 6645, pp. 199–204). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Kern-Isberner, G., Beierle, C., Finthammer, M., & Thimm, M. (2011). Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11), 6860, 27–46. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Krümpelmann, P., Thimm, M., Falappa, M. A., Garcia, A. J., Kern-Isberner, G., & Simari, G. R. (2011). Selective Revision by Deductive Argumentation. In S. Modgil, N. Oren, & F. Toni (Eds.), Theory and Applications of Formal Argumentation, Proceedings of the First International Workshop (TAFA'11, revised selected papers) (Vol. 7132, pp. 147–162). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Krümpelmann, P., Thimm, M., Kern-Isberner, G., & Fritsch, R. (2011). Motivating Agents in Unreliable Environments: A Computational Model. In F. Klügl & S. Ossowski (Eds.), Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11) (Vol. 6973, pp. 65–76). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2011). On Prototypical Indifference and Lifted Inference in Relational Probabilistic Conditional Logic. In C. Beierle & G. Kern-Isberner (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (pp. 1–15). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2011). Analyzing Inconsistencies in Probabilistic Conditional Knowledge Bases using Continuous Inconsistency Measures. In C. Beierle & G. Kern-Isberner (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (pp. 31–45). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., Kern-Isberner, G., & Fisseler, J. (2011). Relational Probabilistic Conditional Reasoning at Maximum Entropy. In W. Liu (Ed.), Proceedings of the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11) (Vol. 6717, pp. 447–458). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., & Garcia, A. J. (2011). On Strategic Argument Selection in Structured Argumentation Systems. In P. McBurney, I. Rahwan, & S. 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) (Vol. 6614, pp. 286–305). Springer-Verlag. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2011). Probabilistic Reasoning with Incomplete and Inconsistent Beliefs (Vol. 331). IOS Press. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Hölzgen, D., Vengels, T., Krümpelmann, P., Thimm, M., & Kern-Isberner, G. (2011). Argonauts - A Working System for Motivated Cooperative Agents. Annals of Mathematics and Artificial Intelligence, 61(4), 309–332. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2010

  • Beierle, C., Freund, B., Kern-Isberner, G., & Thimm, M. (20102010). Can Bobby demand Delivery? Towards a Knowledge-based System for Private Law. Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Beierle, C., Freund, B., Kern-Isberner, G., & Thimm, M. (20102010). Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Beierle, C., Finthammer, M., Kern-Isberner, G., & Thimm, M. (2010). Automated Reasoning for Relational Probabilistic Knowledge Representation. In J. Giesl & R. Hähnle (Eds.), Automated Reasoning: Fifth International Joint Conference (IJCAR'10) (No.6173; Issue 6173). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Kern-Isberner, G., & Thimm, M. (2010). Novel Semantical Approaches to Relational Probabilistic Conditionals. In F. Lin, U. Sattler, & M. Truszczyński (Eds.), Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10) (pp. 382–392). AAAI Press. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M. (2010). Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming. In P. McBurney, I. Rahwan, S. Parsons, & N. Maudet (Eds.), Argumentation in Multi-Agent Systems, Post-Proceedings of the Sixth International Workshop (ArgMAS), Budapest, Hungary, May 2009 (revised, selected and invited papers) (Vol. 6057). Springer. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., Finthammer, M., Loh, S., Kern-Isberner, G., & Beierle, C. (2010). A System for Relational Probabilistic Reasoning on Maximum Entropy. In H. W. Guesgen & R. C. Murray (Eds.), Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10). AAAI Press. http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
  • Thimm, M., & Garcia, A. J. (2010). Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks. In W. van der Hoek, G. A. Kaminka, Y. Lespérance, M. Luck, & S. Sen (Eds.), Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010 (AAMAS'10). http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]