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

Publikationen

Dies ist eine Liste unserer Publikationen aus letzter Zeit.

2019

  • Baris, I., Schmelzeisen, L., & Staab, S. (2019). CLEARumor at SemEval-2019 Task 7: ConvoLving ELMo Against Rumors. In Proceedings of the 13th International Workshop on Semantic Evaluation (pp. 1105–1109). Minneapolis, Minnesota, USA: Association for Computational Linguistics. Retrieved from https://aclweb.org/anthology/papers/S/S19/S19-2193/ [PDF | URL | BibTeX | BibSonomy]
  • Boukhers, Z., Ambhore, S., & Staab, S. (2019). An End-to-end Approach for Extracting and Segmenting High-Variance References from PDF Documents. In Proceedings of the 23rd ACM/IEEE Joint Conference on Digital Libraries (pp. 1–10). ACM. https://doi.org/10.1109/JCDL.2019.00035 [DOI:10.1109/JCDL.2019.00035 | URL | BibTeX | BibSonomy]
  • Furbach, U., Krämer, T., & Schon, C. (2019). Names are not just Sound and Smoke: Word Embeddings for Axiom Selection. In to appear, to appear (Ed.), CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019. [PDF | BibTeX | BibSonomy]
  • Kügler, P., Schon, C., Schleich, B., Staab, S., & Wartzack, S. (2019). Cascading Forgetting in Product Development Challenges and Evaluation. In to appear, to appear (Ed.), 22nd International Conference on Engineering Design, 5 -- 8 August 2019, Delft, The Netherlands. [BibTeX | BibSonomy]
  • Lohr, M., Hund, J., Jürjens, J., & Staab, S. (2019). Ensuring Genuineness for Selectively Disclosed Confidential Data using Distributed Ledgers: Applications to Rail Wayside Monitoring. In 2nd IEEE International Conference on Blockchain (pp. 477–482). IEEE. https://doi.org/10.1109/Blockchain.2019.00072 [PDF | DOI:10.1109/Blockchain.2019.00072 | BibTeX | BibSonomy]
  • Sengupta, K., Menges, R., Kumar, C., & Staab, S. (2019). Impact of Variable Positioning of Text Prediction in Gaze-based Text Entry. In Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications (pp. 74:1–74:9). Denver, Colorado: ACM. https://doi.org/10.1145/3317956.3318152 [PDF | DOI:10.1145/3317956.3318152 | URL | BibTeX | BibSonomy]
  • Siebert, S., Stolzenburg, F., & Schon, C. (2019). Commonsense Reasoning using Theorem Proving and Machine Learning. In To appear in Proceedings of CD-MAKE Cross Domain Conference for Machine Learning and Knowledge Extraction, Canterbury, UK. Springer. [PDF | BibTeX | BibSonomy]
  • Skubella, A., Janke, D., & Staab, S. (2019). BeSEPPI: Semantic-based benchmarking of property path implementations. In The Semantic Web - 15th International Conference (06/06/19). Retrieved from https://eprints.soton.ac.uk/429356/ [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/2018/Brewka_2018.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]
  • Furbach, U., Hölldobler, S., Ragni, M., Schon, C., & Stolzenburg, F. (2019). Cognitive Reasoning: A Personal View. KI, 33(3). [BibTeX | BibSonomy]
  • Menges, R., Kumar, C., & Staab, S. (2019). Improving User Experience of Eye Tracking-based Interaction: Introspecting and Adapting Interfaces. ACM Trans. Comput.-Hum. Interact. [BibTeX | BibSonomy]
  • Schmelzeisen, L., & Staab, S. (2019). Learning Taxonomies of Concepts and not Words using Contextualized Word Representations: A Position Paper. CoRR, abs/1902.02169. Retrieved from https://arxiv.org/abs/1902.02169 [PDF | URL | BibTeX | BibSonomy]
  • Schon, C., Siebert, S., & Stolzenburg, F. (2019). The CoRg Project -- Cognitive Reasoning. KI, 33(3). [PDF | BibTeX | BibSonomy]
  • Seifer, P., Leinberger, M., Lämmel, R., & Staab, S. (2019). Semantic Query Integration With Reason. Programming Journal, 3(3), 13. https://doi.org/10.22152/programming-journal.org/2019/3/13 [PDF | DOI:10.22152/programming-journal.org/2019/3/13 | 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]
  • Janke, D., & Staab, S. (2018). Compressing and Maintaining Statistics Information about Resource Occurrences in a Distributed RDF Store. In M. van Erp, M. Atre, V. Lopez, K. Srinivas, & C. Fortuna, M. van Erp, M. Atre, V. Lopez, K. Srinivas, & C. Fortuna (Eds.), ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks. Aachen. Retrieved from http://ceur-ws.org/Vol-2180/paper-27.pdf [PDF | URL | BibTeX | BibSonomy]
  • Kügler, P., Kestel, P., Schon, C., Marian, M., Schleich, B., Staab, S., & Wartzack, S. (2018). Ontology-based approach for the use of Intentional Forgetting in product development. In D. Marjanovic, M. Storga, N. Pavkovic, N. Bojcetic, & S. Skec, D. Marjanovic, M. Storga, N. Pavkovic, N. Bojcetic, & S. Skec (Eds.), DESIGN 2018 - 15th International Design Conference. https://doi.org/10.21278/idc.2018.0402 [PDF | DOI:10.21278/idc.2018.0402 | URL | BibTeX | BibSonomy]
  • Menges, R., Tamimi, H., Kumar, C., Walber, T., Schaefer, C., & Staab, S. (2018). Enhanced Representation of Web Pages for Usability Analysis with Eye Tracking. In Proceedings of the 2018 ACM Symposium on Eye Tracking Research & Applications (pp. 18:1–18:9). Warsaw, Poland: ACM. https://doi.org/10.1145/3204493.3204535 [PDF | DOI:10.1145/3204493.3204535 | URL | 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]
  • Schon, C., Staab, S., Kügler, P., Kestel, P., Schleich, B., & Wartzack, S. (2018). Metaproperty-guided Deletion from the Instance-Level of a Knowledge Base. In to appear in Knowledge Engineering and Knowledge Management - 21st International Conference, EKAW 2018, Nancy, France, November 12-16. [PDF | BibTeX | BibSonomy]
  • Sengupta, K., Ke, M., Menges, R., Kumar, C., & Staab, S. (2018). Hands-free web browsing: enriching the user experience with gaze and voice modality. In B. Sharif & K. Krejtz, B. Sharif & K. Krejtz (Eds.), ETRA (pp. 88:1–88:3). ACM. Retrieved from http://dblp.uni-trier.de/db/conf/etra/etra2018.html#SenguptaKMKS18 [PDF | URL | BibTeX | BibSonomy]
  • Sun, J., Staab, S., & Karimi, F. (2018). Decay of Relevance in Exponentially Growing Networks. In H. Akkermans, K. Fontaine, I. Vermeulen, G.-J. Houben, & M. S. Weber, H. Akkermans, K. Fontaine, I. Vermeulen, G.-J. Houben, & M. S. Weber (Eds.), Proceedings of the 10th ACM Conference on Web Science (WebSci '18) (pp. 343–351). ACM. Retrieved from http://dblp.uni-trier.de/db/conf/websci/websci2018.html#0011SK18 [PDF | URL | 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]
  • Timm, I. J., Staab, S., Siebers, M., Schon, C., Schmid, U., Sauerwald, K., … Beierle, C. (2018). Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. In KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings (pp. 357–365). Springer. https://doi.org/10.1007/978-3-030-00111-7\_30 [PDF | DOI:10.1007/978-3-030-00111-7\_30 | URL | 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]
  • Janke, D., & Staab, S. (2018). Storing and Querying Semantic Data in the Cloud. In C. d'Amato & M. Theobald, C. d'Amato & M. Theobald (Eds.), Reasoning Web. Learning, Uncertainty, Streaming, and Scalability: 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22--26, 2018, Tutorial Lectures (pp. 173–222). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-00338-8_7 [PDF | DOI:10.1007/978-3-030-00338-8_7 | URL | 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]
  • Lichtenberg, N., Menges, R., Ageev, V., George, A. A. P., Heimer, P., Imhof, D., & Lawonn, K. (2018). Analyzing Residue Surface Proximity to Interpret Molecular Dynamics. Computer Graphics Forum. https://doi.org/10.1111/cgf.13427 [DOI:10.1111/cgf.13427 | BibTeX | BibSonomy]
  • Sun, J., Staab, S., & Kunegis, J. (2018). Understanding Social Networks Using Transfer Learning. Computer, 51(6), 52–60. https://doi.org/10.1109/MC.2018.2701640 [PDF | DOI:10.1109/MC.2018.2701640 | 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]
  • Hartenfels, C., Leinberger, M., Lämmel, R., & Staab, S. (2017). Type-Safe Programming with OWL in Semantics4J. In N. Nikitina, D. Song, A. Fokoue, & P. Haase, N. Nikitina, D. Song, A. Fokoue, & P. Haase (Eds.), International Semantic Web Conference (Posters, Demos & Industry Tracks) (Vol. 1963). CEUR-WS.org. Retrieved from http://dblp.uni-trier.de/db/conf/semweb/iswc2017p.html#HartenfelsLLS17 [PDF | URL | BibTeX | BibSonomy]
  • Janke, D., Staab, S., & Thimm, M. (2017). Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. In N. Nikitina, D. Song, A. Fokoue, & P. Haase, N. Nikitina, D. Song, A. Fokoue, & P. Haase (Eds.), ISWC 2017 Posters & Demonstrations and Industry Tracks. Aachen. Retrieved from http://ceur-ws.org/Vol-1963/paper489.pdf [PDF | URL | BibTeX | BibSonomy]
  • Janke, D., Skubella, A., & Staab, S. (2017). Evaluating SPARQL 1.1 Property Path Support. 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-04 [PDF | 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]
  • Kestel, P., Luft, T., Schon, C., Kügler, P., Bayer, T., Schleich, B., … Wartzack, S. (2017). Konzept zur zielgerichteten, ontologiebasierten Wiederverwendung von Produktmodellen. In Design for X. Beiträge zum 28. DfX-Symposium. Hamburg: TuTech Verlag. [BibTeX | BibSonomy]
  • Kumar, C., Menges, R., & Staab, S. (2017). Assessing the usability of gaze-adapted Interface against conventional eye-based input emulation. 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. [PDF | BibTeX | BibSonomy]
  • Kumar, C., Menges, R., Müller, D., & Staab, S. (2017). Chromium Based Framework to Include Gaze Interaction in Web Browser. In Proceedings of the 26th International Conference on World Wide Web Companion (pp. 219–223). Perth, Australia: International World Wide Web Conferences Steering Committee. https://doi.org/10.1145/3041021.3054730 [PDF | DOI:10.1145/3041021.3054730 | URL | BibTeX | BibSonomy]
  • 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 (pp. 750–776). Springer. [PDF | BibTeX | BibSonomy]
  • Menges, R., Kumar, C., Wechselberger, U., Schaefer, C., Walber, T., & Staab, S. (2017). Schau genau! A Gaze-Controlled 3D Game for Entertainment and Education. In Journal of Eye Movement Research (Vol. 10, p. 220). Retrieved from https://bop.unibe.ch/JEMR/article/view/4182 [PDF | URL | BibTeX | BibSonomy]
  • 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. [PDF | 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]
  • Schon, C., & Staab, S. (2017). Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes. In S. Borgo, O. Kutz, F. Loebe, F. Neuhaus, K. Adrian, M. Antovic, … A. Vizedom, S. Borgo, O. Kutz, F. Loebe, F. Neuhaus, K. Adrian, M. Antovic, … A. Vizedom (Eds.), Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. (Vol. 2050). CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-2050/DEW_paper_2.pdf [PDF | URL | BibTeX | BibSonomy]
  • Sengupta, K., Kumar, C., & Staab, S. (2017). Usability Heuristics for Eye-controlled User Interfaces. 19th European Conference on Eye Movements. Retrieved from http://cogain2017.cogain.org/camready/poster3-Sengupta.pdf [URL | BibTeX | BibSonomy]
  • 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. [PDF | BibTeX | BibSonomy]
  • 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, T. Kuflik, F. Chen, C. Duarte, & W.-T. Fu, G. A. Papadopoulos, T. Kuflik, F. Chen, C. Duarte, & W.-T. Fu (Eds.), IUI Companion (pp. 121–124). ACM. Retrieved from http://dblp.uni-trier.de/db/conf/iui/iui2017c.html#SenguptaMKS17 [PDF | 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]
  • Schon, C., & Furbach, U. (Eds.). (2017). Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017. (C. Schon & U. Furbach) (Vol. 1994). CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-1994 [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]
  • 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. https://doi.org/10.18713/JIMIS-140417-2-4 [PDF | DOI:10.18713/JIMIS-140417-2-4 | 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

  • Schon, C. (2016). Techniques for Optimized Reasoning in Description Logic Knowledge Bases (PhD dissertation). Univesität Koblenz-Landau, Koblenz, Germany. [BibTeX | BibSonomy]
  • 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]
  • Furbach, U., & Schon, C. (2016). Commonsense Reasoning meets Theorem Proving. In URANIA@AI*IA (Vol. 1802, pp. 1–12). CEUR-WS.org. [BibTeX | BibSonomy]
  • Furbach, U., & Schon, C. (2016). Commonsense Reasoning Meets Theorem Proving. In M. Klusch, R. Unland, O. Shehory, A. Pokahr, & S. Ahrndt, M. Klusch, R. Unland, O. Shehory, A. Pokahr, & S. Ahrndt (Eds.), Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings (Vol. 9872, pp. 3–17). Springer. https://doi.org/10.1007/978-3-319-45889-2_1 [PDF | DOI:10.1007/978-3-319-45889-2_1 | URL | BibTeX | BibSonomy]
  • Furbach, U., & Schon, C. (2016). Commonsense Reasoning meets Theorem Proving. In Proceedings of the 1st Conference on Artificial Intelligence and Theorem Proving AITP'16, Obergurgl, Austria. [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]
  • 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) (pp. 493–504). IEEE. https://doi.org/10.1109/ICDE.2016.7498265 [PDF | DOI:10.1109/ICDE.2016.7498265 | BibTeX | BibSonomy]
  • Menges, R., Kumar, C., Sengupta, K., & Staab, S. (2016). eyeGUI: A Novel Framework for Eye-Controlled User Interfaces. [PDF | 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]
  • 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. https://doi.org/10.1109/ICDMW.2016.0026 [PDF | DOI:10.1109/ICDMW.2016.0026 | 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]
  • Kumar, C., Menges, R., & Staab, S. (2016). Eye-Controlled Interfaces for Multimedia Interaction. IEEE MultiMedia, 23(4), 6–13. https://doi.org/10.1109/MMUL.2016.52 [DOI:10.1109/MMUL.2016.52 | URL | BibTeX | BibSonomy]
  • Leinberger, M., Lämmel, R., & Staab, S. (2016). LambdaDL: Syntax and Semantics (Preliminary Report). CoRR, abs/1610.07033. Retrieved from http://arxiv.org/abs/1610.07033 [PDF | URL | BibTeX | BibSonomy]
  • Scheglmann, S., Leinberger, M., Gottron, T., Staab, S., & Lämmel, R. (2016). SEPAL: Schema Enhanced Programming for Linked Data. KI, 30(2), 189–192. https://doi.org/10.1007/s13218-015-0418-4 [PDF | DOI:10.1007/s13218-015-0418-4 | 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]
  • Wechselberger, U. (2016). Music Game Enjoyment and Natural Mapping Beyond Intuitiveness. Simulation & Gaming, 47(3), 304–323. https://doi.org/10.1177/1046878116651024 [DOI:10.1177/1046878116651024 | URL | BibTeX | BibSonomy]
  • Sun, J., & Kunegis, J. (20162016). Wiki-talk Datasets. https://doi.org/10.5281/zenodo.49561 [PDF | DOI:10.5281/zenodo.49561 | URL | BibTeX | BibSonomy]

