Institute for Web Science and Technologies
FB 4: Informatik / Universität Koblenz
- 0261/287-2712
Thimm, Matthias
On the expressivity of inconsistency measuresArtificial Intelligence. Bd. 234. Amsterdam: Elsevier 2016 S. 120 - 151
Hunter, Anthony; Thimm, Matthias
Optimization of dialectical outcomes in dialogical argumentationInternational Journal of Approximate Reasoning. Bd. 78. Amsterdam: Elsevier 2016 S. 73 - 102
Thimm, Matthias; Cerutti, Federico; Strass, Hannes et al.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation SAFA co-located with the 6th International Conference on Computational Models of Argument COMMA 2016: Potsdam, Germany, September 13, 2016Aachen: CEUR/RWTH 2016
Schon, Claudia; Furbach, Ulrich
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence IJCAI 2016: New York, USA, July 9, 2016Aachen: CEUR/RWTH 2016
Thimm, Matthias; Wallner, Johannes Peter
Some Complexity Results on Inconsistency MeasurementChitta Baral; James Delgrande; Frank Wolter (Hrsg). Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning KR 2016: April 25-29, 2016; Cape Town, South Africa. Palo Alto, CA: AAAI Press 2016 S. 114 - 124
Becker, Martin; Mewes, Hauke; Hotho, Andreas et al.
SparkTrails: A MapReduce Implementation of HypTrails for Comparing Hypotheses About Human TrailsJacqueline Bourdeau; Jim A. Hendler; Roger Nkambou Nkambou; Ian Horrocks; Ben Y. Zhao (Hrsg). WWW '16 Companion - Proceedings of the 25th International Conference on World Wide Web: April 11. - 15., 2016; Montréal, Québec, Canada. New York, NY: ACM Association for Computing Machinery 2016 S. 17 - 18
Thimm, Matthias
Stream-based inconsistency measurementInternational Journal of Approximate Reasoning. Bd. 68. Amsterdam: Elsevier 2016 S. 68 - 87
Thimm, Matthias; Villata, Serena; Cerutti, Federico et al.
Summary Report of The First International Competition on Computational Models of ArgumentationAI Magazine. Bd. 37. H. 1. Menlo Park, CA: Association for the Advancement of Artificial Intelligence 2016 S. 102 - 104
Schon, Claudia
Techniques for optimized reasoning in description logic knowledge basesKoblenz: Universität Koblenz-Landau 2016
Garcia, David; Strohmaier, Markus
The QWERTY Effect on the Web: How Typing Shapes the Meaning of Words in Online Human-Computer InteractionJacqueline Bourdeau; Jim A. Hendler; Roger Nkambou Nkambou; Ian Horrocks; Ben Y. Zhao (Hrsg). WWW '16 Proceedings of the 25th International Conference on World Wide Web: April 11. - 15., 2016; Montréal, Québec, Canada. New York, NY: ACM Association for Computing Machinery 2016 S. 661 - 670