Institute for Web Science and Technologies · Universität Koblenz
Institute WeST

Publikationen

Dies ist eine Liste unserer Publikationen aus letzter Zeit.

2020

  • Corea, C. and Thimm, M. 2020. Towards Inconsistency Measurement in Business Rule Bases. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI'20) (2020). [URL | BibTeX | BibSonomy]
  • Hedeshy, R. et al. 2020. GIUPlayer: A Gaze Immersive YouTube Player Enabling Eye Control and Attention Analysis. ACM Symposium on Eye Tracking Research and Applications (Stuttgart, Germany, 2020). [PDF | DOI:10.1145/3379157.3391984 | URL | BibTeX | BibSonomy]
  • Heyninck, J. et al. 2020. Interpreting Conditionals in Argumentative Environments. Proceedings of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20) (2020). [URL | BibTeX | BibSonomy]
  • Heyninck, J. et al. 2020. On the Correspondence Between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. Proceedings of the 33rd International FLAIRS Conference (FLAIRS'20) (2020). [URL | BibTeX | BibSonomy]
  • Klein, J. and Thimm, M. 2020. Revisiting SAT Techniques for Abstract Argumentation. Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20) (2020). [URL | BibTeX | BibSonomy]
  • Kuhlmann, I. and Thimm, M. 2020. An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming. Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20) (2020). [URL | BibTeX | BibSonomy]
  • Menges, R. et al. 2020. A Visualization Tool for Eye Tracking Data Analysis in the Web. ACM Symposium on Eye Tracking Research and Applications (Stuttgart, Germany, 2020). [PDF | DOI:10.1145/3379156.3391831 | URL | BibTeX | BibSonomy]
  • Rienstra, T. et al. 2020. Concept Contraction in the Description Logic EL. to appear in 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020 (2020). [BibTeX | BibSonomy]
  • Rienstra, T. et al. 2020. Independence and D-separation in Abstract Argumentation. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR) (2020). [URL | BibTeX | BibSonomy]
  • Santos Ribeiro Santos, J. et al. 2020. Measuring Disagreement with Interpolants. Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20) (2020). [URL | BibTeX | BibSonomy]
  • Sengupta, K. et al. 2020. Challenges and Opportunities of Leveraging Intelligent Conversational Assistant to Improve the Well-Being of Older Adults. Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (Honolulu, HI, USA, 2020), 1–4. [PDF | DOI:10.1145/3334480.3381057 | URL | BibTeX | BibSonomy]
  • Sengupta, K. et al. 2020. Leveraging Error Correction in Voice-based Text Entry by Talk-and-Gaze. Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems (Oahu, Hawaii, USA, 2020), 11. [DOI:10.1145/3313831.3376579 | URL | BibTeX | BibSonomy]
  • Shao, X. et al. 2020. Modelling Multivariate Ranking Functions with Min-Sum Networks. Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20) (2020). [URL | BibTeX | BibSonomy]
  • Skiba, K. and Thimm, M. 2020. Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics. Proceedings of the International Workshop on Computational Argumentation and Cognition (COGNITAR'20) (2020). [URL | BibTeX | BibSonomy]
  • Skiba, K. et al. 2020. Complexity of Possible and Necessary Existence Problems in Abstract Argumentation. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI'20) (2020). [BibTeX | BibSonomy]
  • Skiba, K. et al. 2020. Abstract Argumentation Frameworks with Fallible Evidence. Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20) (2020). [URL | BibTeX | BibSonomy]
  • Thimm, M. and Rienstra, T. 2020. Approximate Reasoning with ASPIC+ by Argument Sampling. Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20) (2020). [URL | BibTeX | BibSonomy]
  • Thimm, M. et al. 2020. On Computing the Set of Acceptable Arguments in Abstract Argumentation. Proceedings of the 8th International Conference on Computational Models of Argument (COMMA'20) (2020). [URL | BibTeX | BibSonomy]
  • Kumar, C. et al. 2020. Eye tracking for Interaction: Evaluation Methods. Signal Processing to Drive Human-Computer Interaction: EEG and eye-controlled interfaces. S. Nikolopoulos et al., eds. Institution of Engineering and Technology. 117–144. [DOI:10.1049/PBCE129E_ch6 | URL | BibTeX | BibSonomy]
  • Menges, R. et al. 2020. Eye tracking for Interaction: Adapting Multimedia Interfaces. Signal Processing to Drive Human-Computer Interaction: EEG and eye-controlled interfaces. S. Nikolopoulos et al., eds. Institution of Engineering and Technology. 83–116. [DOI:10.1049/PBCE129E_ch5 | URL | BibTeX | BibSonomy]
  • Skiba, K. 2020. A First Idea for a Ranking-Based Semantics using System Z. Online Handbook of Argumentation for AI (OHAAI). [BibTeX | BibSonomy]
  • Cerutti, F. et al. 2020. An experimental analysis on the similarity of argumentation semantics. Argument & Computation. (2020). [URL | BibTeX | BibSonomy]
  • Corea, C. and Thimm, M. 2020. On Quasi-Inconsistency and its Complexity. Artificial Intelligence. (2020), 103276. [URL | BibTeX | BibSonomy]
  • Hogan, A. et al. 2020. Knowledge Graphs. CoRR. abs/2003.02320, (2020). [PDF | URL | BibTeX | BibSonomy]
  • Hunter, A. et al. 2020. Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments. Artificial intelligence. (2020). [URL | BibTeX | BibSonomy]
  • Lohr, M. et al. 2020. Cost Fairness for Blockchain-Based Two-Party Exchange Protocols. 2020 IEEE International Conference on Blockchain. (2020). DOI:https://doi.org/10.1109/Blockchain50366.2020.00062. [PDF | DOI:10.1109/Blockchain50366.2020.00062 | BibTeX | BibSonomy]
  • Lohr, M. and Peldszus, S. 2020. Maintenance of Long-Living Smart Contracts. EMLS 2020: 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems. 2581, (2020). [PDF | BibTeX | BibSonomy]
  • Shao, X. et al. 2020. Towards Understanding and Arguing with Classifiers: Recent Progress. Datenbank-Spektrum. (2020). [URL | BibTeX | BibSonomy]
  • Sun, J. et al. 2020. Time-invariant degree growth in preferential attachment network models. Physical Review E. 101, 2 (2020), 022309. DOI:https://doi.org/10.1103/PhysRevE.101.022309. [DOI:10.1103/PhysRevE.101.022309 | URL | BibTeX | BibSonomy]
  • Ulbricht, M. et al. 2020. Handling and measuring inconsistency in non-monotonic logics. Artificial Intelligence. 286, (2020), 103344. [URL | BibTeX | BibSonomy]

2019

  • Baris, I. et al. 2019. CLEARumor at SemEval-2019 Task 7: ConvoLving ELMo Against Rumors. Proceedings of the 13th International Workshop on Semantic Evaluation (Minneapolis, Minnesota, USA, 2019), 1105–1109. [PDF | URL | BibTeX | BibSonomy]
  • Boukhers, Z. et al. 2019. An End-to-end Approach for Extracting and Segmenting High-Variance References from PDF Documents. Proceedings of the 23rd ACM/IEEE Joint Conference on Digital Libraries (2019), 1–10. [DOI:10.1109/JCDL.2019.00035 | URL | BibTeX | BibSonomy]
  • Furbach, U. et al. 2019. Names are not just Sound and Smoke: Word Embeddings for Axiom Selection. CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019 (2019). [PDF | BibTeX | BibSonomy]
  • Kuhlmann, I. and Thimm, M. 2019. Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study. Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19) (2019). [URL | BibTeX | BibSonomy]
  • Kumar, C. et al. 2019. TouchGazePath: Multimodal Interaction with Touch and Gaze Path for Secure Yet Efficient PIN Entry. 2019 International Conference on Multimodal Interaction (Suzhou, China, 2019), 329–338. [DOI:10.1145/3340555.3353734 | URL | BibTeX | BibSonomy]
  • Kügler, P. et al. 2019. Cascading Forgetting in Product Development Challenges and Evaluation. 22nd International Conference on Engineering Design, 5 -- 8 August 2019, Delft, The Netherlands (2019). [BibTeX | BibSonomy]
  • Lohr, M. et al. 2019. Ensuring Genuineness for Selectively Disclosed Confidential Data using Distributed Ledgers: Applications to Rail Wayside Monitoring. IEEE International Conference on Blockchain, Blockchain 2019, Atlanta, GA, USA, July 14-17, 2019 (2019), 477–482. [DOI:10.1109/Blockchain.2019.00072 | BibTeX | BibSonomy]
  • Sengupta, K. et al. 2019. Impact of Variable Positioning of Text Prediction in Gaze-based Text Entry. Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications (Denver, Colorado, 2019), 74:1–74:9. [PDF | DOI:10.1145/3317956.3318152 | URL | BibTeX | BibSonomy]
  • Siebert, S. et al. 2019. Commonsense Reasoning using Theorem Proving and Machine Learning. To appear in Proceedings of CD-MAKE Cross Domain Conference for Machine Learning and Knowledge Extraction, Canterbury, UK (2019). [PDF | BibTeX | BibSonomy]
  • Skubella, A. et al. 2019. BeSEPPI: Semantic-based benchmarking of property path implementations. The Semantic Web - 15th International Conference (06/06/19) (2019). [PDF | URL | BibTeX | BibSonomy]
  • Thimm, M. 2019. Inconsistency Measurement. Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19) (2019). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2019. An Experimental Study on the Behaviour of Inconsistency Measures. Proceedings of the 13th International Conference on Scalable Uncertainty Management (SUM'19) (2019). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2019. Dredd - A Heuristics-guided Backtracking Solver with Information Propagation for Abstract Argumentation. The Third International Competition on Computational Models of Argumentation (ICCMA'19) (2019). [URL | BibTeX | BibSonomy]
  • Brewka, G. et al. 2019. Strong Inconsistency. Artificial Intelligence. (2019). [URL | BibTeX | BibSonomy]
  • Cerutti, F. and Thimm, M. 2019. A General Approach to Reasoning with Probabilities. International Journal of Approximate Reasoning. (2019). [URL | BibTeX | BibSonomy]
  • Furbach, U. et al. 2019. Cognitive Reasoning: A Personal View. KI. 33, 3 (2019). [BibTeX | BibSonomy]
  • Menges, R. et al. 2019. Improving User Experience of Eye Tracking-based Interaction: Introspecting and Adapting Interfaces. ACM Trans. Comput.-Hum. Interact. 26, 6 (2019), 37:1–37:46. DOI:https://doi.org/10.1145/3338844. [DOI:10.1145/3338844 | URL | BibTeX | BibSonomy]
  • Schmelzeisen, L. and Staab, S. 2019. Learning Taxonomies of Concepts and not Words using Contextualized Word Representations: A Position Paper. CoRR. abs/1902.02169, (2019). [PDF | URL | BibTeX | BibSonomy]
  • Schon, C. et al. 2019. The CoRg Project -- Cognitive Reasoning. KI. 33, 3 (2019). [PDF | BibTeX | BibSonomy]
  • Seifer, P. et al. 2019. Semantic Query Integration With Reason. Programming Journal. 3, 3 (2019), 13. DOI: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. and Wallner, J.P. 2019. On the Complexity of Inconsistency Measurement. Artificial Intelligence. (2019). [URL | BibTeX | BibSonomy]

