527 search results - page 6 / 106 » Towards a Natural Way of Reasoning |
ER
2007
Springer
14 years 1 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
CSL
1998
Springer
13 years 7 months ago
1998
Springer
What role should evaluation play in the development of natural language generation () techniques and systems? In this paper we describe what is involved in natural langua...
GIS
2008
ACM
13 years 7 months ago
2008
ACM
This paper introduces an ant-based colony system for the representation of a verbal route description. It is grounded on a natural metaphor that mimics the behavior of ant colonie...
ACL
1989
13 years 8 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
RC
2006
13 years 7 months ago
2006
If standard-precision computations do not lead to the desired accuracy, then it is reasonable to increase precision until we reach this accuracy. What is the optimal way of increa...