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

<< 2011 >>

1 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.

<< 2003 >>

2 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]

<< 2001 >>

3 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 4 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] 5 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]

<< 2000 >>

6 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] 7 Dieter Hutter and Michael Kohlhase. Managing Structural Information by Higher-Order Colored Unification. In Journal of Automated Reasoning, Vol. 25:123-164, 2000.     google 8 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] 9 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] 10 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]

<< 1999 >>

11 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

<< 1998 >>

12 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] 13 Markus Egg, Claire Gardent and Michael Kohlhase. Steuerung der Inferenz in der Diskursverarbeitung. In Kognitionswissenschaft, Vol. 7:106-110, 1998. [Abstract]     google 14 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]

<< 1997 >>

15 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 16 Markus Egg and Michael Kohlhase. Dynamic Control of Quantifier Scope. In Paul Dekker editor, 11th Amsterdam Colloquium, ILLC, Amsterdam, The Netherlands, 1997.     google 17 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 18 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 19 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] 20 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] 21 Michael Kohlhase and Susanna Kuschert. Dynamic Lambda Calculus. Technical report, CLAUS Report 91, Universität des Saarlandes, Saarbrücken, September 1997. [Abstract]     google [Annote]

<< 1996 >>

22 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 23 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 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 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 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. 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 29 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 30 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

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