1581 search results - page 2 / 317 » Mechanizing Inductive Reasoning |
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
CSL
2010
Springer
13 years 6 months ago
2010
Springer
SIGKDD
2002
13 years 4 months ago
2002
Inductive databases tightly integrate databases with data mining. The key ideas are that data and patterns (or models) are handled in the same way and that an inductive query lang...
IADIS
2004
13 years 6 months ago
2004
Inductive reasoning is one of the important characteristics of human intelligence. Researchers have regarded inductive reasoning as one of the seven primary mental abilities that ...
SAS
2007
Springer
13 years 11 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...