630 search results - page 25 / 126 » Combining Two Formalism for Reasoning about Concepts |
VL
2009
IEEE
14 years 2 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
ICANN
2007
Springer
13 years 11 months ago
2007
Springer
It is well known that our prior knowledge and experiences affect how we learn new concepts. Although several formal modeling attempts have been made to quantitatively describe the ...
IJCAI
1997
13 years 8 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
JLP
2006
13 years 7 months ago
2006
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
WWW
2009
ACM
14 years 2 months ago
2009
ACM
Most of the approaches for dealing with uncertainty in the Semantic Web rely on the principle that this uncertainty is already asserted. In this paper, we propose a new approach t...