4555 search results - page 178 / 911 » Deductive Algorithmic Knowledge |
SYNASC
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...
143
Voted
CSSW
2007
15 years 4 months ago
2007
: The Relationship Finder is a tool for exploring connections between objects in a Semantic Web knowledge base. It offers a new way to get insights about elements in an ontology, i...
140
click to vote
IJCAI
2007
15 years 3 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
103
click to vote
IJCAI
2003
15 years 3 months ago
2003
Huge amounts of data are stored in autonomous, geographically distributed sources. The discovery of previously unknown, implicit and valuable knowledge is a key aspect of the expl...
164
click to vote
CL
2012
Springer
13 years 5 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...