Christof Monz and Maarten de Rijke

In: M. Moortgat (ed.) Logical Aspects in Computational Linguistics (LACL 98), Springer, LNAI 2014, 2001, pp. 1-10.

In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity has a strong impact on the feasibility of any theorem prover for computational semantics. We briefly investigate the different aspects of ambiguity and review some of the solutions that have been proposed to tackle this problem.

[ PostScript | PostScript (gnu-zipped) | PDF ]

@InProceedings{monz:01dedu,
  author = 	 {Monz, C. and de~Rijke, M.},
  title = 	 {Deductions with Meaning},
  booktitle = 	 {Logical Aspects in Computational Linguistics},
  pages =        {1--10},		  
  year =	 2001,
  editor =	 {Moortgat, M.},
  series =	 {LNAI 2014},
  publisher =	 {Springer}
}