287 search results - page 4 / 58 » Data-Driven Constructive Induction |
ENTCS
2006
13 years 7 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
JSYML
2002
13 years 7 months ago
2002
We show that Intuitionistic Open Induction iop is not closed under the rule DNS(1 ). This is established by constructing a Kripke model of iop+
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
AAAI
2012
11 years 10 months ago
2012
Scientists use two forms of knowledge in the construction of explanatory models: generalized entities and processes that relate them; and constraints that specify acceptable combi...
AAAI
1996
13 years 9 months ago
1996
Inductive algorithms rely strongly on their representational biases, Constructive induction can mitigate representational inadequacies. This paper introduces the notion of a relat...