PD Dr. Matthias Thimm

[zur Übersicht]

Wissenschaftlicher Mitarbeiter

Details

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

Projekte

Lehre

Algorithmen und Datenstrukturen [2019 / 2020]
Seminar "Measuring Inconsistency" [2019 / 2020]
Proseminar "Optimierungsalgorithmen" [2019]
Semantic Web [2019]
Algorithmen und Datenstrukturen [2018 / 2019]
Artificial Intelligence 1 [2018]
Course Introduction for All New Web Science Students (Sommer 2018) [2018]
Forschungspraktikum "Artificial intelligence approaches for real-time strategy games" [2018]
Algorithmen und Datenstrukturen [2017 / 2018]
Seminar Formale Argumentation [2017 / 2018]
Künstliche Intelligenz 1 [2017]
Semantic Web [2016]
Algorithmen und Datenstrukturen [2015 / 2016]
Proseminar "Graphalgorithmen" [2015]
Algorithmen und Datenstrukturen [2014 / 2015]
Seminar "Knowledge Representation in the Semantic Web" [2014 / 2015]
Forschungspraktikum [2014]
Semantic Web [2014]
Projektpraktikum Mobile Sensor [2013 / 2014]
Forschungspraktikum Mobile Sensors [2013 / 2014]
Semantic Web [2013]
Seminar "Semantic Web" [2013]

Offene Abschlussarbeiten

Approximate Inference for Argumentation in AI [Master]
Priority Queue Implementations for Abstract Argumentation Solvers [Bachelor]

Publikationen

2019

Kuhlmann, I., & Thimm, M. (2019). Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study. In Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19). Retrieved from http://www.mthimm.de/pub/2019/Kuhlmann_2019.pdf [URL | BibTeX | BibSonomy]
Thimm, M. (2019). Inconsistency Measurement. In Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19). Retrieved from http://www.mthimm.de/pub/2019/Thimm_2019d.pdf [URL | BibTeX | BibSonomy]
Thimm, M. (2019). An Experimental Study on the Behaviour of Inconsistency Measures. In Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19). Retrieved from http://www.mthimm.de/pub/2019/Thimm_2019c.pdf [URL | BibTeX | BibSonomy]
Thimm, M. (2019). Dredd - A Heuristics-guided Backtracking Solver with Information Propagation for Abstract Argumentation. In The Third International Competition on Computational Models of Argumentation (ICCMA'19). Retrieved from http://www.mthimm.de/pub/2019/Thimm_2019.pdf [URL | BibTeX | BibSonomy]
Brewka, G., Thimm, M., & Ulbricht, M. (2019). Strong Inconsistency. Artificial Intelligence. Retrieved from 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. Retrieved from 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. Retrieved from http://www.mthimm.de/pub/2019/Thimm_2019a.pdf [URL | BibTeX | BibSonomy]

2018

Cerutti, F., & Thimm, M. (2018). Probabilistic Augmentations for Knowledge Representation Formalisms. In Proceedings of the 2018 Workshop on Hybrid Reasoning and Learning (HRL'18). Retrieved from http://www.mthimm.de/pub/2018/Cerutti_2018b.pdf [URL | BibTeX | BibSonomy]
Cerutti, F., & Thimm, M. (2018). A General Approach to Reasoning with Probabilities (Extended Abstract). In 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. (2018). Probabilistic Abstract Argumentation based on SCC Decomposability. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18). [BibTeX | BibSonomy]
Rienstra, T., & Thimm, M. (2018). Ranking Functions over Labellings. In Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18). Warsaw, Poland. [BibTeX | BibSonomy]
Thimm, M. (2018). Stochastic Local Search Algorithms for Abstract Argumentation under Stable Semantics. In Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18). Warsaw, Poland. [BibTeX | BibSonomy]
Thimm, M., Cerutti, F., & Rienstra, T. (2018). Probabilistic Graded Semantics. In Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18). Warsaw, Poland. [BibTeX | BibSonomy]
Thimm, M., Polberg, S., & Hunter, A. (2018). Epistemic Attack Semantics. In Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18). Warsaw, Poland. [BibTeX | BibSonomy]
Ulbricht, M., Thimm, M., & Brewka, G. (2018). Measuring Strong Inconsistency. In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18). Retrieved from 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, 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, … G. I. Simari, C. I. Chesnevar, M. A. Falappa, E. Ferme, A. J. Garcia, A. G. Maguitman, D. C. Martinez, … 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. Retrieved from 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, 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, 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. (2017). Strong Inconsistency in Nonmonotonic Reasoning. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Geilen, N., & Thimm, M. (2017). 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). Retrieved from 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, 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). Aachen. Retrieved from 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. In Proceedings of The International Workshop on Semantic Big Data (pp. 1:1–1:6). Chicago, Illinois: ACM. https://doi.org/10.1145/3066911.3066915 [PDF | DOI:10.1145/3066911.3066915 | URL | BibTeX | BibSonomy]
Polberg, S., Hunter, A., & Thimm, M. (2017). Belief in Attacks in Epistemic Probabilistic Argumentation. In Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM'17). Retrieved from 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, 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. Retrieved from 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. (2017). Probabilities on Extensions in Abstract Argumentation. In Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2017). The Formal Argumentation Libraries of Tweety. In Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M., & Kersting, K. (2017). Towards Argumentation-based Classification. In Logical Foundations of Uncertainty and Machine Learning, Workshop at IJCAI'17. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2017). On the Expressivity of Inconsistency Measures (Extended Abstract). In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Atkinson, K., Baroni, P., Giacomin, M., Hunter, A., Prakken, H., Reed, C., … Villata, S. (2017). Towards Artificial Argumentation. AI Magazine. Retrieved from 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. Retrieved from 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. Retrieved from 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. Retrieved from http://mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2017). Measuring Inconsistency with Many-Valued Logics. International Journal of Approximate Reasoning. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2016

