2291 search results - page 178 / 459 » Representational Reasoning and Verification |
180
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
156
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
188
click to vote
DLOG
2008
15 years 9 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
151
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a nove...
148
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
The main aim of this project is to explore, develop and evaluate the contribution of language technologies to the development of WEBCOOP, a system that provides intelligent Cooper...