BibTeX

@book{doerre:1996diss,
  title = {Feature-{L}ogik und {S}emiunifikation},
  publisher = {infix-Verlag},
  year = {1996},
  author = {D{ö}rre, Jochen},
  series = {Dissertationen zur K{ü}nstlichen Intelligenz},
  address = {Sankt Augustin, Germany},
  keywords = {constraint satisfaction,feature logic,unification,grammar formalisms}
}


@InProceedings{doerre:1996psdlg,
  author = {D{ö}rre, Jochen},
  title = {Parsing for {S}emidirectional {L}ambek {G}rammar is {NP}-Complete},
  booktitle = {Proceedings of the 34th Annual Meeting of the Association for Computational
	Linguistics (ACL'96)},
  year = {1996},
  address = {Santa Cruz},
  note = {{ tt  cmp-lg/9605016}},
  keywords = {categorial grammar}
}


@InProceedings{doerre:1997,
  author = {D{ö}rre, Jochen},
  title = {Efficient Construction of Underspecified Semantics under Massive
	Ambiguity},
  booktitle = {Proceedings of the Association for Computational Linguistics (ACL'97)},
  year = {1997}
}


@InProceedings{eiseledoerre89,
  author = {Jochen D{ö}rre and Andreas Eisele},
  title = {{Determining Consistency of Feature Terms with Distributed Disjunctions}},
  booktitle = {German Workshop on Artificial Intelligence (GWAI)},
  year = {1989},
  editor = {Dieter Metzing},
  pages = {270-279},
  publisher = {Informatik Fachberichte 216, Springer-Verlag}
}


@InProceedings{fldu,
  author = {Jochen D{ö}rre and Andreas Eisele},
  title = {{Feature Logic with Disjunctive Unification}},
  booktitle = {COLING},
  year = {1990},
  volume = {2},
  pages = {100-105}
}


@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{eiseledoerre86,
  author = {Andreas Eisele and Jochen D{ö}rre},
  title = {{A Lexical-Functional Grammar System in Prolog}},
  booktitle = {COLING},
  year = {1986},
  pages = {551-553}
}


@InProceedings{eiseledoerre88,
  author = {Andreas Eisele and Jochen D{ö}rre},
  title = {{Unification of Disjunctive Feature Descriptions}},
  booktitle = {ACL},
  year = {1988},
  pages = {286-294}
}


@InProceedings{johnson/doerre:1995,
  author = {Johnson, Mark and D{ö}rre, Jochen},
  title = {Memoization of Coroutined Constraints},
  booktitle = {Proceedings of the Annual Meeting of the Association for Computational
	Linguistics (ACL'95)},
  year = {1995}
}


@incollection{momma/doerre:1987,
  author = {Momma, Stefan and D{ö}rre, Jochen},
  title = {Generation from f-Structures},
  booktitle = {Categories, Polymorphism and Unification},
  publisher = {Center for Cognitive Science, University of Edinburgh},
  year = {1987},
  editor = {Klein, Ewan and van Benthem, Johan},
  keywords = {ACORD, Eurotra-D}
}