| 2004 |
|---|
| 9 | | Karsten Konrad:
Model Generation for Natural Language Interpretation and Analysis
Springer 2004 |
| 2000 |
|---|
| 8 | EE | Claire Gardent,
Karsten Konrad:
Understanding "Each Other".
ANLP 2000: 319-326 |
| 1999 |
|---|
| 7 | EE | Karsten Konrad,
David A. Wolfram:
System Description: Kimba, A Model Generator for Many-Valued First-Order Logics.
CADE 1999: 282-286 |
| 6 | EE | 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.
Formal Asp. Comput. 11(3): 326-342 (1999) |
| 1998 |
|---|
| 5 | | Karsten Konrad:
HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux.
TPHOLs 1998: 245-261 |
| 1997 |
|---|
| 4 | | 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.
CADE 1997: 252-255 |
| 1996 |
|---|
| 3 | EE | Karsten Konrad,
Holger Maier,
David Milward,
Manfred Pinkal:
An Education and Research Tool for Computational Semantics.
COLING 1996: 1098-1101 |
| 2 | | Karsten Konrad,
Holger Maier,
Manfred Pinkal,
David Milward:
CLEARS - Ein Werkzeug für Ausbildung und Forschung in der Computerlinguistik.
KONVENS 1996: 379-387 |
| 1 | EE | David Milward,
Karsten Konrad,
Holger Maier,
Manfred Pinkal:
CLEARS - An Education and Research Tool for Computational Semantics
CoRR cmp-lg/9608005: (1996) |
