Abstraction using generalization functions

Authors:
D A Plaisted
Affiliations:
-
Venue:
Proc. of the 8th international conference on Automated deduction
Year:
1986

Citing 0
Cited 3

Theories of abstraction

AI Communications
Building and refining abstract planning cases by change of representation language

Journal of Artificial Intelligence Research
On theorem proving for program checking: historical perspective and recent developments

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract