1040 search results - page 9 / 208 » A Syntactical Approach to Revision |
EPIA
1999
Springer
13 years 11 months ago
1999
Springer
We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those wh...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
KES
1999
Springer
13 years 11 months ago
1999
Springer
AEI
2008
13 years 7 months ago
2008
Long-term users of engineering product data are hampered by the ephemeral nature of CAD file formats and the applications that work with them. STEP, the Standard for the Exchange ...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
In a previous study, we showed that indentation was regular across multiple languages and the variance in the level of indentation of a block of revised code is correlated with me...