641 search results - page 47 / 129 » Applications of a Logical Discovery Engine |
169
click to vote
JETAI
2007
15 years 6 months ago
2007
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
193
click to vote
DKE
2002
15 years 6 months ago
2002
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...
271
click to vote
DBSOCIAL
2011
14 years 9 months ago
2011
While search engines are the major sources of content discovery on online content providers and e-commerce sites, their capability is limited since textual descriptions cannot ful...
164
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
163
click to vote
DLOG
1996
15 years 7 months ago
1996
In 1995, I nished my Ph.D. project which was focused on the selection of adequate Knowledge-Representation Systems (KRSs) for research applications. When I started working at the ...