Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Michael Kohlhase   Order by:   Type | Year

<< Article (Journal) >>

1 Markus Egg, Claire Gardent and Michael Kohlhase. Steuerung der Inferenz in der Diskursverarbeitung. In Kognitionswissenschaft, Vol. 7:106-110, 1998. [Abstract]     google 2 Claire Gardent, Michael Kohlhase and Karsten Konrad. Higher-Order Coloured Unification: a Linguistic Application. In Technique et Science Informatiques, Vol. 18(2):181-209, 1999.     google 3 Dieter Hutter and Michael Kohlhase. Managing Structural Information by Higher-Order Colored Unification. In Journal of Automated Reasoning, Vol. 25:123-164, 2000.     google 4 Manfred Kerber and Michael Kohlhase. A Tableau Calculus for Partial Functions. In Collegium logicum: Annals of the Kurt-Gödel-Society, Vol. 2:21-49, 1996.     google 5 Michael Kohlhase and Alexander Koller. Resource-Adaptive Model Generation as a Performance Model. In Logic Journal of the IGPL, Vol. 11(4):435--456, 2003. [Abstract]     google [Annote]

<< InProceedings >>

6 Johan Bos. DORIS 2001: Underspecification, Resolution and Inference for Discourse Representation Structures. In Patrick Blackburn and Michael Kohlhase editors, Proceedings of the Workshop on Inference in Compuational Semantics (ICoS-3), June 18-19, Siena, Italy, 2001.     google [Annote] 7 Markus Egg and Michael Kohlhase. Underspecification of Quantifier Scope. In 6. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft, 08.-10. Oktober, Heidelberg, Germany, 1997.     google 8 Markus Egg and Michael Kohlhase. Dynamic Control of Quantifier Scope. In Paul Dekker editor, 11th Amsterdam Colloquium, ILLC, Amsterdam, The Netherlands, 1997.     google 9 Claire Gardent and Michael Kohlhase. Higher-Order Coloured Unification and Natural Language Semantics. In ACL editor, 34th Annual Meeting of the Association for Computational Linguistics, June 24-27, Santa Cruz, California, USA, 1996.     google 10 Claire Gardent and Michael Kohlhase. Focus and Higher-Order Unification. In ACL editor, 16th International Conference on Computational Linguistics (COLING '96), August 5-9, Vol. 1:430-435, Copenhagen, Denmark, 1996.     google 11 Claire Gardent and Michael Kohlhase. Computing Parallelism in Discourse. In 15th International Joint Conference on Artificial Intelligence (IJCAI '97), August 23-29, Vol. 2:1016-1021, Morgan Kaufmann Publishers, Nagoya, Japan, 1997. [Abstract]     google 12 Claire Gardent, Michael Kohlhase and Noor van Leusen. Corrections and Higher-Order Unification. In 3. Konferenz Verarbeitung natürlicher Sprache (KONVENS '96), 7.-9. Oktober, Pages 268-279, de Gruyter, Bielefeld, Germany, 1996. [Abstract]     google 13 Dieter Hutter and Michael Kohlhase. A Coloured Version of the Lambda-Calculus. In W. McCune editor, 14th International Conference on Automated Deduction (CADE-14), July 13-17, (1249):291-305, Springer, James Cook University, Townsville, Australia, 1997.     google 14 Manfred Kerber and Michael Kohlhase. A Resolution Calculus for Presuppositions. In Wolfgang Wahlster editor, 12th European Conference on Artificial Intelligence (ECAI '96), August 12-16, Pages 375-379, John Wiley & Sons, Budapest, Hungary, 1996. [Abstract]     google 15 Michael Kohlhase and Alexander Koller. Towards a Tableaux Machine for Language Understanding (ICoS '00) In 2nd Workshop on Inference in Computational Semantics (ICoS-2), July 30, Schloss Dagstuhl, Germany, 2000. [Abstract]     google [Annote] 16 Michael Kohlhase and Susanna Kuschert. Dynamic Lambda Calculus. In 5th Meeting on Mathematics of Language (MOL5), August 25-28, Pages 85-92, Schloss Dagstuhl, Germany, 1997.     google [Annote] 17 Michael Kohlhase, Susanna Kuschert and Manfred Pinkal. A Type-Theoretic Semantics for Lambda-DRT. In Paul Dekker and Martin Stokhof editors, 10th Amsterdam Colloquium, Pages 479-498, De Gruyter, Amsterdam, The Netherlands, 1996.     google 18 Ivana Korbayova and Bonnie Webber. Discourse Connectives, Inference and Information Structure. In Johan Bos and Michael Kohlhase editors, Workshop on Inference in Computational Semantics (ICoS-2), July 29-30, Pages 105-120, International Conference and Research Center for Computer Science, Schloß Dagstuhl, Germany, 2000.     google [Annote] 19 Manfred Pinkal and Michael Kohlhase. Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. In Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics (ACL '00), October 1-8, Morgan Kaufmann Publishers, Hong Kong, 2000. [Abstract]     google [Annote] 20 Kristina Striegnitz. Model Checking for Contextual Reasoning in NLG. In Patrick Blackburn and Michael Kohlhase editors, Proceedings of Inference in Computational Semantics (ICoS-3), June 18-23, Pages 101-115, Siena, Italy, 2001. [Abstract]     google [Annote] 21 Magdalena Wolska, Mihai Grigore and Michael Kohlhase. Using discourse context to interpret object-denoting mathematical expressions. In DML 2011 : Towards a Digital Mathematics Library : Bertinoro, Italy, Pages 85-101, Brno: Masaryk University, 20-21 July 2011.     google Note: MP.

