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

Network Theory and Dynamic Systems [2021]
Proseminar "Graphenalgorithmen" [2021]
Research Lab "Algorithms for Abstract Argumentation" [2021]
Introduction to Web Science [2020 / 2021]
Proseminar "Eye Tracking" [2020 / 2021]
Seminar "Formal Argumentation" [2020 / 2021]
Network Theory and Dynamic Systems [2020]
Projekt-/Forschungspraktikum "Eye tracking in word processing" [2020]
Semantic Web [2020]
Proseminar "Sortieralgorithmen" [2020]
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]

Publikationen

2020

Corea, C. and Thimm, M. 2020. Towards Inconsistency Measurement in Business Rule Bases. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI'20) (2020). [URL | BibTeX | BibSonomy]
Heyninck, J. et al. 2020. Interpreting Conditionals in Argumentative Environments. Proceedings of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20) (2020). [URL | BibTeX | BibSonomy]
Heyninck, J. et al. 2020. On the Correspondence Between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. Proceedings of the 33rd International FLAIRS Conference (FLAIRS'20) (2020). [URL | BibTeX | BibSonomy]
Klein, J. and Thimm, M. 2020. Revisiting SAT Techniques for Abstract Argumentation. Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20) (2020). [URL | BibTeX | BibSonomy]
Kuhlmann, I. and Thimm, M. 2020. An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming. Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20) (2020). [URL | BibTeX | BibSonomy]
Rienstra, T. et al. 2020. Independence and D-separation in Abstract Argumentation. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR) (2020). [URL | BibTeX | BibSonomy]
Santos Ribeiro Santos, J. et al. 2020. Measuring Disagreement with Interpolants. Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20) (2020). [URL | BibTeX | BibSonomy]
Shao, X. et al. 2020. Modelling Multivariate Ranking Functions with Min-Sum Networks. Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20) (2020). [URL | BibTeX | BibSonomy]
Skiba, K. and Thimm, M. 2020. Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics. Proceedings of the International Workshop on Computational Argumentation and Cognition (COGNITAR'20) (2020). [URL | BibTeX | BibSonomy]
Skiba, K. et al. 2020. Abstract Argumentation Frameworks with Fallible Evidence. Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20) (2020). [URL | BibTeX | BibSonomy]
Thimm, M. and Rienstra, T. 2020. Approximate Reasoning with ASPIC+ by Argument Sampling. Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20) (2020). [URL | BibTeX | BibSonomy]
Thimm, M. et al. 2020. On Computing the Set of Acceptable Arguments in Abstract Argumentation. Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20) (2020). [URL | BibTeX | BibSonomy]
Cerutti, F. et al. 2020. An experimental analysis on the similarity of argumentation semantics. Argument & Computation. (2020). [URL | BibTeX | BibSonomy]
Corea, C. and Thimm, M. 2020. On Quasi-Inconsistency and its Complexity. Artificial Intelligence. (2020), 103276. [URL | BibTeX | BibSonomy]
Hunter, A. et al. 2020. Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments. Artificial intelligence. (2020). [URL | BibTeX | BibSonomy]
Shao, X. et al. 2020. Towards Understanding and Arguing with Classifiers: Recent Progress. Datenbank-Spektrum. (2020). [URL | BibTeX | BibSonomy]
Ulbricht, M. et al. 2020. Handling and measuring inconsistency in non-monotonic logics. Artificial Intelligence. 286, (2020), 103344. [URL | BibTeX | BibSonomy]

2019

