BibSonomy :: author  ::

bookmarks

publications

(137)

• KI 2006: Advances in Artificial Intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14--17, 2006, Proceedings
  Christian Freksa and Michael Kohlhase and Kerstin Schill (eds.). (2007)
  to ai book conference springer v0804 by flint63 and 1 other person on 2008-05-03 17:09:17
  | URL | BibTeX  
• Computing Parallelism in Discourse
  Claire Gardent and Michael Kohlhase CoRR cmp-lg/9705004 (1997)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Corrections and Higher-Order Unification
  Claire Gardent and Michael Kohlhase and Noor van Leusen CoRR cmp-lg/9609001 (1996)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Focus and Higher-Order Unification
  Claire Gardent and Michael Kohlhase CoRR cmp-lg/9605005 (1996)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Higher-Order Coloured Unification and Natural Language Semantics
  Claire Gardent and Michael Kohlhase CoRR cmp-lg/9605004 (1996)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Automated Reasoning for Computational Semantics
  Patrick Blackburn and Johan Bos and Michael Kohlhase (1999)
  to DRT logic by diego_ma on 2007-12-14 02:36:15
  | URL | BibTeX  
• Semantic Perspectives on Knowledge Management and E-Learning.
  Andrea Kohlhase LWA 281-288 (2007)
  to dblp by dblp on 2007-11-16 00:00:00
  | URL | BibTeX  
• panta rhei.
  Christine Müller and Michael Kohlhase LWA 318-323 (2007)
  to dblp by dblp on 2007-11-16 00:00:00
  | URL | BibTeX  
• Managing Variants in Document Content and Narrative Structures.
  Michael Kohlhase and Achim Mahnke and Christine Müller LWA 324-329 (2007)
  to dblp by dblp on 2007-11-16 00:00:00
  | URL | BibTeX  
• A Semantic Wiki for Mathematical Knowledge Management.
  Christoph Lange and Michael Kohlhase SemWiki (2006)
  to dblp by dblp on 2007-10-31 00:00:00
  | URL | BibTeX