2018

  • Cerutti, F. and Thimm, M. 2018. Probabilistic Augmentations for Knowledge Representation Formalisms. Proceedings of the 2018 Workshop on Hybrid Reasoning and Learning (HRL'18) (2018). [URL | BibTeX | BibSonomy]
  • Cerutti, F. and Thimm, M. 2018. A General Approach to Reasoning with Probabilities (Extended Abstract). Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018). [BibTeX | BibSonomy]
  • Janke, D. and Staab, S. 2018. Compressing and Maintaining Statistics Information about Resource Occurrences in a Distributed RDF Store. ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks (Aachen, 2018). [PDF | URL | BibTeX | BibSonomy]
  • Kügler, P. et al. 2018. Ontology-based approach for the use of Intentional Forgetting in product development. DESIGN 2018 - 15th International Design Conference (2018). [PDF | DOI:10.21278/idc.2018.0402 | URL | BibTeX | BibSonomy]
  • Menges, R. et al. 2018. Enhanced Representation of Web Pages for Usability Analysis with Eye Tracking. Proceedings of the 2018 ACM Symposium on Eye Tracking Research & Applications (Warsaw, Poland, 2018), 18:1–18:9. [PDF | DOI:10.1145/3204493.3204535 | URL | BibTeX | BibSonomy]
  • Rienstra, T. et al. 2018. Probabilistic Abstract Argumentation based on SCC Decomposability. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18) (2018). [BibTeX | BibSonomy]
  • Rienstra, T. and Thimm, M. 2018. Ranking Functions over Labellings. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18) (Warsaw, Poland, 2018). [BibTeX | BibSonomy]
  • Schon, C. et al. 2018. Metaproperty-guided Deletion from the Instance-Level of a Knowledge Base. to appear in Knowledge Engineering and Knowledge Management - 21st International Conference, EKAW 2018, Nancy, France, November 12-16 (2018). [PDF | BibTeX | BibSonomy]
  • Sengupta, K. et al. 2018. Hands-free web browsing: enriching the user experience with gaze and voice modality. ETRA (2018), 88:1–88:3. [PDF | URL | BibTeX | BibSonomy]
  • Sun, J. et al. 2018. Decay of Relevance in Exponentially Growing Networks. Proceedings of the 10th ACM Conference on Web Science (WebSci '18) (2018), 343–351. [PDF | URL | BibTeX | BibSonomy]
  • Thimm, M. 2018. Stochastic Local Search Algorithms for Abstract Argumentation under Stable Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18) (Warsaw, Poland, 2018). [BibTeX | BibSonomy]
  • Thimm, M. et al. 2018. Probabilistic Graded Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18) (Warsaw, Poland, 2018). [BibTeX | BibSonomy]
  • Thimm, M. et al. 2018. Epistemic Attack Semantics. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18) (Warsaw, Poland, 2018). [BibTeX | BibSonomy]
  • Timm, I.J. et al. 2018. Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings (2018), 357–365. [PDF | DOI:10.1007/978-3-030-00111-7\_30 | URL | BibTeX | BibSonomy]
  • Ulbricht, M. et al. 2018. Measuring Strong Inconsistency. Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI'18) (2018). [URL | BibTeX | BibSonomy]
  • Bona, G.D. et al. 2018. Inconsistency Measurement in Probabilistic Logic. Measuring Inconsistency in Information. J. Grant and M.V. Martinez, eds. College Publications. [BibTeX | BibSonomy]
  • Janke, D. and Staab, S. 2018. Storing and Querying Semantic Data in the Cloud. Reasoning Web. Learning, Uncertainty, Streaming, and Scalability: 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22--26, 2018, Tutorial Lectures. C. d'Amato and M. Theobald, eds. Springer International Publishing. 173–222. [PDF | DOI:10.1007/978-3-030-00338-8_7 | URL | BibTeX | BibSonomy]
  • Kern-Isberner, G. and Thimm, M. 2018. Towards Conditional Logic Semantics for Abstract Dialectical Frameworks. Argumentation-based Proofs of Endearment - Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday. C.I. Chesnevar et al., eds. College Publications. [URL | BibTeX | BibSonomy]
  • Thimm, M. 2018. On the Evaluation of Inconsistency Measures. Measuring Inconsistency in Information. J. Grant and M.V. Martinez, eds. College Publications. [BibTeX | BibSonomy]
  • Ulbricht, M. et al. 2018. Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics. Measuring Inconsistency in Information. J. Grant and M.V. Martinez, eds. College Publications. [BibTeX | BibSonomy]
  • Janke, D. et al. 2018. Impact analysis of data placement strategies on query efforts in distributed RDF stores. Journal of Web Semantics. (2018). DOI:https://doi.org/10.1016/j.websem.2018.02.002. [PDF | DOI:10.1016/j.websem.2018.02.002 | URL | BibTeX | BibSonomy]
  • Lichtenberg, N. et al. 2018. Analyzing Residue Surface Proximity to Interpret Molecular Dynamics. Computer Graphics Forum. (2018). DOI:https://doi.org/10.1111/cgf.13427. [DOI:10.1111/cgf.13427 | BibTeX | BibSonomy]
  • Sun, J. et al. 2018. Understanding Social Networks Using Transfer Learning. Computer. 51, 6 (2018), 52–60. DOI:https://doi.org/10.1109/MC.2018.2701640. [PDF | DOI:10.1109/MC.2018.2701640 | URL | BibTeX | BibSonomy]
  • Teymourlouie, M. et al. 2018. Detecting Hidden Errors in an Ontology Using Contextual Knowledge. Expert Systems with Applications. 95, (2018), 312–323. [BibTeX | BibSonomy]