2015

  • Furbach, U., Gordon, A. S., & Schon, C. (2015). Tackling Benchmark Problems of Commonsense Reasoning. In U. Furbach & C. Schon, U. Furbach & C. Schon (Eds.), Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction - CADE-25, Berlin, Germany, 2015 (Vol. 1412). CEUR-WS.org. [PDF | BibTeX | BibSonomy]
  • Furbach, U., & Schon, C. (2015). Deontic Logic for Human Reasoning. In T. Eiter, H. Strass, M. Truszczynski, & S. Woltran, T. Eiter, H. Strass, M. Truszczynski, & S. Woltran (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (Vol. 9060, pp. 63–80). Springer. [BibTeX | BibSonomy]
  • 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. Retrieved from http://arxiv.org/abs/1503.07723 [URL | BibTeX | BibSonomy]
  • 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]
  • Sarasua, C. (2015). Programmatic Access to Crowdsourced Human Computation for Designing and Enhancing Interlinking. In Proceedings of the ESWC Developers Workshop 2015 co-located with the 12th Extended Semantic Web Conference (ESWC 2015), Portoroz, Slovenia, May 31, 2015. (pp. 29–34). Retrieved from http://ceur-ws.org/Vol-1361/paper6.pdf [URL | BibTeX | BibSonomy]
  • Furbach, U., Pelzer, B., & Schon, C. (2015). Automated Reasoning in the Wild. In A. P. Felty & A. Middeldorp, A. P. Felty & A. Middeldorp (Eds.), Automated Deduction - CADE-25 (Vol. 9195, pp. 55–72). Springer International Publishing. https://doi.org/10.1007/978-3-319-21401-6_3 [DOI:10.1007/978-3-319-21401-6_3 | URL | BibTeX | BibSonomy]
  • Furbach, U., & Schon, C. (Eds.). (2015). Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015. (U. Furbach & C. Schon) (Vol. 1412). CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-1412 [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]
  • Fay, D., Haddadi, H., Seto, M. C., Wang, H., & Kling, C. C. (2015). An exploration of fetish social networks and communities. CoRR, abs/1511.01436. Retrieved from http://dblp.uni-trier.de/db/journals/corr/corr1511.html#FayHSWK15 [URL | BibTeX | BibSonomy]
  • Furbach, U., Schon, C., Stolzenburg, F., Weis, K.-H., & Wirth, C.-P. (2015). The RatioLog Project: Rational Extensions of Logical Reasoning. KI - Künstliche Intelligenz, 29(3), 271–277. [BibTeX | BibSonomy]
  • Furbach, U., Schon, C., & Stolzenburg, F. (2015). Cognitive Systems and Question Answering. Industrie 4.0 Management, 2015(1), 29–32. [BibTeX | BibSonomy]
  • Sarasua, C., Simperl, E., Noy, N., Bernstein, A., & Leimeister, J. M. (2015). Crowdsourcing and the Semantic Web: A Research Manifesto. Human Computation, 2(1), 3–17. Retrieved from http://hcjournal.org/ojs/index.php?journal=jhc&page=article&op=view&path%5B%5D=45&path%5B%5D=51 [URL | BibTeX | BibSonomy]
  • 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. [BibTeX | BibSonomy]
  • 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. [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]
  • Furbach, U., Schon, C., & Stolzenburg, F. (2014). Automated Reasoning in Deontic Logic. In M. N. Murty, X. He, C. R. Rao, & P. Weng, M. N. Murty, X. He, C. R. Rao, & P. Weng (Eds.), Multi-disciplinary Trends in Artificial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings (Vol. 8875, pp. 57–68). Springer. https://doi.org/10.1007/978-3-319-13365-2_6 [DOI:10.1007/978-3-319-13365-2_6 | 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 The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II (pp. 212–227). https://doi.org/10.1007/978-3-319-11915-1_14 [PDF | DOI:10.1007/978-3-319-11915-1_14 | 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]
  • 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 (pp. 1–6). https://doi.org/10.1145/2643135.2643163 [DOI:10.1145/2643135.2643163 | URL | BibTeX | BibSonomy]
  • 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. [PDF | 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., 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 (pp. 505–510). https://doi.org/10.1007/978-3-319-11955-7_75 [PDF | DOI:10.1007/978-3-319-11955-7_75 | URL | BibTeX | BibSonomy]
  • 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. (pp. 149–152). Retrieved from http://ceur-ws.org/Vol-1272/paper_118.pdf [PDF | 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]
  • Staab, S., Scheglmann, S., Leinberger, M., & Gottron, T. (2014). Programming the Semantic Web. In V. Presutti, C. d'Amato, F. Gandon, M. d'Aquin, S. Staab, & A. Tordai, V. Presutti, C. d'Amato, F. Gandon, M. d'Aquin, S. Staab, & A. Tordai (Eds.), The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings (Vol. 8465, pp. 1–5). Springer. https://doi.org/10.1007/978-3-319-07443-6_1 [DOI:10.1007/978-3-319-07443-6_1 | 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]
  • Wechselberger, U. (2014). Genuine Guitars and Game Enjoyment in Music Games. In W. C. Kriz, W. C. Kriz (Ed.), THE SHIFT FROM TEACHING TO LEARNING: Individual, Collective and Organizational Learning through Gaming Simulation. (pp. 198–211). Bielefeld, Germany: W. Bertelsmann Verlag GmbH & Co. KG. Retrieved from http://www.wechselberger.org/wp-content/uploads/2014/07/wechselberger_isaga2014.pdf [URL | BibTeX | BibSonomy]
  • Bernstein, A., Leimeister, J. M., Noy, N., Sarasua, C., & Simperl, E. (2014). Crowdsourcing and the Semantic Web (Dagstuhl Seminar 14282). Dagstuhl Reports, 4(7), 25–51. [BibTeX | BibSonomy]
  • 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. [PDF | 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]
  • Bender, M., Pelzer, B., & Schon, C. (2013). System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. In M. P. Bonacina, M. P. Bonacina (Ed.), Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings (Vol. 7898). Springer. [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. (2013). Need human intervention? Use microtask crowdsourcing! In Poster Session at INFORMATIK 2013. [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]
  • Furbach, U., & Schon, C. (2013). Semantically Guided Evolution of SHI ABoxes. In D. Galmiche & D. Larchey-Wendling, D. Galmiche & D. Larchey-Wendling (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings (Vol. 8123). Springer. [PDF | 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]
  • 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. [PDF | 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]
  • Sarasua, C., Simperl, E., & Noy, N. F. (2012). CrowdMAP: Crowdsourcing Ontology Alignment with Microtasks. In P. Cudré-Mauroux, J. Heflin, E. Sirin, T. Tudorache, J. Euzenat, M. Hauswirth, … E. Blomqvist, P. Cudré-Mauroux, J. Heflin, E. Sirin, T. Tudorache, J. Euzenat, M. Hauswirth, … E. Blomqvist (Eds.), The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I. (Vol. 7649, pp. 525–541). Retrieved from https://link.springer.com/chapter/10.1007%2F978-3-642-35176-1_33 [URL | BibTeX | BibSonomy]
  • Sarasua, C. (2012). Crowdsourced Interlinking on the Web of Data. In EKAW 2012 Doctoral Symposium. Galway, Ireland. [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]
  • Linaza, M. T., Sarasua, C., Díez, G., & and Elisabeth Jorge. (2011). Assessing Film Heritage as a City Promotion Tool. In Proceedings of the 12th International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage (VAST 2011). [BibTeX | BibSonomy]
  • Schon, C. (2011). Linkless Normal Form for ALC Concepts and TBoxes. In J. Bach & S. Edelkamp, J. Bach & S. Edelkamp (Eds.), KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, 2011. Proceedings (Vol. 7006). Springer. [PDF | 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]
  • Simperl, E., Sarasua, C., Ungrangsi, R., & Bürger, T. (2011). Ontology Metadata for Ontology Reuse. Int. Journal of Metadata, Semantics and Ontologies. [BibTeX | BibSonomy]
  • Sarasua, C., Bürger, T., Bermúdez, J., & Linaza., M. T. (20112011). How to Reuse Existing Ontologies when Publishing Linked Data. [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]
  • Bilbao, S., Herrero, J., Sarasua, C., Rubiera, E., Salinas, J. R., & and Vicente Llácer. (2010). INFUTUR – La internet del Futuro y su aplicación al eTurismo. In Proceedings of VIII Congreso Turismo y Tecnologías de la Información y las Comunicaciones (TURITEC 2010). Málaga, Spain. [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]
  • Marimon, D., Sarasua, C., Carrasco, P., Álvarez, R., Montesa, J., Adamek, T., … Gascó, P. (2010). MobiAR: Tourist Experiences through Mobile Augmented Reality. In Proceedings of 2010 NEM Summit. Barcelona, Spain. [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]

2009

  • Furbach, U., Günther, H., & Obermaier, C. (2009). A Knowledge Compilation Technique for ALC TBoxes. In H. C. Lane & H. W. Guesgen, H. C. Lane & H. W. Guesgen (Eds.), Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA. AAAI Press. [BibTeX | BibSonomy]
  • Linaza, M. T., Sarasua, C., & Cobos, Y. (2009). MPEG-7 Compliant Indexation Tool for Multimedia Tourist Content. In Proceedings of Information and Communication Technologies in Tourism 2009 (ENTER 2009). Innsbruck, Austria. [BibTeX | BibSonomy]
  • Obermaier, C., & Wagner, M. (2009). Towards an evolved lower bound for the most circular partition of a square. In Proceedings of the Eleventh conference on Congress on Evolutionary Computation (pp. 1463–1469). Trondheim, Norway: IEEE Press. Retrieved from http://dl.acm.org/citation.cfm?id=1689599.1689792 [URL | BibTeX | BibSonomy]

2008

  • Cobos, Y., Toro, C., Sarasua, C., Vaquero, J., Linaza, M. T., & Posada, J. (2008). An architecture for Fast Semantic Retrieval in the Film Heritage Domain. In Proceedings of the 6th International Workshop on Content-Based Multimedia Indexing (CBMI). London, UK. [BibTeX | BibSonomy]
  • Cobos, Y., Sarasua, C., Linaza, M. T., Jiménez, I., & García, A. (2008). Retrieving Film Heritage content using an MPEG-7 Compliant Ontology. In Proceedings of the 3rd International Workshop on Semantic Media Adaptation and Personalisation (SMAP). Prague, Czech Republic. [BibTeX | BibSonomy]

2007

  • Furbach, U., & Obermaier, C. (2007). Knowledge Compilation for Description Logics. In N. Dershowitz & A. Voronkov, N. Dershowitz & A. Voronkov (Eds.), 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings. [BibTeX | BibSonomy]
  • Furbach, U., & Obermaier, C. (2007). Applications of Automated Reasoning. In C. Freksa, M. Kohlhase, & K. Schill, C. Freksa, M. Kohlhase, & K. Schill (Eds.), KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings (Vol. 4314). Springer. [BibTeX | BibSonomy]