| |
| 2008 | ||
|---|---|---|
| 5 | EE | Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer: LogAnswer - A Deduction-Based Question Answering System (System Description). IJCAR 2008: 139-146 |
| 4 | EE | Ingo Glöckner, Björn Pelzer: Exploring Robustness Enhancements for Logic-Based Passage Filtering. KES (1) 2008: 606-614 |
| 3 | EE | Björn Pelzer, Ingo Glöckner: Combining Theorem Proving with Natural Language Processing. PAAR/ESHOL 2008 |
| 2007 | ||
| 2 | EE | Peter Baumgartner, Ulrich Furbach, Björn Pelzer: Hyper Tableaux with Equality. CADE 2007: 492-507 |
| 1 | EE | Björn Pelzer, Christoph Wernhard: System Description: E-KRHyper. CADE 2007: 508-513 |
| 1 | Peter Baumgartner | [2] |
| 2 | Ulrich Furbach | [2] [5] |
| 3 | Ingo Glöckner | [3] [4] [5] |
| 4 | Hermann Helbig | [5] |
| 5 | Christoph Wernhard | [1] |