Corea, C., & Thimm, M. (2016). Using Matrix Exponentials for Abstract Argumentation. In Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA'16). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Hunter, A., & Thimm, M. (2016). 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). Retrieved from 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. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16) (pp. 3623–3629). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M., & Wallner, J. P. (2016). Some Complexity Results on Inconsistency Measurement. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Ulbricht, M., Thimm, M., & Brewka, G. (2016). Measuring Inconsistency in Answer Set Programs. In Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16) (pp. 577–583). Retrieved from 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. (S. A. Gaggl & M. Thimm). Retrieved from 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. (M. Thimm & D. M. Gabbay). IfCoLog Journal of Logics and their Applications, Volume 3 Number 2. Retrieved from 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). (M. Thimm, F. Cerutti, H. Strass, & M. Vallati) (Vol. 1672). CEUR-WS.org. Retrieved from 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. Retrieved from 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. Retrieved from 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. Retrieved from 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. Retrieved from 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. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2016). On the Expressivity of Inconsistency Measures. Artificial Intelligence. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2016). Stream-based Inconsistency Measurement. International Journal of Approximate Reasoning, 68, 68–87. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2015

Potyka, N., & Thimm, M. (2015). Probabilistic Reasoning with Inconsistent Beliefs using Inconsistency Measures. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15). Buenos Aires, Argentina. Retrieved from 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). (M. Thimm & S. Villata). Retrieved from http://arxiv.org/abs/1510.05373 [URL | BibTeX | BibSonomy]

2014

