Start Search Over

Active Search Criteria:

Displaying all 6 items
sorted by

1 Integrated analytical and empirical learning of approximations for intractable theories

Author(s):
Ellman, Thomas
Date:
1989
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:29568

2 Approximate Theory Formation: An Explanation-Based Approach

Author(s):
Ellman, Thomas
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12028

3 Mechanical Generation of Heuristics for Intractable Theories

Author(s):
Ellman, Thomas
Date:
1988
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:12073

4 Explanation-Based Learning: A Survey of Programs and Perspectives

Author(s):
Ellman, Thomas
Date:
1987
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11840

5 Explanation-Based Methods for Simplifying Intractable Theories

Author(s):
Ellman, Thomas
Date:
1987
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11839

6 Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness

Author(s):
Ellman, Thomas
Date:
1985
Subject:
Computer science
Content Type:
Technical reports
Publisher:
Department of Computer Science, Columbia University
Permanent URL:
http://hdl.handle.net/10022/AC:P:11706

Powered by the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.