Kuhlmann, I. and Thimm, M. 2019. 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) (2019). [URL | BibTeX | BibSonomy]
Thimm, M. 2019. Inconsistency Measurement. Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19) (2019). [URL | BibTeX | BibSonomy]
Thimm, M. 2019. An Experimental Study on the Behaviour of Inconsistency Measures. Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19) (2019). [URL | BibTeX | BibSonomy]
Thimm, M. 2019. Dredd - A Heuristics-guided Backtracking Solver with Information Propagation for Abstract Argumentation. The Third International Competition on Computational Models of Argumentation (ICCMA'19) (2019). [URL | BibTeX | BibSonomy]
Brewka, G. et al. 2019. Strong Inconsistency. Artificial Intelligence. (2019). [URL | BibTeX | BibSonomy]
Cerutti, F. and Thimm, M. 2019. A General Approach to Reasoning with Probabilities. International Journal of Approximate Reasoning. (2019). [URL | BibTeX | BibSonomy]
Thimm, M. and Wallner, J.P. 2019. On the Complexity of Inconsistency Measurement. Artificial Intelligence. (2019). [URL | BibTeX | BibSonomy]

2018

Cerutti, F. and Thimm, M. 2018. Probabilistic Augmentations for Knowledge Representation Formalisms. Proceedings of the 2018 Workshop on Hybrid Reasoning and Learning (HRL'18) (2018). [URL | BibTeX | BibSonomy]
Cerutti, F. and Thimm, M. 2018. A General Approach to Reasoning with Probabilities (Extended Abstract). Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018). [BibTeX | BibSonomy]
Rienstra, T. et al. 2018. Probabilistic Abstract Argumentation based on SCC Decomposability. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018). [BibTeX | BibSonomy]
Rienstra, T. and Thimm, M. 2018. Ranking Functions over Labellings. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18) (Warsaw, Poland, 2018). [BibTeX | BibSonomy]
Thimm, M. 2018. Stochastic Local Search Algorithms for Abstract Argumentation under Stable Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18) (Warsaw, Poland, 2018). [BibTeX | BibSonomy]
Thimm, M. et al. 2018. Probabilistic Graded Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18) (Warsaw, Poland, 2018). [BibTeX | BibSonomy]
Thimm, M. et al. 2018. Epistemic Attack Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18) (Warsaw, Poland, 2018). [BibTeX | BibSonomy]
Ulbricht, M. et al. 2018. Measuring Strong Inconsistency. Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18) (2018). [URL | BibTeX | BibSonomy]
Bona, G.D. et al. 2018. Inconsistency Measurement in Probabilistic Logic. Measuring Inconsistency in Information. J. Grant and M.V. Martinez, eds. College Publications. [BibTeX | BibSonomy]
Kern-Isberner, G. and Thimm, M. 2018. Towards Conditional Logic Semantics for Abstract Dialectical Frameworks. Argumentation-based Proofs of Endearment - Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday. C.I. Chesnevar et al., eds. College Publications. [URL | BibTeX | BibSonomy]
Thimm, M. 2018. On the Evaluation of Inconsistency Measures. Measuring Inconsistency in Information. J. Grant and M.V. Martinez, eds. College Publications. [BibTeX | BibSonomy]
Ulbricht, M. et al. 2018. Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics. Measuring Inconsistency in Information. J. Grant and M.V. Martinez, eds. College Publications. [BibTeX | BibSonomy]
Janke, D. et al. 2018. Impact analysis of data placement strategies on query efforts in distributed RDF stores. Journal of Web Semantics. (2018). DOI:https://doi.org/10.1016/j.websem.2018.02.002. [PDF | DOI:10.1016/j.websem.2018.02.002 | URL | BibTeX | BibSonomy]
Teymourlouie, M. et al. 2018. Detecting Hidden Errors in an Ontology Using Contextual Knowledge. Expert Systems with Applications. 95, (2018), 312–323. [BibTeX | BibSonomy]

2017

Brewka, G. et al. 2017. Strong Inconsistency in Nonmonotonic Reasoning. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17) (2017). [URL | BibTeX | BibSonomy]
Geilen, N. and Thimm, M. 2017. Heureka - A General Heuristic Backtracking Solver for Abstract Argumentation. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17) (2017). [URL | BibTeX | BibSonomy]
Janke, D. et al. 2017. Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. Joint Proceedings of BLINK2017: Benchmarking Linked Data and NLIWoD3: Natural Language Interfaces for the Web of Data (BLINK2017-NLIWoD3) (Aachen, 2017). [PDF | URL | BibTeX | BibSonomy]
Janke, D. et al. 2017. On Data Placement Strategies in Distributed RDF Stores. Proceedings of The International Workshop on Semantic Big Data (Chicago, Illinois, 2017), 1:1–1:6. [PDF | DOI:10.1145/3066911.3066915 | URL | BibTeX | BibSonomy]
Polberg, S. et al. 2017. Belief in Attacks in Epistemic Probabilistic Argumentation. Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM'17) (2017). [URL | BibTeX | BibSonomy]
Sarasua, C. et al. 2017. Methods for Intrinsic Evaluation of Links in the Web of Data. The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I. (2017), 68–84. [URL | BibTeX | BibSonomy]
Thimm, M. et al. 2017. Probabilities on Extensions in Abstract Argumentation. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17) (2017). [URL | BibTeX | BibSonomy]
Thimm, M. 2017. The Formal Argumentation Libraries of Tweety. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17) (2017). [URL | BibTeX | BibSonomy]
Thimm, M. and Kersting, K. 2017. Towards Argumentation-based Classification. Logical Foundations of Uncertainty and Machine Learning, Workshop at IJCAI'17 (2017). [URL | BibTeX | BibSonomy]
Thimm, M. 2017. On the Expressivity of Inconsistency Measures (Extended Abstract). Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17) (2017). [URL | BibTeX | BibSonomy]
Atkinson, K. et al. 2017. Towards Artificial Argumentation. AI Magazine. (2017). [URL | BibTeX | BibSonomy]
Hunter, A. and Thimm, M. 2017. Probabilistic Reasoning with Abstract Argumentation Frameworks. Journal of Artificial Intelligence Research. 59, (2017), 565–611. [URL | BibTeX | BibSonomy]
Potyka, N. and Thimm, M. 2017. Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. International Journal of Approximate Reasoning. (2017). [URL | BibTeX | BibSonomy]
Thimm, M. and Villata, S. 2017. The First International Competition on Computational Models of Argumentation: Results and Analysis. Artificial Intelligence. (2017). [URL | BibTeX | BibSonomy]
Thimm, M. 2017. Measuring Inconsistency with Many-Valued Logics. International Journal of Approximate Reasoning. (2017). [URL | BibTeX | BibSonomy]

