Follow
Björn Pelzer
Björn Pelzer
Unknown affiliation
Verified email at uni-koblenz.de
Title
Cited by
Cited by
Year
System description: E-kRHyper
B Pelzer, C Wernhard
Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007
612007
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
522010
System Description: KRHyper
C Wernhard, B Pelzer
Fachberichte Informatik 14, 2003
512003
Hyper tableaux with equality
P Baumgartner, U Furbach, B Pelzer
Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007
432007
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
362011
Model evolution with equality—revised and implemented
P Baumgartner, B Pelzer, C Tinelli
Journal of Symbolic Computation 47 (9), 1011-1045, 2012
282012
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
222008
System description: E-KRHyper 1.4: extensions for unique names and description logic
M Bender, B Pelzer, C Schon
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
192013
Logic-based question answering
U Furbach, I Glöckner, H Helbig, B Pelzer
KI-Künstliche Intelligenz 24, 51-55, 2010
172010
Hope, cope & rope: Incels i digitala miljöer
J Fernquist, B Pelzer, K Cohen, L Kaati, N Akrami
Totalförsvarets forskningsinstitut, 2020
142020
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
132019
Exploring robustness enhancements for logic-based passage filtering
I Glöckner, B Pelzer
Knowledge-Based Intelligent Information and Engineering Systems: 12th …, 2008
132008
Directed digital hate
B Pelzer, L Kaati, N Akrami
2018 IEEE International Conference on Intelligence and Security Informatics …, 2018
122018
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
122010
Toxic language in online incel communities
B Pelzer, L Kaati, K Cohen, J Fernquist
SN Social Sciences 1, 1-22, 2021
112021
The LogAnswer Project at CLEF 2009.
I Glöckner, B Pelzer
CLEF (Working Notes), 2009
102009
Hope, cope & rope
J Fernquist, L Kaati, B Pelzer, K Asplund Cohen, N Akrami
Totalförsvarets forskningsinstitut (FOI). https://www. foi. se/rapporter …, 2020
92020
Levels of hate in online environments
T Berglind, B Pelzer, L Kaati
Proceedings of the 2019 IEEE/ACM International Conference on Advances in …, 2019
92019
The LogAnswer Project at ResPubliQA 2010.
I Glöckner, B Pelzer
CLEF (notebook papers/labs/workshops), 2010
82010
Combining logic and machine learning for answering questions
I Glöckner, B Pelzer
Evaluating Systems for Multilingual and Multimodal Information Access: 9th …, 2009
62009
The system can't perform the operation now. Try again later.
Articles 1–20