IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #706   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:33
706 Add to my selection
@InProceedings{Kohlhase_Koller:2000,
      AUTHOR = {Kohlhase, Michael and Koller, Alexander},
      TITLE = {Towards a Tableaux Machine for Language Understanding (ICoS '00)},
      YEAR = {2000},
      BOOKTITLE = {2nd Workshop on Inference in Computational Semantics (ICoS-2), July 30},
      ADDRESS = {Schloss Dagstuhl, Germany},
      URL = {http://www.coli.uni-sb.de/~koller/papers/txm.ps.gz},
      ABSTRACT = {We outline an abstract inference machine for producing discourse models in natural language understanding. This machine has tableaux as its central data structure and can operate in model generation and theorem proving modes. Search spaces are controlled by keeping track of NP saliences and equipping proof rules with costs.},
      ANNOTE = {COLIURL : Kohlhase:2000:TTM.pdf Kohlhase:2000:TTM.ps}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin