You are here

Dr. Matthias Thimm

Wissenschaftlicher Mitarbeiter
B 112
+49 261 287-2715
thimm@uni-koblenz.de

I am a senior researcher and group leader of the focus group "Semantic Web". I received my PhD degree from the University of Dortmund (Germany) in 2011 with the topic "Probabilistic Reasoning with Incomplete and Inconsistent Beliefs". My current research focus is on application of formal methods of artificial intelligence in the semantic web. Further interests include probabilistic reasoning with incomplete and inconsistent information in propositional and first-order representations of knowledge. I am also interested in formal models of argumentation, in particular with respect to game theoretical aspects and for application in multi-agent systems, the relationship of argumentation and belief revision, agent architectures, and security issues in multi-agent systems.

Website: http://www.mthimm.de

Publications

2018
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).
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.
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.
Janke, D., Staab, S., & Thimm, M. (2018). Impact analysis of data placement strategies on query efforts in distributed RDF stores. Journal Of Web Semantics. doi:10.1016/j.websem.2018.02.002
Bona, G. D., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency Measurement in Probabilistic Logic. In J. Grant & Martinez, M. V. (Eds.), Measuring Inconsistency in Information (Vol. 73). College Publications.
Ulbricht, M., Thimm, M., & Brewka, G. (2018). Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics. In J. Grant & Martinez, M. V. (Eds.), Measuring Inconsistency in Information (Vol. 73). College Publications.
Ulbricht, M., Thimm, M., & Brewka, G. (2018). Measuring Strong Inconsistency. In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18). [Link]
Thimm, M. (2018). On the Evaluation of Inconsistency Measures. In J. Grant & Martinez, M. V. (Eds.), Measuring Inconsistency in Information (Vol. 73). College Publications.
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).
Cerutti, F., & Thimm, M. (2018). Probabilistic Augmentations for Knowledge Representation Formalisms. In Proceedings of the 2018 Workshop on Hybrid Reasoning and Learning (HRL'18). [Link]
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.
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.
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.
Brewka, G., Thimm, M., & Ulbricht, M. (2018). Strong Inconsistency. Artificial Intelligence. [Link]
2017
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). [Link]
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). [Link]
Potyka, N., & Thimm, M. (2017). Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. International Journal Of Approximate Reasoning. [Link]
Janke, D., Staab, S., & Thimm, M. (2017). Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. In R. Usbeck, Ngonga, A., Kim, J. -D., Choi, K. -S., Cimiano, P., Fundulaki, I., & Krithara, A. (Eds.), Joint Proceedings of BLINK2017: Benchmarking Linked Data and NLIWoD3: Natural Language Interfaces for the Web of Data (BLINK2017-NLIWoD3). Aachen. [Link]
Thimm, M. (2017). Measuring Inconsistency with Many-Valued Logics. International Journal Of Approximate Reasoning. [Link]
Sarasua, C., Staab, S., & Thimm, M. (2017). Methods for Intrinsic Evaluation of Links in the Web of Data. In E. Blomqvist, Maynard, D., Gangemi, A., Hoekstra, R., Hitzler, P., & Hartig, O. (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. [Link]
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 (p. 1:1--1:6). Chicago, Illinois: ACM. doi:10.1145/3066911.3066915
Thimm, M. (2017). On the Expressivity of Inconsistency Measures (Extended Abstract). In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). [Link]
Hunter, A., & Thimm, M. (2017). Probabilistic Reasoning with Abstract Argumentation Frameworks. Journal Of Artificial Intelligence Research, 59, 565--611. [Link]
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). [Link]
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). [Link]
Thimm, M., & Villata, S. (2017). The First International Competition on Computational Models of Argumentation: Results and Analysis. Artificial Intelligence. [Link]
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). [Link]
Thimm, M., & Kersting, K. (2017). Towards Argumentation-based Classification. In Logical Foundations of Uncertainty and Machine Learning, Workshop at IJCAI'17. [Link]
Atkinson, K., Baroni, P., Giacomin, M., Hunter, A., Prakken, H., Reed, C., et al. (2017). Towards Artificial Argumentation. Ai Magazine. [Link]
2016
Beierle, C., Brewka, G., & Thimm, M. (2016). Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday. Tributes (Vol. 29). College Publications.
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). [Link]
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). [Link]
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). [Link]
Thimm, M. (2016). On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. Künstliche Intelligenz. [Link]
Thimm, M. (2016). On the Expressivity of Inconsistency Measures. Artificial Intelligence. [Link]
Hunter, A., & Thimm, M. (2016). Optimization of dialectical outcomes in dialogical argumentation. International Journal Of Approximate Reasoning, 78, 73--102. [Link]
Thimm, M., Cerutti, F., Strass, H., & Vallati, M. (Eds.). (2016). Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA16) (Vol. 1672). CEUR-WS.org. [Link]
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). [Link]
Thimm, M., & 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. [Link]
Thimm, M. (2016). Stream-based Inconsistency Measurement. International Journal Of Approximate Reasoning, 68, 68-87. [Link]
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. [Link]
Gaggl, S. A., & Thimm, M. (Eds.). (2016). The Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16), Proceedings. [Link]
Thimm, M. (2016). The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. Künstliche Intelligenz. [Link]
Thimm, M. (2016). Uncertainty and Inconsistency in Knowledge Representation. Universität Koblenz-Landau, Department of Computer Science, Institute for Web Science and Technologies. [Link]
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). [Link]
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. [Link]
Thimm, M., & Villata, S. (Eds.). (2015). System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15). [Link]
2014
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). [Link]
Thimm, M. (2014). Coherence and Compatibility of Markov Logic Networks. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). [Link]
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). [Link]
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.
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). [Link]
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). [Link]
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). [Link]
Hunter, A., & Thimm, M. (2014). Probabilistic Argumentation with Epistemic Extensions. In Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe'14). [Link]
Hunter, A., & Thimm, M. (2014). Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. ArXiv. Retrieved from http://www.mthimm.de/publications.php
Hunter, A., & Thimm, M. (2014). Probabilistic Argumentation with Incomplete Information. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14). [Link]
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). [Link]
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). [Link]
Thimm, M. (2014). Strategic Argumentation in Multi-Agent Systems. Künstliche Intelligenz, Special Issue On Multi-Agent Decision Making. [Link]
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). [Link]
Thimm, M. (2014). Towards Large-scale Inconsistency Measurement. In Proceedings of the 37th German Conference on Artificial Intelligence (KI'14). [Link]
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). [Link]
2013
Tamargo, L. H., Thimm, M., Krümpelmann, P., Garc'ia, 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é, Gabbay, D. M., & Simari, G. R. (Eds.), Trends in Belief Revision and Argumentation Dynamics. College Publications. [Link]
Thimm, M. (2013). Dynamic Preference Aggregation under Preference Changes. In Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB'13). [Link]
Thimm, M. (2013). Inconsistency Measures for Probabilistic Logics. Artificial Intelligence, 197, 1--24. [Link]
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). [Link]
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).
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). [Link]
Klusch, M., Thimm, M., & Paprzycki, M. (Eds.). (2013). Proceedings of the 11th German Conference on Multiagent System Technologies (MATES'13) (Vol. 8076). Springer. [Link]
Timm, I. J., & Thimm, M. (Eds.). (2013). Proceedings of the 36th Annual German Conference on Artificial Intelligence (KI'13) (Vol. 8077). Springer. [Link]
Thimm, M., & Kern-Isberner, G. (2013). Stratified Labelings for Abstract Argumentation (Preliminary Report). ArXiv. Retrieved from http://www.mthimm.de/publications.php
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). [Link]
2012
Thimm, M. (2012). A Probabilistic Semantics for Abstract Argumentation. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12). [Link]
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). [Link]
Finthammer, M., & Thimm, M. (2012). An Integrated Development Environment for Probabilistic Relational Reasoning. Logic Journal Of The Igpl. [Link]
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). [Link]
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, p. 31--75). Springer. [Link]
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). [Link]
Thimm, M., & Kern-Isberner, G. (2012). On Probabilistic Inference in Relational Conditional Logics. Logic Journal Of The Igpl. [Link]
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). [Link]
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. [Link]
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). [Link]
2011
Thimm, M. (2011). Analyzing Inconsistencies in Probabilistic Conditional Knowledge Bases using Continuous Inconsistency Measures. In C. Beierle & Kern-Isberner, G. (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (p. 31--45). [Link]
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. [Link]
Beierle, C., Finthammer, M., Kern-Isberner, G., & Thimm, M. (2011). Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. In J. Bach & Edelkamp, S. (Eds.), Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11) (Vol. 7006, p. 63--74). Springer. [Link]
Krümpelmann, P., Thimm, M., Kern-Isberner, G., & Fritsch, R. (2011). Motivating Agents in Unreliable Environments: A Computational Model. In F. Klügl & Ossowski, S. (Eds.), Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11) (Vol. 6973, p. 65--76). Springer. [Link]
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 & Faber, W. (Eds.), Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11) (Vol. 6645, p. 199--204). Springer. [Link]
Thimm, M. (2011). On Prototypical Indifference and Lifted Inference in Relational Probabilistic Conditional Logic. In C. Beierle & Kern-Isberner, G. (Eds.), Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (p. 1--15). [Link]
Thimm, M., & Garcia, A. J. (2011). On Strategic Argument Selection in Structured Argumentation Systems. In P. McBurney, Rahwan, I., & Parsons, S. (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, p. 286--305). Springer-Verlag. [Link]
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, p. 27--46). Springer-Verlag. [Link]
Thimm, M. (2011). Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. Dissertations in Artificial Intelligence (Vol. 331). IOS Press. [Link]
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, p. 447--458). Springer. [Link]
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, Oren, N., & Toni, F. (Eds.), Theory and Applications of Formal Argumentation, Proceedings of the First International Workshop (TAFA'11, revised selected papers) (Vol. 7132, p. 147--162). Springer. [Link]
2010
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 & Murray, R. C. (Eds.), Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10). AAAI Press. [Link]
Beierle, C., Finthammer, M., Kern-Isberner, G., & Thimm, M. (2010). Automated Reasoning for Relational Probabilistic Knowledge Representation. In J. Giesl & Hähnle, R. (Eds.), Automated Reasoning: Fifth International Joint Conference (IJCAR'10). [Link]
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). [Link]
Thimm, M., & Garcia, A. J. (2010). Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks. In W. van der Hoek, Kaminka, G. A., Lespérance, Y., Luck, M., & Sen, S. (Eds.), Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010 (AAMAS'10). [Link]
Kern-Isberner, G., & Thimm, M. (2010). Novel Semantical Approaches to Relational Probabilistic Conditionals. In F. Lin, Sattler, U., & Truszczy'nski, M. (Eds.), Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10) (p. 382--392). AAAI Press. [Link]
Thimm, M. (2010). Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming. In P. McBurney, Rahwan, I., Parsons, S., & Maudet, N. (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. [Link]
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). [Link]