3775 search results - page 432 / 755 » The Expression Problem Revisited |
169
click to vote
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
Intelligent presentation of data requires exibility of expression based on user needs and data content, both of which evolve. This exibility is not o ered by the current generatio...
199
click to vote
LOPSTR
1997
Springer
15 years 11 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
164
click to vote
EWNLG
1993
15 years 11 months ago
1993
In this paper, we discuss the problem of generating natural anaphora in assembly instructional texts. We rst present a detailed account of grammatical and lexical anaphora and we e...
169
click to vote
EKAW
1994
Springer
15 years 11 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
191
click to vote
ESOP
1994
Springer
15 years 11 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...