| 2018 | ISI | Directed Digital Hate. | Bjrn Pelzer, Lisa Kaati, Nazar Akrami |
| 2015 | CADE | Automated Reasoning in the Wild. | Ulrich Furbach, Bjrn Pelzer, Claudia Schon |
| 2015 | CaiSE | Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration. | Mika Cohen, Michael Minock, Daniel Oskarsson, Bjrn Pelzer |
| 2015 | EDBT | Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases. | Michael Minock, Daniel Oskarsson, Bjrn Pelzer, Mika Cohen |
| 2013 | CADE | System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. | Markus Bender, Bjrn Pelzer, Claudia Schon |
| 2013 | KI | Automated Theorem Proving with Web Services. | Bjrn Pelzer |
| 2011 | ICAART | LogAnswer in Question Answering Forums. | Bjrn Pelzer, Ingo Glckner, Tiansi Dong |
| 2011 | IJCAI | A Natural Language Question Answering System as a Participant in Human Q&A Portals. | Tiansi Dong, Ulrich Furbach, Ingo Glckner, Bjrn Pelzer |
| 2008 | CADE | LogAnswer - A Deduction-Based Question Answering System (System Description). | Ulrich Furbach, Ingo Glckner, Hermann Helbig, Bjrn Pelzer |
| 2008 | CADE | Combining Theorem Proving with Natural Language Processing. | Bjrn Pelzer, Ingo Glckner |
| 2008 | KES | Exploring Robustness Enhancements for Logic-Based Passage Filtering. | Ingo Glckner, Bjrn Pelzer |
| 2007 | CADE | Hyper Tableaux with Equality. | Peter Baumgartner, Ulrich Furbach, Bjrn Pelzer |
| 2007 | CADE | System Description: E-KRHyper. | Bjrn Pelzer, Christoph Wernhard |