2016

Corea, C. and Thimm, M. 2016. Using Matrix Exponentials for Abstract Argumentation. Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA'16) (2016). [URL | BibTeX | BibSonomy]
Hunter, A. and Thimm, M. 2016. On Partial Information and Contradictions in Probabilistic Abstract Argumentation. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16) (2016). [URL | BibTeX | BibSonomy]
Potyka, N. et al. 2016. Group Decision Making via Probabilistic Belief Merging. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16) (2016), 3623–3629. [URL | BibTeX | BibSonomy]
Thimm, M. and Wallner, J.P. 2016. Some Complexity Results on Inconsistency Measurement. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16) (2016). [URL | BibTeX | BibSonomy]
Ulbricht, M. et al. 2016. Measuring Inconsistency in Answer Set Programs. Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16) (2016), 577–583. [URL | BibTeX | BibSonomy]
Beierle, C. et al. 2016. Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday. College Publications. [BibTeX | BibSonomy]
Gaggl, S.A. and Thimm, M. eds. 2016. The Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16), Proceedings. [URL | BibTeX | BibSonomy]
Thimm, M. and Gabbay, D.M. eds. 2016. Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation. IfCoLog Journal of Logics and their Applications, Volume 3 Number 2. [URL | BibTeX | BibSonomy]
Thimm, M. et al. eds. 2016. Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA16). CEUR-WS.org. [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. [URL | BibTeX | BibSonomy]
Hunter, A. and Thimm, M. 2016. Optimization of dialectical outcomes in dialogical argumentation. International Journal of Approximate Reasoning. 78, (2016), 73–102. [URL | BibTeX | BibSonomy]
Thimm, M. 2016. The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. Künstliche Intelligenz. (2016). [URL | BibTeX | BibSonomy]
Thimm, M. 2016. On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. Künstliche Intelligenz. (2016). [URL | BibTeX | BibSonomy]
Thimm, M. et al. 2016. Summary Report of The First International Competition on Computational Models of Argumentation. AI Magazine. 37, 1 (2016), 102–104. [URL | BibTeX | BibSonomy]
Thimm, M. 2016. On the Expressivity of Inconsistency Measures. Artificial Intelligence. (2016). [URL | BibTeX | BibSonomy]
Thimm, M. 2016. Stream-based Inconsistency Measurement. International Journal of Approximate Reasoning. 68, (2016), 68–87. [URL | BibTeX | BibSonomy]

2015

Potyka, N. and Thimm, M. 2015. Probabilistic Reasoning with Inconsistent Beliefs using Inconsistency Measures. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15) (Buenos Aires, Argentina, 2015). [URL | BibTeX | BibSonomy]
Thimm, M. and Villata, S. eds. 2015. System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15). [URL | BibTeX | BibSonomy]

2014

