The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karsten Konrad: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002