166 search results - page 20 / 34 » Nonmonotonic Modes of Inference |
DOOD
1995
Springer
14 years 18 hour ago
1995
Springer
This paper presents an overview of data mining techniques in the context of of the deductiveinductive cycle model. The claim made in this paper is that a combination of both of th...
CIE
2007
Springer
14 years 2 months ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
LPAR
2001
Springer
14 years 27 days ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
ICCV
2007
IEEE
14 years 2 months ago
2007
IEEE
Numerical multilinear (tensor) algebra is a principled mathematical approach to disentangling and explicitly and parsimoniously representing the essential factors or modes of imag...
EJC
2010
13 years 3 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...