%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:20 +0100 GMT
%    
% Selection : Author: Karsten_Konrad
%




@InProceedings{Bedersdorfer_et_al:1993,
      AUTHOR = {Bedersdorfer, Jochen and Konrad, Karsten and Neis, Ingo and Scherf, Oliver and Steffen, Jörg and Wein, Michael},
      TITLE = {Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen},
      YEAR = {1993},
      BOOKTITLE = {Neuere Entwicklungen der deklarativen KI-Programmierung, September 13-25},
      NUMBER = {RR-93-35},
      PAGES = {17-30},
      EDITOR = {Boley, Harold and Bry, François and Geske, Ulrich},
      SERIES = {Research Report},
      ADDRESS = {Berlin, Germany},
      URL = {http://www.ags.uni-sb.de/~konrad/papers/slant.ps.gz},
      ABSTRACT = {The field of declarative AI programming is briefly characterized. Its recent developments in Germany are reflected by a workshop as part of the scientific congress KI-93 at the Berlin Humboldt University. Three tutorials introduce to the state of the art in deductive databases, the programming language Gödel, and the evolution of knowledge bases. Eleven contributed papers treat knowledge revision/program transformation, types, constraints, and type-constraint combinations.},
      ANNOTE = {COLIURL : Bedersdorfer:1993:STG.pdf Bedersdorfer:1993:STG.ps}
}

@TechReport{Gardent_et_al:1998,
      AUTHOR = {Gardent, Claire and Kohlhase, Michael and Konrad, Karsten},
      TITLE = {Higher-Order Coloured Unification: a linguistic application},
      YEAR = {1998},
      MONTH = {November},
      NUMBER = {101},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/people/claire/tsi.ps.gz},
      ABSTRACT = {During the last decade, Higher-Order unification (HOU) has become a popular tool for constructing the semantic representation of natural language expressions. But there is a well-known problem with this approach: it over-generates that is, it produces solutions which although they are mathematically valid, are linguistically incorrect because they do not represent possible meanings of the expression being analysed. In this paper, we argue that Higher-Order Colored Unification (HOCU) can help prevent over-generation and we describe the linguistic, logical and computational aspects of an HOCU--based approach to semantic construction.},
      ANNOTE = {COLIURL : Gardent:1998:HOC.pdf Gardent:1998:HOC.ps}
}

@Article{Gardent_et_al:1999,
      AUTHOR = {Gardent, Claire and Kohlhase, Michael and Konrad, Karsten},
      TITLE = {Higher-Order Coloured Unification: a Linguistic Application},
      YEAR = {1999},
      JOURNAL = {Technique et Science Informatiques},
      VOLUME = {18},
      NUMBER = {2},
      PAGES = {181-209}
}

@TechReport{Gardent_Konrad:1999,
      AUTHOR = {Gardent, Claire and Konrad, Karsten},
      TITLE = {Definites or the proper treatment of rabbits},
      YEAR = {1999},
      MONTH = {June},
      NUMBER = {111},
      PAGES = {12},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus111.ps},
      ABSTRACT = {We argue that model generation programs, i.e., deduction systems that automatically compute the interpretations satisfying a given formula, can provide a procedural interpretation for semantic theories of natural language. We illustrate this claim by describing how the higher-order model generator kimba interprets definite descriptions.},
      ANNOTE = {COLIURL : Gardent:1999:DPT.pdf Gardent:1999:DPT.ps}
}

@MastersThesis{Konrad:1994,
      AUTHOR = {Konrad, Karsten},
      TITLE = {Abstrakte Syntaxtransformation mit getypten Merkmalstermen},
      YEAR = {1994},
      ADDRESS = {Saarbrücken},
      SCHOOL = {Universität des Saarlandes, Department of Computer Science}
}

@InProceedings{Konrad_et_al:1996,
      AUTHOR = {Konrad, Karsten and Maier, Holger and Milward, David and Pinkal, Manfred},
      TITLE = {An Education and Research Tool for Computational Linguistics},
      YEAR = {1996},
      BOOKTITLE = {16th International Conference on Computational Linguistics (COLING '96), August 5-9},
      VOLUME = {2},
      PAGES = {1098-1101},
      EDITOR = {ACL},
      ADDRESS = {Copenhagen, Denmark}
}

@InProceedings{Nerbonne_et_al:1993_2,
      AUTHOR = {Nerbonne, John and Oepen, Stefan and Diagne, Abdel Kader and Konrad, Karsten and Neis, Ingo},
      TITLE = {NLL - Tools for Meaning Representation},
      YEAR = {1993},
      BOOKTITLE = {DFKI Workshop on Natural Language Systems: Re-Usability and Modularity, October 23},
      NUMBER = {D-93-03},
      PAGES = {43-50},
      EDITOR = {Busemann, Stephan and Harbusch, Karin},
      SERIES = {DFKI Document},
      ADDRESS = {Saarbrücken, Germany}
}