Search the dblp DataBase

Publications of Author

1. Claire Gardent, Karsten Konrad
   Understanding "Each Other". [Citation Graph (0, 0)][DBLP]
   ANLP, 2000, pp:319-326 [Conf]
   
2. Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
   Omega: Towards a Mathematical Assistant. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:252-255 [Conf]
   
3. Karsten Konrad, David A. Wolfram
   System Description: Kimba, A Model Generator for Many-Valued First-Order Logics. [Citation Graph (0, 0)][DBLP]
   CADE, 1999, pp:282-286 [Conf]
   
4. Karsten Konrad, Holger Maier, David Milward, Manfred Pinkal
   An Education and Research Tool for Computational Semantics. [Citation Graph (0, 0)][DBLP]
   COLING, 1996, pp:1098-1101 [Conf]
   
5. Karsten Konrad, Holger Maier, Manfred Pinkal, David Milward
   CLEARS - Ein Werkzeug für Ausbildung und Forschung in der Computerlinguistik. [Citation Graph (0, 0)][DBLP]
   KONVENS, 1996, pp:379-387 [Conf]
   
6. Karsten Konrad
   HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1998, pp:245-261 [Conf]
   
7. David Milward, Karsten Konrad, Holger Maier, Manfred Pinkal
   CLEARS - An Education and Research Tool for Computational Semantics [Citation Graph (0, 0)][DBLP]
   CoRR, 1996, v:0, n:, pp:- [Journal]
   
8. Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
   L<Omega>UI: Lovely <Omega>MEGA User Interface. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]