BibTeX
@InProceedings{koenigbecker:2002,
author = {Becker, Tanja and K{ö}nig, Esther},
title = {Lexikonfreie {L}emmatisierung f{ü}r {S}ubstantive des {D}eutschen},
booktitle = {KONVENS 2002},
year = {2002},
address = {DFKI Saarbr{ü}cken},
month = {September},
keywords = {IMSLex,CorpLex},
pdf = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/Lemmatizer.pdf},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/Lemmatizer.ps.gz}
}
@article{bouma/koenig/uszkoreit:1988,
author = {Bouma, Gosse and {K{ö}nig}, Esther and Uszkoreit, Hans},
title = {A Flexible Graph-Unification Formalism and its Application to Natural
Language Processing},
journal = { IBM Journal Research and Development},
year = {1988},
note = {Special Issue on Computational Linguistics},
keywords = {unification-based grammar formalism, LILOG}
}
@manual{christetal:1999cqp,
title = {Corpus Query Processor (CQP). User's Manual},
author = {Christ, Oliver and Schulze, Bruno M. and K{ö}nig, Esther},
organization = {Institut f{ü}r Maschinelle Sprachverarbeitung, Universit{ä}t
Stuttgart},
address = {Stuttgart, Germany},
year = {1999},
annote = {corpus-based linguistics},
keywords = {CorpLex,CQP},
postscript = {https://www.ims.uni-stuttgart.de/CorpusWorkbench/CQPUserManual/PS/cqpman.ps.gz},
url = {https://www.ims.uni-stuttgart.de/CorpusWorkbench/CQPUserManual/HTML/}
}
@techreport{dipperkermesetal2002,
author = {Dipper, Stefanie and Kermes, Hannah and K{ö}nig, Esther and Lezius,
Wolfgang and M{ü}ller, Frank H. and Ule, Tylman},
title = {{DEREKO} ({DE}utsches {RE}ferenz{KO}rpus) {G}erman Reference Corpus},
institution = {Institut f{ü}r Maschinelle Sprachverarbeitung, Uni Stuttgart, and
Seminar f{ü}r Sprachwissenschaft, Uni T{ü}bingen},
year = {2002},
address = {Stuttgart/T{ü}bingen},
month = {February},
annote = {DEREKO,TIGER,Treebank,German,CorpLex},
pdf = {http://www.sfs.nphil.uni-tuebingen.de/dereko/DEREKOReport.pdf},
postscript = {http://www.sfs.nphil.uni-tuebingen.de/dereko/DEREKOReport.ps.gz}
}
@article{doerre/gabbay/koenig:1995,
author = {D{ö}rre, Jochen and Gabbay, Dov M. and K{ö}nig, Esther},
title = {Fibred Semantics for Feature-based Grammar Logic},
journal = {Journal of Logic, Language, and Information. Special Issue on Language
and Proof Theory},
year = {1996},
volume = {5},
pages = {387-422},
keywords = {categorial grammar, unification-based grammar formalism, formal semantics},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/fibred-semantics.ps.gz}
}
@InProceedings{koenig:1989,
author = {K{ö}nig, Esther},
title = {Parsing as Natural Deduction},
booktitle = {Proceedings of the 27th Annual Meeting of the Association for Computational
Linguistics},
year = {1989},
pages = {272-279},
address = {Vancouver, B.C.},
keywords = {categorial grammar, parser, ACL},
pdf = {http://acl.ldc.upenn.edu/P/P89/P89-1033.pdf}
}
@InProceedings{koenig:1990cpecg,
author = {K{ö}nig, Esther},
title = {The Complexity of Parsing with Extended Categorial Grammars},
booktitle = {13th International Conference on Computational Linguistics (COLING-90)},
year = {1990},
address = {Helsinki},
keywords = {categorial grammar}
}
@phdthesis{koenig:1990lk,
author = {K{ö}nig, Esther},
title = {Der {L}ambek-{K}alk{ü}l. {E}ine {L}ogik f{ü}r lexikalische {G}rammatiken
({T}he {L}ambek calculus. {A} logic for lexical grammars)},
school = {{S}tuttgart University},
year = {1990},
address = {Stuttgart, {B}aden-{W}{ü}rttemberg},
note = {IWBS Report 146, IBM Germany},
keywords = {categorial grammar, parsing, formal language theory}
}
@article{koenig:1990rcg,
author = {K{ö}nig, Esther},
title = {Review of {B}uszkowski et al. (1988): {C}ategorial Grammar},
journal = {Theoretical Lingustics },
year = {1990},
volume = {16},
pages = {89-99},
number = {2/3},
keywords = {categorial grammar}
}
@incollection{koenig:ghmcg,
author = {K{ö}nig, Esther},
title = {Gap-Handling Mechanisms in Categorial Grammars},
booktitle = {Text Understanding in LILOG},
publisher = {Springer},
year = {1991},
editor = {Otthein Herzog and Claus-Rainer Rollinger},
pages = {88-101},
address = {Berlin},
keywords = {categorial grammar, syntax, LILOG}
}
@InProceedings{koenig:1991issa,
author = {K{ö}nig, Esther},
title = {Incremental Syntactic and Semantic Analysis},
booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence
},
year = {1991},
pages = {925-930},
address = {Sydney, Australia}
}
@incollection{koenig:1992cp,
author = {K{ö}nig, Esther},
title = {Chart Parsing and The Treatment of Word Order by Hypothetical Reasoning},
booktitle = {Word Order in Categorial Grammar. Proceedings of the Workshop of
Clermont-Ferrand on behalf of DYANA project, May 1990},
publisher = {{{E}}ditions Arosa},
year = {1992},
editor = {Lecomte, Alain},
pages = {171-185},
address = {Clermont-Ferrand},
keywords = {categorial grammar, parsing}
}
@techreport{koenig:1992ieice,
author = {K{ö}nig, Esther},
title = {An Efficient Decision Algorithm for Feature Logic},
institution = {Institute of Electronics, Information and Communication Engineers},
year = {1992},
type = {Technical Report},
number = {vol. 91, no. 415},
address = {Tokyo, Japan}
}
@incollection{koenig:1993eda,
author = {K{ö}nig, Esther},
title = {An Efficient Decision Algorithm for Feature Logic},
booktitle = {GWAI-92: Advances in Artificial Intelligence. 16th German Conference
on Artificial Intelligence, Bonn},
publisher = {Springer},
year = {1993},
editor = {Ohlbach, Hans-J{ü}rgen},
volume = {671},
series = {Lecture Notes on Artificial Intelligence},
pages = {255-266},
address = {Berlin},
keywords = {constraint-logic programming},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/disj_unification.ps.gz}
}
@incollection{koenig:1993ssc,
author = {K{ö}nig, Esther},
title = {A Sequent-style Calculus For Solving Recursive Type Equations},
booktitle = {Feature Formalisms And Linguistic Ambiguity},
publisher = {Ellis Horwood},
year = {1993},
editor = {Trost, Harald},
pages = {159-172},
address = {Chichester, England},
note = {{P}roceedings of the ECAI'92 Workshop on Coping with Linguistic Ambiguity
in Typed Feature Formalisms},
keywords = {constraint-logic programming},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/rec_type_eq.ps.gz}
}
@article{koenig:1994hrala,
author = {K{ö}nig, Esther},
title = {A Hypothetical Reasoning Algorithm for Linguistic Analysis},
journal = {Journal of Logic and Computation},
year = {1994},
volume = {4},
number = {1},
keywords = {categorial grammar, parser},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/Lambek-chart-parser.ps.gz}
}
@techreport{koenig:1994sgd,
author = {K{ö}nig, Esther},
title = {A Study in Grammar Design},
institution = {Institut f{ü}r Maschinelle Sprachverarbeitung, Universit{ä}t
Stuttgart},
year = {1994},
type = {Arbeitspapier 54 des {S}onderforschungsbereich 340},
keywords = {categorial grammar, SFB340},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/LexGram-report.ps.gz}
}
@InProceedings{koenig:1994shdg,
author = {K{ö}nig, Esther},
title = {Syntactic-head-driven generation},
booktitle = {Proceedings of the International Conference on Computational Linguistics},
year = {1994},
address = {Kyoto, Japan},
keywords = {categorial grammar, generation, SFB340, COLING},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/synt-head-driven-generation.ps.gz}
}
@techreport{koenig:1997mpm,
author = {K{ö}nig, Esther},
title = {A Matrix Proof Method for Underspecified Discourse Representation
Structures},
institution = {Institut f{ü}r Maschinelle Sprachverarbeitung, Universit{ä}t
Stuttgart},
year = {1997},
type = {Arbeitspapier 96 des {S}onderforschungsbereich 340},
keywords = {SFB340},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/udrs-tp.ps.gz}
}
@techreport{koenig:1998cuf,
author = {K{ö}nig, Esther},
title = {A CUF tutorial},
institution = {Institut f{ü}r Maschinelle Sprachverarbeitung, Universit{ä}t
Stuttgart},
year = {1998},
type = {Technical Report},
keywords = {logic programming},
postscript = {ftp://ftp.ims.uni-stuttgart.de/pub/cuf/english_papers/CUF-tutorial.ps.gz}
}
@article{koenig:1998lg,
author = {K{ö}nig, Esther},
title = {{LexGram} - a practical categorial grammar formalism},
journal = {Journal of Language and Computation},
year = {1999},
volume = {1},
pages = {33-52},
number = {1},
note = {Oxford University Press and FOLLI},
keywords = {categorial grammar, SFB340},
pdf = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/LexGram-overview.pdf},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/LexGram-overview.ps.gz}
}
@InProceedings{koenigcoling2000,
author = {Esther K{ö}nig and Wolfgang Lezius},
title = {A description language for syntactically annotated corpora},
booktitle = {Proceedings of the COLING Conference},
year = {2000},
pages = {1056-1060},
address = {Saarbr{ü}cken, Germany},
keywords = {TIGER,CorpLex},
pdf = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/lezius/coling2000.pdf},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/lezius/coling2000.ps.gz}
}
@techreport{koenig/leziusreport2003,
author = {Esther K{ö}nig and Wolfgang Lezius},
title = {The {TIGER} language - A Description Language for Syntax Graphs,
{F}ormal Definition.},
institution = {Institut f"{u}r Maschinelle Sprachverarbeitung, Universit"{a}t Stuttgart},
year = {2003},
keywords = {TIGER,CorpLex},
pdf = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/lezius/tigerLangForm.pdf},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/lezius/tigerLangForm.ps.gz}
}
@manual{tigersearchusersmanual2003,
title = {{TIGERS}earch User's Manual},
author = {Esther K{ö}nig and Wolfgang Lezius and Holger Voormann},
organization = {IMS, University of Stuttgart},
address = {Stuttgart},
year = {2003},
keywords = {TIGER,CorpLex},
url = {http://www.tigersearch.de}
}
@article{koenig/mengel:2000,
author = {K{ö}nig, Esther and Mengel, Andreas},
title = {Book review of: {J}ohn {N}erbonne (ed.): Linguistic Databases},
journal = {Journal of Logic, Language and Information},
year = {2000},
volume = {9},
pages = {513-517},
number = {4},
month = {October},
keywords = {CorpLex},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/local/KoenigMengel2000.ps.gz}
}
@incollection{koenig/reyle:1999,
author = {K{ö}nig, Esther and Reyle, Uwe},
title = { A General Reasoning Scheme for Underspecified Representations},
booktitle = {Logic, Language and Reasoning. Essays in Honour of Dov Gabbay.},
publisher = {Kluwer},
year = {1999},
editor = {Hans J{ü}rgen Ohlbach and Uwe Reyle},
keywords = {semantics, SFB340},
postscript = {https://www.ims.uni-stuttgart.de/projekte/corplex/paper/koenig/ul.ps.gz}
}
@InProceedings{koenig/rohrer:1993,
author = {K{ö}nig, Esther and Rohrer, Christian},
title = {Disambiguation by Inference on Ambiguous Representations},
booktitle = {International Workshop on Natural Language Understanding and Logic
Programming},
year = {1993},
address = {Nara, Japan},
keywords = {semantics, machine translation}
}
@book{koenig/seiffert:1989,
title = {Grundkurs PROLOG f{ü}r Linguisten},
publisher = {Francke-Verlag},
year = {1989},
author = {K{ö}nig, Esther and Seiffert, Roland},
address = {T{ü}bingen},
keywords = {logic programming, Prolog},
pdf = {http://www.seiffert-diaz.net/einf-prolog-koenig-seiffert.pdf}
}
@InProceedings{leziuskonvens2000,
author = {Wolfgang Lezius and Esther K{ö}nig},
title = {Towards a search engine for syntactically annotated corpora},
booktitle = {KONVENS-2000 Sprachkommunikation},
year = {2000},
editor = {Werner Z{ü}hlke, Ernst G. Schukat-Talamazzini},
pages = {113-116},
address = {Ilmenau, Germany},
publisher = {VDE-Verlag},
keywords = {GermanTIGER}
}