@Article{jolli04,
  author =       {Alexander Koller and Ralph Debusmann and Malte Gabsdil and Kristina Striegnitz},
  title =        {Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game},
  journal =      {Journal of Logic, Language and Information},
  year =         2004,
  key =          {KolDebGabStrJolli04},
  volume =       13,
  number =       2,
  pages =        {187--206},
  authorURLs =   {http://www.coli.uni-sb.de/~koller/ and http://www.ps.uni-sb.de/~rade/ and http://www.coli.uni-sb.de/~gabsdil/ and http://www.coli.uni-sb.de/~kris/},
  abstract =     {We combine state-of-the-art techniques from
  computational linguistics and theorem proving to build an engine for
  playing text adventures, computer games with which the player
  interacts purely through natural language. The system employs a
  parser for dependency grammar and a generation system based on TAG,
  and has components for resolving and generating referring
  expressions. Most of these modules make heavy use of inferences
  offered by a modern theorem prover for description logic. Our game
  engine solves some problems inherent in classical text adventures,
  and is an interesting test case for the interaction between natural
  language processing and inference.},
  keywords =     {interactive fiction, theorem proving, dependency grammar},
}