You are here

Publications

2017
Sengupta, K., Sun, J., Menges, R., Kumar, C., & Staab, S. (2017). Analyzing the Impact of Cognitive Load in Evaluating Gaze-based Typing. In 30th IEEE International Symposium on Computer-based Medical Systems (Vol. Special Track on Multimodal Interfaces for Natural Human Computer Interaction: Theory and Applications). IEEE.
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]
Sengupta, K., Menges, R., Kumar, C., & Staab, S. (2017). GazeTheKey: Interactive Keys to Integrate Word Predictions for Gaze-based Text Entry. In G. A. Papadopoulos, Kuflik, T., Chen, F., Duarte, C., & Fu, W. -T. (Eds.), IUI Companion (pp. 121-124). ACM. [Link]
Menges, R., Kumar, C., Müller, D., & Sengupta, K. (2017). GazeTheWeb: A Gaze-Controlled Web Browser. In Proceedings of the 14th Web for All Conference.
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]
Thimm, M. (2017). Measuring Inconsistency with Many-Valued Logics. International Journal Of Approximate Reasoning. [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]
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]
Leinberger, M., Lämmel, R., & Staab, S. (2017). The Essence of Functional Programming on Semantic Data. In Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (p. 750--776). Springer.
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]
Kunegis, J., Karimi, F., & Jun, S. (2017). The Problem of Action at a Distance in Networks and the Emergence of Preferential Attachment from Triadic Closure. Journal Of Interdisciplinary Methodologies And Issues In Science, 2. doi:10.18713/JIMIS-140417-2-4
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
Furbach, U., & Schon, C. (2016). Commonsense Reasoning meets Theorem Proving. In URANIA@AI*IA (Vol. 1802, p. 1--12). CEUR-WS.org.
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.
Menges, R., Kumar, C., Sengupta, K., & Staab, S. (2016). eyeGUI: A Novel Framework for Eye-Controlled User Interfaces. In .
Homscheid, D., Schaarschmidt, M., & Staab, S. (2016). Firm-Sponsored Developers in Open Source Software Projects: A Social Capital Perspective. In Proceedings of the 24th European Conference on Information Systems (ECIS).
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]
Leinberger, M., Lämmel, R., & Staab, S. (2016). LambdaDL: Syntax and Semantics (Preliminary Report). Corr, abs/1610.07033. [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]
Wechselberger, U. (2016). Music Game Enjoyment and Natural Mapping Beyond Intuitiveness. Simulation & Gaming, 47(3), 304-323. doi:10.1177/1046878116651024
Staab, S., Stalla-Bourdillon, S., & Carmichael, L. (2016). Observing and Recommending from a Social Web with Biases. Corr, abs/1604.07180. [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]
d'Amato, C., Staab, S., Tettamanzi, A., Minh, T., & Gandon, F. (2016). Ontology Enrichment by Discovering Multi-Relational Association Rules from Ontological Knowledge Bases. In Proc. of the ACM Int. Symposium on Applied Computing (SAC 2016). ACM. [Link]
Hunter, A., & Thimm, M. (2016). Optimization of dialectical outcomes in dialogical argumentation. International Journal Of Approximate Reasoning, 78, 73--102. [Link]
Sun, J., Kunegis, J., & Staab, S. (2016). Predicting User Roles in Social Networks using Transfer Learning with Feature Transformation. In Proc. ICDM Workshop on Data Mining in Networks. IEEE. doi:10.1109/ICDMW.2016.0026
Nejdl, W., Hall, W., Parigi, P., & Staab, S. (Eds.). (2016). Proceedings of the 8th ACM Conference on Web Science, WebSci 2016, Hannover, Germany, May 22-25, 2016. ACM. doi:10.1145/2908131
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]
Ji, Y., Sun, J., Nica, A., Jerzak, Z., Hackenbroich, G., & Fetzer, C. (2016). Quality-Driven Disorder Handling for M-way Sliding Window Stream Joins. In 2016 IEEE 32nd International Conference on Data Engineering (ICDE) (p. 493--504). IEEE. doi:10.1109/ICDE.2016.7498265
Scheglmann, S., Leinberger, M., Gottron, T., Staab, S., & Lämmel, R. (2016). SEPAL: Schema Enhanced Programming for Linked Data. Ki, 30(2), 189--192. doi:10.1007/s13218-015-0418-4
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]
Sun, J., & Kunegis, J. (2016). Wiki-talk Datasets. doi:10.5281/zenodo.49561
2015
Vogel, I. C., Milde, J., Stengel, K., Staab, S., Kling, C. C., & Kunegis, J. (2015). Glaubwürdigkeit und Vertrauen von Online-News. Datenschutz Und Datensicherheit, 40(5), 1--5.
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]
Perl, J., Wagner, C., Kunegis, J., & Staab, S. (2015). Twitter as a Political Network -- Predicting the Following and Unfollowing Behavior of German Politicians. In Proc. Web Science Conf.
Kling, C. C., Kunegis, J., Hartmann, H., Strohmaier, M., & Staab, S. (2015). Voting Behaviour and Power in Online Democracy: A Study of LiquidFeedback in Germany's Pirate Party. In Proc. Int. Conf. on Weblogs and Social Media. [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]
Lämmel, R., Leinberger, M., Schmorleiz, T., & Varanovich, A. (2014). Comparison of Feature Implementations across Languages, Technologies, and Styles. In Proc. of IEEE CSMR-WCRE 2014. IEEE.
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). [Link]
Lämmel, R., Varanovich, A., Leinberger, M., Schmorleiz, T., & Favre, J. -M. (2014). Declarative Software Development: Distilled Tutorial. In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (p. 1--6). doi:10.1145/2643135.2643163
Kling, C. C., Kunegis, J., Sizov, S., & Staab, S. (2014). Detecting Non-Gaussian Geographical Topics in Tagged Photo Collections. In WSDM'14: Proceedings of the 7th International Conference on Web Search and Data Mining. [Link]
Wechselberger, U. (2014). Genuine Guitars and Game Enjoyment in Music Games. In W. C. Kriz (Ed.), THE SHIFT FROM TEACHING TO LEARNING: Individual, Collective and Organizational Learning through Gaming Simulation. (p. 198--211). Bielefeld, Germany: W. Bertelsmann Verlag GmbH & Co. KG. [Link]
Scheglmann, S., Lämmel, R., Leinberger, M., Staab, S., Thimm, M., & Viegas, E. (2014). IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ. In The Semantic Web: ESWC 2014 Satellite Events - ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers (p. 505--510). doi:10.1007/978-3-319-11955-7_75
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]
Staab, S., Scheglmann, S., Leinberger, M., & Gottron, T. (2014). Programming the Semantic Web. In V. Presutti, d'Amato, C., Gandon, F., d'Aquin, M., Staab, S., & Tordai, A. (Eds.), The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings (Vol. 8465, p. 1--5). Springer. doi:10.1007/978-3-319-07443-6_1
Scheglmann, S., Leinberger, M., Lämmel, R., Staab, S., & Thimm, M. (2014). Property-based typing with LITEQ. In Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy, October 21, 2014. (p. 149--152). [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]
Schaefer, C., Kuich, M., Menges, R., Schmidt, K., & Walber, T. (2014). Schau genau! - an Eye Tracking Game With a Purpose. 1St. Workshop On The Applications For Gaze In Games At Chi Play 2014.
Leinberger, M., Scheglmann, S., Lämmel, R., Staab, S., Thimm, M., & Viegas, E. (2014). Semantic Web Application Development with LITEQ. In The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II (p. 212--227). doi:10.1007/978-3-319-11915-1_14
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. [Link]
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]
Favre, J. -M., Lammel, R., Leinberger, M., Schmorleiz, T., & Varanovich, A. (2012). Linking Documentation and Source Code in a Software Chrestomathy. In WCRE (pp. 335-344). IEEE Computer Society.
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]
Kling, C., & Gottron, T. (2011). Detecting Culture in Coordinates: Cultural Areas in Social Media. In DETECT'11: Proceedings of the International Workshop on DETecting and Exploiting Cultural diversiTy on the Social Web (pp. 11-15).
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]
Kling, C., Sizov, S., & Staab, S. (2011). Virtual Field Research with Social Media: A Pilot Case of Biometeorology. In Poster Proceedings of ACM WebSci '11 - Third Int. Conference on Web Science. Koblenz.
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]