Hunter, A. and Thimm, M. 2014. Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. ArXiv. [URL | BibTeX | BibSonomy]
Berardi, R. et al. 2014. 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) (2014). [URL | BibTeX | BibSonomy]
Cerutti, F. et al. 2014. A Benchmark Framework for a Computational Argumentation Competition (Demo paper). Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14) (2014). [URL | BibTeX | BibSonomy]
Hunter, A. and Thimm, M. 2014. Probabilistic Argumentation with Epistemic Extensions. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe'14) (2014). [URL | BibTeX | BibSonomy]
Hunter, A. and Thimm, M. 2014. Probabilistic Argument Graphs for Argumentation Lotteries. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14) (2014). [URL | BibTeX | BibSonomy]
Hunter, A. and Thimm, M. 2014. Probabilistic Argumentation with Incomplete Information. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14) (2014). [URL | BibTeX | BibSonomy]
Leinberger, M. et al. 2014. Semantic Web Application development with LITEQ. Proceedings of the 13th International Semantic Web Conference (ISWC'14) (2014). [URL | BibTeX | BibSonomy]
Potyka, N. and Thimm, M. 2014. Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14) (2014). [URL | BibTeX | BibSonomy]
Sarasua, C. and Thimm, M. 2014. Crowd Work CV: Recognition for Micro Work. Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14) (Barcelona, Spain, 2014). [BibTeX | BibSonomy]
Sarasua, C. and Thimm, M. 2014. Crowd Work CV: Recognition for Micro Work. Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14) (2014). [URL | BibTeX | BibSonomy]
Scheglmann, S. et al. 2014. Property-based typing with LITEQ: Programming access to weakly-typed RDF data (Demo). Proceedings of the 13th International Semantic Web Conference (ISWC'14) (2014). [URL | BibTeX | BibSonomy]
Scheglmann, S. et al. 2014. IDE Integrated RDF Exploration, Access and RDF-based Code Typing with LITEQ. Proceedings of the 11th Extended Semantic Web Conference (ESWC'14) (2014). [URL | BibTeX | BibSonomy]
Thimm, M. and Kern-Isberner, G. 2014. On Controversiality of Arguments and Stratified Labelings. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14) (2014). [URL | BibTeX | BibSonomy]
Thimm, M. 2014. Towards Large-scale Inconsistency Measurement. Proceedings of the 37th German Conference on Artificial Intelligence (KI'14) (2014). [URL | BibTeX | BibSonomy]
Thimm, M. 2014. Coherence and Compatibility of Markov Logic Networks. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14) (2014). [URL | BibTeX | BibSonomy]
Thimm, M. 2014. 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) (2014). [URL | BibTeX | BibSonomy]
Thimm, M. 2014. Strategic Argumentation in Multi-Agent Systems. Künstliche Intelligenz, Special Issue on Multi-Agent Decision Making. (2014). [URL | BibTeX | BibSonomy]

2013

Thimm, M. and Kern-Isberner, G. 2013. Stratified Labelings for Abstract Argumentation (Preliminary Report). ArXiv. [URL | BibTeX | BibSonomy]
Preusse, J. et al. 2013. Structural Changes in Collaborative Knowledge Networks. Proceedings of the 7th International AAAI Conference on Weblogs and Social Media (ICWSM'13) (2013). [URL | BibTeX | BibSonomy]
Rienstra, T. et al. 2013. Opponent Models with Uncertainty for Strategic Argumentation. Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13) (2013). [URL | BibTeX | BibSonomy]
Sarasua, C. and Thimm, M. 2013. 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) (2013). [BibTeX | BibSonomy]
Sarasua, C. and Thimm, M. 2013. Microtask available, send us your CV! Proceedings of the International Workshop on Crowd Work and Human Computation (2013). [URL | BibTeX | BibSonomy]
Scheglmann, S. et al. 2013. Locking for Concurrent Transactions on Ontologies. Proceedings of the 10th Extended Semantic Web Conference (ESWC'13) (2013). [URL | BibTeX | BibSonomy]
Thimm, M. 2013. Dynamic Preference Aggregation under Preference Changes. Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB'13) (2013). [URL | BibTeX | BibSonomy]
Tamargo, L.H. et al. 2013. Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems. Trends in Belief Revision and Argumentation Dynamics. E.L. Fermé et al., eds. College Publications. [URL | BibTeX | BibSonomy]
Klusch, M. et al. eds. 2013. Proceedings of the 11th German Conference on Multiagent System Technologies (MATES'13). Springer. [URL | BibTeX | BibSonomy]
Timm, I.J. and Thimm, M. eds. 2013. Proceedings of the 36th Annual German Conference on Artificial Intelligence (KI'13). Springer. [URL | BibTeX | BibSonomy]
Thimm, M. 2013. Inconsistency Measures for Probabilistic Logics. Artificial Intelligence. 197, (2013), 1–24. [URL | BibTeX | BibSonomy]

2012

Dividino, R. et al. 2012. Ranking RDF with Provenance via Preference Aggregation. Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12) (2012). [URL | BibTeX | BibSonomy]
Görlitz, O. et al. 2012. SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. Proceedings of the 11th International Semantic Web Conference (ISWC'12) (2012). [URL | BibTeX | BibSonomy]
Kern-Isberner, G. and Thimm, M. 2012. A Ranking Semantics for First-Order Conditionals. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12) (2012). [URL | BibTeX | BibSonomy]
Tamargo, L.H. et al. 2012. Argumentative Credibility-based Revision in Multi-Agent Systems. Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12) (2012). [URL | BibTeX | BibSonomy]
Thimm, M. 2012. A Probabilistic Semantics for Abstract Argumentation. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12) (2012). [URL | BibTeX | BibSonomy]
Thimm, M. et al. 2012. 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) (2012). [URL | BibTeX | BibSonomy]
Kern-Isberner, G. et al. 2012. Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Transactions on Large-Scale Data- and Knowledge-Centered Systems VI. Springer. 31–75. [URL | BibTeX | BibSonomy]
Finthammer, M. and Thimm, M. 2012. An Integrated Development Environment for Probabilistic Relational Reasoning. Logic Journal of the IGPL. (2012). [URL | BibTeX | BibSonomy]
Tamargo, L.H. et al. 2012. Selective revision with multiple informants and argumentative support. Inteligencia Artificial. 50, (2012), 4–17. [URL | BibTeX | BibSonomy]
Thimm, M. and Kern-Isberner, G. 2012. On Probabilistic Inference in Relational Conditional Logics. Logic Journal of the IGPL. (2012). [URL | BibTeX | BibSonomy]

