| System description: E-kRHyper B Pelzer, C Wernhard Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 64 | 2007 |
| An application of automated reasoning in natural language question answering U Furbach, I Glöckner, B Pelzer Ai Communications 23 (2-3), 241-265, 2010 | 56 | 2010 |
| Toxic language in online incel communities B Pelzer, L Kaati, K Cohen, J Fernquist SN Social Sciences 1, 1-22, 2021 | 52 | 2021 |
| System Description: KRHyper C Wernhard, B Pelzer Fachberichte Informatik 14, 2003 | 52 | 2003 |
| Hyper tableaux with equality P Baumgartner, U Furbach, B Pelzer International Conference on Automated Deduction, 492-507, 2007 | 43 | 2007 |
| A natural language question answering system as a participant in human Q&A portals T Dong, U Furbach, I Glöckner, B Pelzer Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 39 | 2011 |
| Model evolution with equality—revised and implemented P Baumgartner, B Pelzer, C Tinelli Journal of Symbolic Computation 47 (9), 1011-1045, 2012 | 29 | 2012 |
| Loganswer-a deduction-based question answering system (system description) U Furbach, I Glöckner, H Helbig, B Pelzer Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 22 | 2008 |
| Hope, cope & rope: Incels i digitala miljöer J Fernquist, B Pelzer, K Cohen, L Kaati, N Akrami Totalförsvarets forskningsinstitut, 2020 | 20 | 2020 |
| System description: E-KRHyper 1.4: extensions for unique names and description logic M Bender, B Pelzer, C Schon International Conference on automated deduction, 126-134, 2013 | 19 | 2013 |
| Logic-based question answering U Furbach, I Glöckner, H Helbig, B Pelzer KI-Künstliche Intelligenz 24, 51-55, 2010 | 18 | 2010 |
| Automatic extraction of personality from text: Challenges and opportunities N Akrami, J Fernquist, T Isbister, L Kaati, B Pelzer 2019 IEEE international conference on big data (big data), 3156-3164, 2019 | 17 | 2019 |
| Directed digital hate B Pelzer, L Kaati, N Akrami 2018 IEEE International Conference on Intelligence and Security Informatics …, 2018 | 16 | 2018 |
| Levels of hate in online environments T Berglind, B Pelzer, L Kaati Proceedings of the 2019 IEEE/ACM International Conference on Advances in …, 2019 | 15 | 2019 |
| Exploring robustness enhancements for logic-based passage filtering I Glöckner, B Pelzer International Conference on Knowledge-Based and Intelligent Information and …, 2008 | 13 | 2008 |
| The hyper tableaux calculus with equality and an application to finite model computation P Baumgartner, U Furbach, B Pelzer Journal of Logic and Computation 20 (1), 77-109, 2010 | 12 | 2010 |
| The LogAnswer Project at CLEF 2009. I Glöckner, B Pelzer CLEF (Working Notes), 2009 | 10 | 2009 |
| Hope, cope & rope J Fernquist, L Kaati, B Pelzer, K Asplund Cohen, N Akrami Totalförsvarets forskningsinstitut (FOI). https://www. foi. se/rapporter …, 2020 | 9 | 2020 |
| The LogAnswer Project at ResPubliQA 2010. I Glöckner, B Pelzer CLEF (notebook papers/labs/workshops), 2010 | 8 | 2010 |
| Combining logic and machine learning for answering questions I Glöckner, B Pelzer Workshop of the Cross-Language Evaluation Forum for European Languages, 401-408, 2008 | 7 | 2008 |