<< InCollection >>

22 Patrick Blackburn, Johan Bos, Michael Kohlhase and Hans de Nivelle. Inference and Computational Semantics. In Harry Bunt, Reinhard Muskens and Elias Thijsse editors, Computing Meaning, Vol. 2(77):11-28 of Studies in Linguistics and Philosophie, Kluwer Academic Publishers, Dordrecht, 2001.     google

<< TechReport >>

23 Patrick Blackburn, Johan Bos, Michael Kohlhase and Hans de Nivelle. Inference and Computational Semantics. Technical report, CLAUS-Report 106, Universität des Saarlandes, Saarbrücken, November 1998. [Abstract]     google [Annote] 24 Claire Gardent and Michael Kohlhase. Focus and Higher-Order Unification. Technical report, CLAUS-Report 75, Universität des Saarlandes, Saarbrücken, April 1996. [Abstract]     google [Annote] 25 Claire Gardent and Michael Kohlhase. Higher-Order Coloured Unification and Natural Language Semantics. Technical report, CLAUS-Report 76, Universität des Saarlandes, Saarbrücken, April 1996. [Abstract]     google [Annote] 26 Claire Gardent, Michael Kohlhase and Karsten Konrad. Higher-Order Coloured Unification: a linguistic application. Technical report, CLAUS-Report 101, Universität des Saarlandes, Saarbrücken, November 1998. [Abstract]     google [Annote] 27 Claire Gardent, Michael Kohlhase and Noor van Leusen. Corrections and Higher-Order Unification. Technical report, CLAUS-Report 77, Universität des Saarlandes, Saarbrücken, May 1996. [Abstract]     google [Annote] 28 Manfred Kerber and Michael Kohlhase. Reasoning without Believing: On the Mechanization of Presuppositions and Partiality. Technical report, Technical Report CSRP-97-23, University of Birmingham, School of Computer Science, Birmingham, September 1997. [Abstract]     google [Annote] 29 Michael Kohlhase and Susanna Kuschert. Dynamic Lambda Calculus. Technical report, CLAUS Report 91, Universität des Saarlandes, Saarbrücken, September 1997. [Abstract]     google [Annote]

<< Proceedings >>

30 Johan Bos and Michael Kohlhase editors. Proceedings of the Workshop on Inference in Computational Semantics (ICoS-2), International Conference and Research Center for Computer Science, July 29-30. Pages 149, Schloss Dagstuhl, 2000.     google [Annote]

Last modified: Thu October 16 2014 19:11:34