2017

  • Brewka, G. et al. 2017. Strong Inconsistency in Nonmonotonic Reasoning. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17) (2017). [URL | BibTeX | BibSonomy]
  • Geilen, N. and Thimm, M. 2017. Heureka - A General Heuristic Backtracking Solver for Abstract Argumentation. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17) (2017). [URL | BibTeX | BibSonomy]
  • Hartenfels, C. et al. 2017. Type-Safe Programming with OWL in Semantics4J. International Semantic Web Conference (Posters, Demos & Industry Tracks) (2017). [PDF | URL | BibTeX | BibSonomy]
  • Janke, D. et al. 2017. Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. ISWC 2017 Posters & Demonstrations and Industry Tracks (Aachen, 2017). [PDF | URL | BibTeX | BibSonomy]
  • Janke, D. et al. 2017. Evaluating SPARQL 1.1 Property Path Support. Joint Proceedings of BLINK2017: Benchmarking Linked Data and NLIWoD3: Natural Language Interfaces for the Web of Data (BLINK2017-NLIWoD3) (Aachen, 2017). [PDF | URL | BibTeX | BibSonomy]
  • Janke, D. et al. 2017. Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. Joint Proceedings of BLINK2017: Benchmarking Linked Data and NLIWoD3: Natural Language Interfaces for the Web of Data (BLINK2017-NLIWoD3) (Aachen, 2017). [PDF | URL | BibTeX | BibSonomy]
  • Janke, D. et al. 2017. On Data Placement Strategies in Distributed RDF Stores. Proceedings of The International Workshop on Semantic Big Data (Chicago, Illinois, 2017), 1:1–1:6. [PDF | DOI:10.1145/3066911.3066915 | URL | BibTeX | BibSonomy]
  • Kestel, P. et al. 2017. Konzept zur zielgerichteten, ontologiebasierten Wiederverwendung von Produktmodellen. Design for X. Beiträge zum 28. DfX-Symposium (Hamburg, 2017). [BibTeX | BibSonomy]
  • Kumar, C. et al. 2017. Assessing the usability of gaze-adapted Interface against conventional eye-based input emulation. 30th IEEE International Symposium on Computer-based Medical Systems (2017). [PDF | BibTeX | BibSonomy]
  • Kumar, C. et al. 2017. Chromium Based Framework to Include Gaze Interaction in Web Browser. Proceedings of the 26th International Conference on World Wide Web Companion (Perth, Australia, 2017), 219–223. [PDF | DOI:10.1145/3041021.3054730 | URL | BibTeX | BibSonomy]
  • Leinberger, M. et al. 2017. The Essence of Functional Programming on Semantic Data. 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 (2017), 750–776. [PDF | BibTeX | BibSonomy]
  • Menges, R. et al. 2017. Schau genau! A Gaze-Controlled 3D Game for Entertainment and Education. Journal of Eye Movement Research (2017), 220. [PDF | URL | BibTeX | BibSonomy]
  • Menges, R. et al. 2017. GazeTheWeb: A Gaze-Controlled Web Browser. Proceedings of the 14th Web for All Conference (2017). [PDF | BibTeX | BibSonomy]
  • Polberg, S. et al. 2017. Belief in Attacks in Epistemic Probabilistic Argumentation. Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM'17) (2017). [URL | BibTeX | BibSonomy]
  • Sarasua, C. et al. 2017. Methods for Intrinsic Evaluation of Links in the Web of Data. The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I. (2017), 68–84. [URL | BibTeX | BibSonomy]
  • Schon, C. and Staab, S. 2017. Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes. Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. (2017). [PDF | URL | BibTeX | BibSonomy]
  • Sengupta, K. et al. 2017. Usability Heuristics for Eye-controlled User Interfaces. (2017). [URL | BibTeX | BibSonomy]
  • Sengupta, K. et al. 2017. Analyzing the Impact of Cognitive Load in Evaluating Gaze-based Typing. 30th IEEE International Symposium on Computer-based Medical Systems (2017). [PDF | BibTeX | BibSonomy]
  • Sengupta, K. et al. 2017. GazeTheKey: Interactive Keys to Integrate Word Predictions for Gaze-based Text Entry. IUI Companion (2017), 121–124. [PDF | URL | BibTeX | BibSonomy]
  • Thimm, M. et al. 2017. Probabilities on Extensions in Abstract Argumentation. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17) (2017). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2017. The Formal Argumentation Libraries of Tweety. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17) (2017). [URL | BibTeX | BibSonomy]
  • Thimm, M. and Kersting, K. 2017. Towards Argumentation-based Classification. Logical Foundations of Uncertainty and Machine Learning, Workshop at IJCAI'17 (2017). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2017. On the Expressivity of Inconsistency Measures (Extended Abstract). Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17) (2017). [URL | BibTeX | BibSonomy]
  • Schon, C. and 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. CEUR-WS.org. [URL | BibTeX | BibSonomy]
  • Atkinson, K. et al. 2017. Towards Artificial Argumentation. AI Magazine. (2017). [URL | BibTeX | BibSonomy]
  • Hunter, A. and Thimm, M. 2017. Probabilistic Reasoning with Abstract Argumentation Frameworks. Journal of Artificial Intelligence Research. 59, (2017), 565–611. [URL | BibTeX | BibSonomy]
  • Kunegis, J. et al. 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, (2017). DOI:https://doi.org/10.18713/JIMIS-140417-2-4. [PDF | DOI:10.18713/JIMIS-140417-2-4 | BibTeX | BibSonomy]
  • Potyka, N. and Thimm, M. 2017. Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. International Journal of Approximate Reasoning. (2017). [URL | BibTeX | BibSonomy]
  • Thimm, M. and Villata, S. 2017. The First International Competition on Computational Models of Argumentation: Results and Analysis. Artificial Intelligence. (2017). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2017. Measuring Inconsistency with Many-Valued Logics. International Journal of Approximate Reasoning. (2017). [URL | BibTeX | BibSonomy]

