W.W. Bledsoe. Using examples to generate instantiations of set variables. In Proc. of the 8th IJCAI, pages 892--901. International Joint Conference on Artificial Intelligence, 1983. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Automatically Generating and Using Examples in a Computational.. - Kim (Correct)
....this case develops into the discovery of the concept prime . In AM what constitutes an example is not clearly defined but they are represented in terms of LISP objects such as numbers, literal atoms, and lists. Early work has also shown that examples can be effectively used in theorem proving [19, 20, 40, 2, 4]. Gelernter s geometry machine [19, 20] used examples in automatically proving theorems in Euclidean geometry 1 . Gelernter has experimented with the idea that humans often draw diagrams when trying to prove geometry theorems. Given a theorem to be proved the geometry machine draws a diagram ....
....(or examples) is constructed directly from the information collected in the soft list. For a given subproblem represented by a context several operations can be applied to further refine 12 Ballantyne and Bledsoe have discussed higher order example generation in functional analysis and topology [2, 4]. 13 In his theorem prover, Aubin has employed simplification in evaluating structures assigned to variables for checking the non provability of generalized conjectures [1] A similar approach has been adopted by Cohen in LTP [12] 14 A formula must be reducible. For detail refer to Boyer ....
[Article contains additional citation context not shown here]
Bledsoe, W. W. "Using Examples to Generate Instantiations for Set Variables". Proc. of IJCAI-83 (1983), 892-901.
Unknown - (Correct)
No context found.
W.W. Bledsoe. Using examples to generate instantiations of set variables. In Proc. of the 8th IJCAI, pages 892--901. International Joint Conference on Artificial Intelligence, 1983.
A Theory of Abstraction - Giunchiglia, Walsh (1990) (29 citations) (Correct)
No context found.
W.W. Bledsoe. Using examples to generate instantiations of set variables. In Proc. of the 8th IJCAI, pages 892--901. International Joint Conference on Artificial Intelligence, 1983.
A Theory of Abstraction - Giunchiglia (1992) (29 citations) (Correct)
No context found.
W.W. Bledsoe. Using examples to generate instantiations of set variables. In Proc. of the 8th IJCAI, pages 892--901. International Joint Conference on Artificial Intelligence, 1983.
Automated Reasoning: Essays in Honor of Woody Bledsoe - (ed.) (1991) (2 citations) (Correct)
No context found.
W. W. Bledsoe (1983): Using Examples to Generate Instantiations of Set Variables. Proceedings of the Eigth International Joint Conference on Artificial Intelligence, 892--901.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC