92 search results - page 10 / 19 » Meta Reasoning in ACL2 |
ICDM
2006
IEEE
14 years 1 months ago
2006
IEEE
Clustering is ill-defined. Unlike supervised learning where labels lead to crisp performance criteria such as accuracy and squared error, clustering quality depends on how the cl...
LICS
1994
IEEE
13 years 11 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
KR
1994
Springer
13 years 11 months ago
1994
Springer
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...
FLAIRS
2007
13 years 9 months ago
2007
XGR (XML Data Grid) and BabelPeers are both data management systems based on distributed hash tables (DHT) that use the Pastry DHT to store data and meta data. XGR is based on the...
APCCM
2010
13 years 9 months ago
2010
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...