2016

  • Schon, C. 2016. Techniques for Optimized Reasoning in Description Logic Knowledge Bases. Univesität Koblenz-Landau, Koblenz, Germany. [BibTeX | BibSonomy]
  • Corea, C. and Thimm, M. 2016. Using Matrix Exponentials for Abstract Argumentation. Proceedings of the First Workshop on Systems and Applications of Formal Argumentation (SAFA'16) (2016). [URL | BibTeX | BibSonomy]
  • Furbach, U. and Schon, C. 2016. Commonsense Reasoning meets Theorem Proving. URANIA@AI*IA (2016), 1–12. [BibTeX | BibSonomy]
  • Furbach, U. and Schon, C. 2016. Commonsense Reasoning Meets Theorem Proving. Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings (2016), 3–17. [PDF | DOI:10.1007/978-3-319-45889-2_1 | URL | BibTeX | BibSonomy]
  • Furbach, U. and Schon, C. 2016. Commonsense Reasoning meets Theorem Proving. Proceedings of the 1st Conference on Artificial Intelligence and Theorem Proving AITP'16, Obergurgl, Austria (2016). [BibTeX | BibSonomy]
  • Hunter, A. and Thimm, M. 2016. On Partial Information and Contradictions in Probabilistic Abstract Argumentation. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16) (2016). [URL | BibTeX | BibSonomy]
  • Ji, Y. et al. 2016. Quality-Driven Disorder Handling for M-way Sliding Window Stream Joins. 2016 IEEE 32nd International Conference on Data Engineering (ICDE) (2016), 493–504. [PDF | DOI:10.1109/ICDE.2016.7498265 | BibTeX | BibSonomy]
  • Menges, R. et al. 2016. eyeGUI: A Novel Framework for Eye-Controlled User Interfaces. (2016). [PDF | BibTeX | BibSonomy]
  • Potyka, N. et al. 2016. Group Decision Making via Probabilistic Belief Merging. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16) (2016), 3623–3629. [URL | BibTeX | BibSonomy]
  • Sun, J. et al. 2016. Predicting User Roles in Social Networks using Transfer Learning with Feature Transformation. Proc. ICDM Workshop on Data Mining in Networks (2016). [PDF | DOI:10.1109/ICDMW.2016.0026 | BibTeX | BibSonomy]
  • Thimm, M. and Wallner, J.P. 2016. Some Complexity Results on Inconsistency Measurement. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16) (2016). [URL | BibTeX | BibSonomy]
  • Ulbricht, M. et al. 2016. Measuring Inconsistency in Answer Set Programs. Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16) (2016), 577–583. [URL | BibTeX | BibSonomy]
  • Beierle, C. et al. 2016. Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday. College Publications. [BibTeX | BibSonomy]
  • Gaggl, S.A. and Thimm, M. eds. 2016. The Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16), Proceedings. [URL | BibTeX | BibSonomy]
  • Thimm, M. and Gabbay, D.M. eds. 2016. Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation. IfCoLog Journal of Logics and their Applications, Volume 3 Number 2. [URL | BibTeX | BibSonomy]
  • Thimm, M. et al. eds. 2016. Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA16). CEUR-WS.org. [URL | BibTeX | BibSonomy]
  • Thimm, M. 2016. Uncertainty and Inconsistency in Knowledge Representation. Universität Koblenz-Landau, Department of Computer Science, Institute for Web Science and Technologies. [URL | BibTeX | BibSonomy]
  • Hunter, A. and Thimm, M. 2016. Optimization of dialectical outcomes in dialogical argumentation. International Journal of Approximate Reasoning. 78, (2016), 73–102. [URL | BibTeX | BibSonomy]
  • Kumar, C. et al. 2016. Eye-Controlled Interfaces for Multimedia Interaction. IEEE MultiMedia. 23, 4 (2016), 6–13. DOI:https://doi.org/10.1109/MMUL.2016.52. [DOI:10.1109/MMUL.2016.52 | URL | BibTeX | BibSonomy]
  • Leinberger, M. et al. 2016. LambdaDL: Syntax and Semantics (Preliminary Report). CoRR. abs/1610.07033, (2016). [PDF | URL | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2016. SEPAL: Schema Enhanced Programming for Linked Data. KI. 30, 2 (2016), 189–192. DOI: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. (2016). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2016. On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. Künstliche Intelligenz. (2016). [URL | BibTeX | BibSonomy]
  • Thimm, M. et al. 2016. Summary Report of The First International Competition on Computational Models of Argumentation. AI Magazine. 37, 1 (2016), 102–104. [URL | BibTeX | BibSonomy]
  • Thimm, M. 2016. On the Expressivity of Inconsistency Measures. Artificial Intelligence. (2016). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2016. Stream-based Inconsistency Measurement. International Journal of Approximate Reasoning. 68, (2016), 68–87. [URL | BibTeX | BibSonomy]
  • Wechselberger, U. 2016. Music Game Enjoyment and Natural Mapping Beyond Intuitiveness. Simulation & Gaming. 47, 3 (2016), 304–323. DOI:https://doi.org/10.1177/1046878116651024. [DOI:10.1177/1046878116651024 | URL | BibTeX | BibSonomy]
  • Sun, J. and Kunegis, J. 2016. Wiki-talk Datasets. [PDF | DOI:10.5281/zenodo.49561 | URL | BibTeX | BibSonomy]

2015

  • Furbach, U. et al. 2015. Tackling Benchmark Problems of Commonsense Reasoning. 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 (2015). [PDF | BibTeX | BibSonomy]
  • Furbach, U. and Schon, C. 2015. Deontic Logic for Human Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (2015), 63–80. [BibTeX | BibSonomy]
  • Kling, C.C. et al. 2015. Voting Behaviour and Power in Online Democracy: A Study of LiquidFeedback in Germany's Pirate Party. Proc. Int. Conf. on Weblogs and Social Media (2015). [URL | BibTeX | BibSonomy]
  • Potyka, N. and Thimm, M. 2015. Probabilistic Reasoning with Inconsistent Beliefs using Inconsistency Measures. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15) (Buenos Aires, Argentina, 2015). [URL | BibTeX | BibSonomy]
  • Sarasua, C. 2015. Programmatic Access to Crowdsourced Human Computation for Designing and Enhancing Interlinking. Proceedings of the ESWC Developers Workshop 2015 co-located with the 12th Extended Semantic Web Conference (ESWC 2015), Portoroz, Slovenia, May 31, 2015. (2015), 29–34. [URL | BibTeX | BibSonomy]
  • Furbach, U. et al. 2015. Automated Reasoning in the Wild. Automated Deduction - CADE-25. A.P. Felty and A. Middeldorp, eds. Springer International Publishing. 55–72. [DOI:10.1007/978-3-319-21401-6_3 | URL | BibTeX | BibSonomy]
  • Furbach, U. and 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. CEUR-WS.org. [URL | BibTeX | BibSonomy]
  • Thimm, M. and Villata, S. eds. 2015. System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15). [URL | BibTeX | BibSonomy]
  • Fay, D. et al. 2015. An exploration of fetish social networks and communities. CoRR. abs/1511.01436, (2015). [URL | BibTeX | BibSonomy]
  • Furbach, U. et al. 2015. The RatioLog Project: Rational Extensions of Logical Reasoning. KI - Künstliche Intelligenz. 29, 3 (2015), 271–277. [BibTeX | BibSonomy]
  • Furbach, U. et al. 2015. Cognitive Systems and Question Answering. Industrie 4.0 Management. 2015, 1 (2015), 29–32. [BibTeX | BibSonomy]
  • Sarasua, C. et al. 2015. Crowdsourcing and the Semantic Web: A Research Manifesto. Human Computation. 2, 1 (2015), 3–17. [URL | BibTeX | BibSonomy]
  • Vogel, I.C. et al. 2015. Glaubwürdigkeit und Vertrauen von Online-News. Datenschutz und Datensicherheit. 40, 5 (2015), 1–5. [BibTeX | BibSonomy]
  • Vogel, I.C. et al. 2015. Glaubwürdigkeit und Vertrauen von Online-News. Datenschutz und Datensicherheit. 40, 5 (2015), 1–5. [BibTeX | BibSonomy]

