7 search results - page 1 / 2 » Towards a Logical Reconstruction of CF-Induction |
CAS
1999
13 years 4 months ago
1999
We here expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of...
JSAI
2007
Springer
13 years 11 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
TODS
2010
13 years 3 months ago
2010
KRMED
2004
13 years 6 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
ICPP
2007
IEEE
13 years 11 months ago
2007
IEEE
A self-organizing peer-to-peer system is built upon an application level overlay, whose topology is independent of underlying physical network. A well-routed message path in such ...