190 search results - page 21 / 38 » An application of automated reasoning in natural language qu... |
TARK
2007
Springer
14 years 1 months ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
EWCBR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper describes a web-based CBR application competing at the first Computer Cooking Contest at the ECCBR 2008. It describes the technical realisation of our system, ...
CSL
1999
Springer
13 years 12 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
HT
2007
ACM
13 years 11 months ago
2007
ACM
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...
GIS
2008
ACM
13 years 7 months ago
2008
ACM
This paper deals with the geographical analysis and visualization of network marketing. The aim of the study was to develop interactive visual methods, which help to answer questi...