2014

  • Hunter, A. and Thimm, M. 2014. Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. ArXiv. [URL | BibTeX | BibSonomy]
  • Berardi, R. et al. 2014. The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases. Proceedings of the 25th International Conference on Database and Expert System Applications (DEXA'14) (2014). [URL | BibTeX | BibSonomy]
  • Cerutti, F. et al. 2014. A Benchmark Framework for a Computational Argumentation Competition (Demo paper). Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14) (2014). [URL | BibTeX | BibSonomy]
  • Furbach, U. et al. 2014. Automated Reasoning in Deontic Logic. Multi-disciplinary Trends in Artificial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings (2014), 57–68. [DOI:10.1007/978-3-319-13365-2_6 | URL | BibTeX | BibSonomy]
  • Hunter, A. and Thimm, M. 2014. Probabilistic Argumentation with Epistemic Extensions. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe'14) (2014). [URL | BibTeX | BibSonomy]
  • Hunter, A. and Thimm, M. 2014. Probabilistic Argument Graphs for Argumentation Lotteries. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14) (2014). [URL | BibTeX | BibSonomy]
  • Hunter, A. and Thimm, M. 2014. Probabilistic Argumentation with Incomplete Information. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14) (2014). [URL | BibTeX | BibSonomy]
  • Leinberger, M. et al. 2014. Semantic Web Application Development with LITEQ. The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II (2014), 212–227. [PDF | DOI:10.1007/978-3-319-11915-1_14 | URL | BibTeX | BibSonomy]
  • Leinberger, M. et al. 2014. Semantic Web Application development with LITEQ. Proceedings of the 13th International Semantic Web Conference (ISWC'14) (2014). [URL | BibTeX | BibSonomy]
  • Lämmel, R. et al. 2014. Declarative Software Development: Distilled Tutorial. Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (2014), 1–6. [DOI:10.1145/2643135.2643163 | URL | BibTeX | BibSonomy]
  • Lämmel, R. et al. 2014. Comparison of Feature Implementations across Languages, Technologies, and Styles. Proc.\ of IEEE CSMR-WCRE 2014 (2014). [PDF | BibTeX | BibSonomy]
  • Potyka, N. and Thimm, M. 2014. Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14) (2014). [URL | BibTeX | BibSonomy]
  • Sarasua, C. and Thimm, M. 2014. Crowd Work CV: Recognition for Micro Work. Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14) (Barcelona, Spain, 2014). [BibTeX | BibSonomy]
  • Sarasua, C. and Thimm, M. 2014. Crowd Work CV: Recognition for Micro Work. Proceedings of the 3rd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman'14) (2014). [URL | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2014. IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ. The Semantic Web: ESWC 2014 Satellite Events - ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers (2014), 505–510. [PDF | DOI:10.1007/978-3-319-11955-7_75 | URL | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2014. Property-based typing with LITEQ. 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. (2014), 149–152. [PDF | URL | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2014. Property-based typing with LITEQ: Programming access to weakly-typed RDF data (Demo). Proceedings of the 13th International Semantic Web Conference (ISWC'14) (2014). [URL | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2014. IDE Integrated RDF Exploration, Access and RDF-based Code Typing with LITEQ. Proceedings of the 11th Extended Semantic Web Conference (ESWC'14) (2014). [URL | BibTeX | BibSonomy]
  • Staab, S. et al. 2014. Programming the Semantic Web. The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings (2014), 1–5. [DOI:10.1007/978-3-319-07443-6_1 | URL | BibTeX | BibSonomy]
  • Thimm, M. and Kern-Isberner, G. 2014. On Controversiality of Arguments and Stratified Labelings. Proceedings of the Fifth International Conference on Computational Models of Argumentation (COMMA'14) (2014). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2014. Towards Large-scale Inconsistency Measurement. Proceedings of the 37th German Conference on Artificial Intelligence (KI'14) (2014). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2014. Coherence and Compatibility of Markov Logic Networks. Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14) (2014). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2014. Tweety - A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14) (2014). [URL | BibTeX | BibSonomy]
  • Wechselberger, U. 2014. Genuine Guitars and Game Enjoyment in Music Games. THE SHIFT FROM TEACHING TO LEARNING: Individual, Collective and Organizational Learning through Gaming Simulation. (Bielefeld, Germany, 2014), 198–211. [URL | BibTeX | BibSonomy]
  • Bernstein, A. et al. 2014. Crowdsourcing and the Semantic Web (Dagstuhl Seminar 14282). Dagstuhl Reports. 4, 7 (2014), 25–51. [BibTeX | BibSonomy]
  • Schaefer, C. et al. 2014. Schau genau! - an Eye Tracking Game With a Purpose. 1st. Workshop on the Applications for Gaze in Games at CHI Play 2014. (2014). [PDF | BibTeX | BibSonomy]
  • Thimm, M. 2014. Strategic Argumentation in Multi-Agent Systems. Künstliche Intelligenz, Special Issue on Multi-Agent Decision Making. (2014). [URL | BibTeX | BibSonomy]

