Вывод с низу вверх, ориентированный на цель

We present an efficient procedure for cost-based ab- duction, which is based on the idea of using chart parsers as proof procedures. We discuss in de- tail three features of …...