2011

Beierle, C. et al. 2011. Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11) (2011), 63–74. [URL | BibTeX | BibSonomy]
Garcia, D.R. et al. 2011. On Influence and Contractions in Defeasible Logic Programming. Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11) (2011), 199–204. [URL | BibTeX | BibSonomy]
Kern-Isberner, G. et al. 2011. Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11) (2011), 27–46. [URL | BibTeX | BibSonomy]
Krümpelmann, P. et al. 2011. Selective Revision by Deductive Argumentation. Theory and Applications of Formal Argumentation, Proceedings of the First International Workshop (TAFA'11, revised selected papers) (2011), 147–162. [URL | BibTeX | BibSonomy]
Krümpelmann, P. et al. 2011. Motivating Agents in Unreliable Environments: A Computational Model. Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11) (2011), 65–76. [URL | BibTeX | BibSonomy]
Thimm, M. 2011. On Prototypical Indifference and Lifted Inference in Relational Probabilistic Conditional Logic. Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (2011), 1–15. [URL | BibTeX | BibSonomy]
Thimm, M. 2011. Analyzing Inconsistencies in Probabilistic Conditional Knowledge Bases using Continuous Inconsistency Measures. Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (2011), 31–45. [URL | BibTeX | BibSonomy]
Thimm, M. et al. 2011. Relational Probabilistic Conditional Reasoning at Maximum Entropy. Proceedings of the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11) (2011), 447–458. [URL | BibTeX | BibSonomy]
Thimm, M. and Garcia, A.J. 2011. On Strategic Argument Selection in Structured Argumentation Systems. Post-Proceedings of the Seventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), Toronto, Canada, May 2010 (revised, selected and invited papers) (2011), 286–305. [URL | BibTeX | BibSonomy]
Thimm, M. 2011. Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. IOS Press. [URL | BibTeX | BibSonomy]
Hölzgen, D. et al. 2011. Argonauts - A Working System for Motivated Cooperative Agents. Annals of Mathematics and Artificial Intelligence. 61, 4 (2011), 309–332. [URL | BibTeX | BibSonomy]

2010

Beierle, C. et al. 2010. Can Bobby demand Delivery? Towards a Knowledge-based System for Private Law. Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10) (2010). [URL | BibTeX | BibSonomy]
Beierle, C. et al. 2010. 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) (2010). [URL | BibTeX | BibSonomy]
Beierle, C. et al. 2010. Automated Reasoning for Relational Probabilistic Knowledge Representation. Automated Reasoning: Fifth International Joint Conference (IJCAR'10) (2010). [URL | BibTeX | BibSonomy]
Kern-Isberner, G. and Thimm, M. 2010. Novel Semantical Approaches to Relational Probabilistic Conditionals. Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10) (2010), 382–392. [URL | BibTeX | BibSonomy]
Thimm, M. 2010. Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming. Argumentation in Multi-Agent Systems, Post-Proceedings of the Sixth International Workshop (ArgMAS), Budapest, Hungary, May 2009 (revised, selected and invited papers) (2010). [URL | BibTeX | BibSonomy]
Thimm, M. et al. 2010. A System for Relational Probabilistic Reasoning on Maximum Entropy. Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10) (2010). [URL | BibTeX | BibSonomy]
Thimm, M. and Garcia, A.J. 2010. Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks. Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010 (AAMAS'10) (2010). [URL | BibTeX | BibSonomy]