2013

  • Thimm, M. and Kern-Isberner, G. 2013. Stratified Labelings for Abstract Argumentation (Preliminary Report). ArXiv. [URL | BibTeX | BibSonomy]
  • Bender, M. et al. 2013. System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings (2013). [BibTeX | BibSonomy]
  • Preusse, J. et al. 2013. Structural Changes in Collaborative Knowledge Networks. Proceedings of the 7th International AAAI Conference on Weblogs and Social Media (ICWSM'13) (2013). [URL | BibTeX | BibSonomy]
  • Rienstra, T. et al. 2013. Opponent Models with Uncertainty for Strategic Argumentation. Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13) (2013). [URL | BibTeX | BibSonomy]
  • Sarasua, C. and Thimm, M. 2013. Microtask available, send us your CV! Proceedings of the International Workshop on Crowd Work and Human Computation (CrowdWork 2013), co-located with Social Computing and its Applications (SCA2013) (2013). [BibTeX | BibSonomy]
  • Sarasua, C. 2013. Need human intervention? Use microtask crowdsourcing! Poster Session at INFORMATIK 2013 (2013). [BibTeX | BibSonomy]
  • Sarasua, C. and Thimm, M. 2013. Microtask available, send us your CV! Proceedings of the International Workshop on Crowd Work and Human Computation (2013). [URL | BibTeX | BibSonomy]
  • Scheglmann, S. et al. 2013. Locking for Concurrent Transactions on Ontologies. Proceedings of the 10th Extended Semantic Web Conference (ESWC'13) (2013). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2013. Dynamic Preference Aggregation under Preference Changes. Proceedings of the Fourth Workshop on Dynamics of Knowledge and Belief (DKB'13) (2013). [URL | BibTeX | BibSonomy]
  • Furbach, U. and Schon, C. 2013. Semantically Guided Evolution of SHI ABoxes. Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings. D. Galmiche and D. Larchey-Wendling, eds. Springer. [PDF | BibTeX | BibSonomy]
  • Tamargo, L.H. et al. 2013. Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems. Trends in Belief Revision and Argumentation Dynamics. E.L. Fermé et al., eds. College Publications. [URL | BibTeX | BibSonomy]
  • Klusch, M. et al. eds. 2013. Proceedings of the 11th German Conference on Multiagent System Technologies (MATES'13). Springer. [URL | BibTeX | BibSonomy]
  • Timm, I.J. and Thimm, M. eds. 2013. Proceedings of the 36th Annual German Conference on Artificial Intelligence (KI'13). Springer. [URL | BibTeX | BibSonomy]
  • Thimm, M. 2013. Inconsistency Measures for Probabilistic Logics. Artificial Intelligence. 197, (2013), 1–24. [URL | BibTeX | BibSonomy]

2012

  • Dividino, R. et al. 2012. Ranking RDF with Provenance via Preference Aggregation. Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12) (2012). [URL | BibTeX | BibSonomy]
  • Favre, J.-M. et al. 2012. Linking Documentation and Source Code in a Software Chrestomathy. WCRE (2012), 335–344. [PDF | BibTeX | BibSonomy]
  • Görlitz, O. et al. 2012. SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. Proceedings of the 11th International Semantic Web Conference (ISWC'12) (2012). [URL | BibTeX | BibSonomy]
  • Kern-Isberner, G. and Thimm, M. 2012. A Ranking Semantics for First-Order Conditionals. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12) (2012). [URL | BibTeX | BibSonomy]
  • Sarasua, C. et al. 2012. CrowdMAP: Crowdsourcing Ontology Alignment with Microtasks. The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I. (2012), 525–541. [URL | BibTeX | BibSonomy]
  • Sarasua, C. 2012. Crowdsourced Interlinking on the Web of Data. EKAW 2012 Doctoral Symposium. Galway, Ireland (2012). [BibTeX | BibSonomy]
  • Tamargo, L.H. et al. 2012. Argumentative Credibility-based Revision in Multi-Agent Systems. Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12) (2012). [URL | BibTeX | BibSonomy]
  • Thimm, M. 2012. A Probabilistic Semantics for Abstract Argumentation. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI'12) (2012). [URL | BibTeX | BibSonomy]
  • Thimm, M. et al. 2012. Linked Open Data: Are we Drowning in Information and Starving for Know-How? Proceedings of the Workshop "What will the Semantic Web look like 10 years from now?" at the 11th International Semantic Web Conference (ISWC'12) (2012). [URL | BibTeX | BibSonomy]
  • Kern-Isberner, G. et al. 2012. Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. Transactions on Large-Scale Data- and Knowledge-Centered Systems VI. Springer. 31–75. [URL | BibTeX | BibSonomy]
  • Finthammer, M. and Thimm, M. 2012. An Integrated Development Environment for Probabilistic Relational Reasoning. Logic Journal of the IGPL. (2012). [URL | BibTeX | BibSonomy]
  • Tamargo, L.H. et al. 2012. Selective revision with multiple informants and argumentative support. Inteligencia Artificial. 50, (2012), 4–17. [URL | BibTeX | BibSonomy]
  • Thimm, M. and Kern-Isberner, G. 2012. On Probabilistic Inference in Relational Conditional Logics. Logic Journal of the IGPL. (2012). [URL | BibTeX | BibSonomy]

2011

  • Beierle, C. et al. 2011. Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11) (2011), 63–74. [URL | BibTeX | BibSonomy]
  • Garcia, D.R. et al. 2011. On Influence and Contractions in Defeasible Logic Programming. Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11) (2011), 199–204. [URL | BibTeX | BibSonomy]
  • Kern-Isberner, G. et al. 2011. Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. Proceedings of the 22nd International Conference on Database and Expert Systems Applications (DEXA'11) (2011), 27–46. [URL | BibTeX | BibSonomy]
  • Krümpelmann, P. et al. 2011. Selective Revision by Deductive Argumentation. Theory and Applications of Formal Argumentation, Proceedings of the First International Workshop (TAFA'11, revised selected papers) (2011), 147–162. [URL | BibTeX | BibSonomy]
  • Krümpelmann, P. et al. 2011. Motivating Agents in Unreliable Environments: A Computational Model. Proceedings of the Ninth German Conference on Multi-Agent System Technologies (MATES'11) (2011), 65–76. [URL | BibTeX | BibSonomy]
  • Linaza, M.T. et al. 2011. Assessing Film Heritage as a City Promotion Tool. Proceedings of the 12th International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage (VAST 2011) (2011). [BibTeX | BibSonomy]
  • Schon, C. 2011. Linkless Normal Form for ALC Concepts and TBoxes. KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, 2011. Proceedings (2011). [PDF | BibTeX | BibSonomy]
  • Thimm, M. 2011. On Prototypical Indifference and Lifted Inference in Relational Probabilistic Conditional Logic. Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (2011), 1–15. [URL | BibTeX | BibSonomy]
  • Thimm, M. 2011. Analyzing Inconsistencies in Probabilistic Conditional Knowledge Bases using Continuous Inconsistency Measures. Proceedings of the Third Workshop on Dynamics of Knowledge and Belief (DKB'11) (2011), 31–45. [URL | BibTeX | BibSonomy]
  • Thimm, M. et al. 2011. Relational Probabilistic Conditional Reasoning at Maximum Entropy. Proceedings of the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11) (2011), 447–458. [URL | BibTeX | BibSonomy]
  • Thimm, M. and Garcia, A.J. 2011. On Strategic Argument Selection in Structured Argumentation Systems. Post-Proceedings of the Seventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), Toronto, Canada, May 2010 (revised, selected and invited papers) (2011), 286–305. [URL | BibTeX | BibSonomy]
  • Thimm, M. 2011. Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. IOS Press. [URL | BibTeX | BibSonomy]
  • Hölzgen, D. et al. 2011. Argonauts - A Working System for Motivated Cooperative Agents. Annals of Mathematics and Artificial Intelligence. 61, 4 (2011), 309–332. [URL | BibTeX | BibSonomy]
  • Simperl, E. et al. 2011. Ontology Metadata for Ontology Reuse. Int. Journal of Metadata, Semantics and Ontologies. (2011). [BibTeX | BibSonomy]
  • Sarasua, C. et al. 2011. How to Reuse Existing Ontologies when Publishing Linked Data. [BibTeX | BibSonomy]

2010

  • Beierle, C. et al. 2010. Can Bobby demand Delivery? Towards a Knowledge-based System for Private Law. Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10) (2010). [URL | BibTeX | BibSonomy]
  • Beierle, C. et al. 2010. Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10) (2010). [URL | BibTeX | BibSonomy]
  • Beierle, C. et al. 2010. Automated Reasoning for Relational Probabilistic Knowledge Representation. Automated Reasoning: Fifth International Joint Conference (IJCAR'10) (2010). [URL | BibTeX | BibSonomy]
  • Bilbao, S. et al. 2010. INFUTUR – La internet del Futuro y su aplicación al eTurismo. Proceedings of VIII Congreso Turismo y Tecnologías de la Información y las Comunicaciones (TURITEC 2010). Málaga, Spain (2010). [BibTeX | BibSonomy]
  • Kern-Isberner, G. and Thimm, M. 2010. Novel Semantical Approaches to Relational Probabilistic Conditionals. Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR'10) (2010), 382–392. [URL | BibTeX | BibSonomy]
  • Marimon, D. et al. 2010. MobiAR: Tourist Experiences through Mobile Augmented Reality. Proceedings of 2010 NEM Summit. Barcelona, Spain (2010). [BibTeX | BibSonomy]
  • Thimm, M. 2010. Realizing Argumentation in Multi-Agent Systems using Defeasible Logic Programming. Argumentation in Multi-Agent Systems, Post-Proceedings of the Sixth International Workshop (ArgMAS), Budapest, Hungary, May 2009 (revised, selected and invited papers) (2010). [URL | BibTeX | BibSonomy]
  • Thimm, M. et al. 2010. A System for Relational Probabilistic Reasoning on Maximum Entropy. Proceedings of the 23rd International FLAIRS Conference (FLAIRS'10) (2010). [URL | BibTeX | BibSonomy]
  • Thimm, M. and Garcia, A.J. 2010. Classification and Strategical Issues of Argumentation Games on Structured Argumentation Frameworks. Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010 (AAMAS'10) (2010). [URL | BibTeX | BibSonomy]

2009

  • Furbach, U. et al. 2009. A Knowledge Compilation Technique for ALC TBoxes. Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA (2009). [BibTeX | BibSonomy]
  • Linaza, M.T. et al. 2009. MPEG-7 Compliant Indexation Tool for Multimedia Tourist Content. Proceedings of Information and Communication Technologies in Tourism 2009 (ENTER 2009). Innsbruck, Austria (2009). [BibTeX | BibSonomy]
  • Obermaier, C. and Wagner, M. 2009. Towards an evolved lower bound for the most circular partition of a square. Proceedings of the Eleventh conference on Congress on Evolutionary Computation (Trondheim, Norway, 2009), 1463–1469. [URL | BibTeX | BibSonomy]

2008

  • Cobos, Y. et al. 2008. An architecture for Fast Semantic Retrieval in the Film Heritage Domain. Proceedings of the 6th International Workshop on Content-Based Multimedia Indexing (CBMI). London, UK (2008). [BibTeX | BibSonomy]
  • Cobos, Y. et al. 2008. Retrieving Film Heritage content using an MPEG-7 Compliant Ontology. Proceedings of the 3rd International Workshop on Semantic Media Adaptation and Personalisation (SMAP). Prague, Czech Republic (2008). [BibTeX | BibSonomy]

2007

  • Furbach, U. and Obermaier, C. 2007. Knowledge Compilation for Description Logics. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings (2007). [BibTeX | BibSonomy]
  • Furbach, U. and Obermaier, C. 2007. Applications of Automated Reasoning. KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings. C. Freksa et al., eds. Springer. [BibTeX | BibSonomy]