Hunter, A., & Thimm, M. (2014). Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. ArXiv. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Berardi, R., Schiessl, M., Thimm, M., & Casanova, M. A. (2014). 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). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Cerutti, F., Oren, N., Strass, H., Thimm, M., & Vallati, M. (2014). A Benchmark Framework for a Computational Argumentation Competition (Demo paper). In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Hunter, A., & Thimm, M. (2014). Probabilistic Argumentation with Epistemic Extensions. In Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Hunter, A., & Thimm, M. (2014). Probabilistic Argument Graphs for Argumentation Lotteries. In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Hunter, A., & Thimm, M. (2014). Probabilistic Argumentation with Incomplete Information. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Leinberger, M., Scheglmann, S., Lämmel, R., Staab, S., Thimm, M., & Viegas, E. (2014). Semantic Web Application development with LITEQ. In Proceedings of the 13th International Semantic Web Conference (ISWC'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Potyka, N., & Thimm, M. (2014). Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Sarasua, C., & Thimm, M. (2014). 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. [BibTeX | BibSonomy]
Sarasua, C., & Thimm, M. (2014). Crowd Work CV: Recognition for Micro Work. In Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Scheglmann, S., Leinberger, M., Lämmel, R., Staab, S., Thimm, M., & Viegas, E. (2014). Property-based typing with LITEQ: Programming access to weakly-typed RDF data (Demo). In Proceedings of the 13th International Semantic Web Conference (ISWC'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Scheglmann, S., Leinberger, M., Staab, S., Lämmel, R., Thimm, M., & Viegas, E. (2014). IDE Integrated RDF Exploration, Access and RDF-based Code Typing with LITEQ. In Proceedings of the 11th Extended Semantic Web Conference (ESWC'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M., & Kern-Isberner, G. (2014). On Controversiality of Arguments and Stratified Labelings. In Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2014). Towards Large-scale Inconsistency Measurement. In Proceedings of the 37th German Conference on Artificial Intelligence (KI'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2014). Coherence and Compatibility of Markov Logic Networks. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2014). 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). Retrieved from 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. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2013

Thimm, M., & Kern-Isberner, G. (2013). Stratified Labelings for Abstract Argumentation (Preliminary Report). ArXiv. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Preusse, J., Kunegis, J., Thimm, M., Gottron, T., & Staab, S. (2013). Structural Changes in Collaborative Knowledge Networks. In Proceedings of the 7th International AAAI Conference on Weblogs and Social Media (ICWSM'13). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Rienstra, T., Thimm, M., & Oren, N. (2013). Opponent Models with Uncertainty for Strategic Argumentation. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Sarasua, C., & Thimm, M. (2013). Microtask available, send us your CV! In 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. (2013). Microtask available, send us your CV! In Proceedings of the International Workshop on Crowd Work and Human Computation. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Scheglmann, S., Staab, S., Thimm, M., & Gröner, G. (2013). Locking for Concurrent Transactions on Ontologies. In Proceedings of the 10th Extended Semantic Web Conference (ESWC'13). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2013). Dynamic Preference Aggregation under Preference Changes. In Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB'13). Retrieved from 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, E. L. Fermé, D. M. Gabbay, & G. R. Simari (Eds.), Trends in Belief Revision and Argumentation Dynamics. College Publications. Retrieved from 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). (M. Klusch, M. Thimm, & M. Paprzycki) (Vol. 8076). Springer. Retrieved from 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). (I. J. Timm & M. Thimm) (Vol. 8077). Springer. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2013). Inconsistency Measures for Probabilistic Logics. Artificial Intelligence, 197, 1–24. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2012

Dividino, R., Gröner, G., Scheglmann, S., & Thimm, M. (2012). Ranking RDF with Provenance via Preference Aggregation. In Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Görlitz, O., Thimm, M., & Staab, S. (2012). SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. In Proceedings of the 11th International Semantic Web Conference (ISWC'12). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Kern-Isberner, G., & Thimm, M. (2012). A Ranking Semantics for First-Order Conditionals. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Tamargo, L. H., Garcia, A. J., Thimm, M., & Krümpelmann, P. (2012). Argumentative Credibility-based Revision in Multi-Agent Systems. In Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2012). A Probabilistic Semantics for Abstract Argumentation. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M., Gottron, T., Gröner, G., & Scherp, A. (2012). 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). Retrieved from 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. Retrieved from 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. Retrieved from 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. Retrieved from 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. Retrieved from 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, J. Bach & S. Edelkamp (Eds.), Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11) (Vol. 7006, pp. 63–74). Springer. Retrieved from 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, 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. Retrieved from 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. In Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11) (Vol. 6860, pp. 27–46). Springer-Verlag. Retrieved from 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, 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. Retrieved from 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, 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. Retrieved from 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, C. Beierle & G. Kern-Isberner (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (pp. 1–15). Retrieved from 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, C. Beierle & G. Kern-Isberner (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (pp. 31–45). Retrieved from 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, 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. Retrieved from 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, 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. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Thimm, M. (2011). Probabilistic Reasoning with Incomplete and Inconsistent Beliefs (Vol. 331). IOS Press. Retrieved from 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. Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]

2010

Beierle, C., Freund, B., Kern-Isberner, G., & Thimm, M. (2010). Can Bobby demand Delivery? Towards a Knowledge-based System for Private Law. In Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]
Beierle, C., Freund, B., Kern-Isberner, G., & Thimm, M. (2010). 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). Retrieved from 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, J. Giesl & R. Hähnle (Eds.), Automated Reasoning: Fifth International Joint Conference (IJCAR'10). Retrieved from 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, 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. Retrieved from 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, 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. Retrieved from 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, H. W. Guesgen & R. C. Murray (Eds.), Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10). AAAI Press. Retrieved from 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, 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). Retrieved from http://www.mthimm.de/publications.php [URL | BibTeX | BibSonomy]