Search the dblp DataBase

Publications of Author

1. Björn Pelzer, Christoph Wernhard
   System Description: E-KRHyper. [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:508-513 [Conf]
   
2. Peter Baumgartner, Ulrich Furbach, Björn Pelzer
   Hyper Tableaux with Equality. [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:492-507 [Conf]
   
3. 
   LogAnswer - A Deduction-Based Question Answering System (System Description). [Citation Graph (, )][DBLP]
   
   
4. 
   Combining Theorem Proving with Natural Language Processing. [Citation Graph (, )][DBLP]
   
   
5. 
   Combining Logic and Machine Learning for Answering Questions. [Citation Graph (, )][DBLP]
   
   
6. 
   Extending a Logic-Based Question Answering System for Administrative Texts. [Citation Graph (, )][DBLP]
   
   
7. 
   The LogAnswer Project at ResPubliQA 2010. [Citation Graph (, )][DBLP]
   
   
8. 
   Exploring Robustness Enhancements for Logic-Based Passage Filtering. [Citation Graph (, )][DBLP]
   
   
9. 
   An application of automated reasoning in natural language question answering. [Citation Graph (, )][DBLP]