H ?
«
‹
←
→
›
»
Language peer sets for CONNIVER:
United States↑
United States/1973↑
Designed 1973 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
CONNIVER(ID:606/con032)
alternate simple view
Country: United States
Designed 1973
Published: 1973
AI language for automatic theorem proving. An outgrowth of PLANNER, based on coroutines rather than backtracking. Allowed multiple database contexts with hypothetical assertions.
Structures:
Related languages
| Gedanken |
→
|
CONNIVER | |
Incorporated some features of |
| IPL-V |
→
|
CONNIVER | |
Incorporated some features of |
| microPLANNER |
→
|
CONNIVER | |
Evolution of |
| PAL |
→
|
CONNIVER | |
Incorporated some features of |
| QA4 |
→
|
CONNIVER | |
Incorporated some features of |
| CONNIVER |
→
|
1.pak | |
Influence |
| CONNIVER |
→
|
DALI | |
Influence |
| CONNIVER |
→
|
POPCORN | |
Implementation |
| CONNIVER |
→
|
Scheme | |
Evolution of |
References:
Sussman, G.J.; McDermott, D.V. (1972) Sussman, G.J.; McDermott, D.V. "From PLANNER to CONNIVER-a genetic approach", pp1171-1179
in [AFIPS] (1972) [AFIPS] Proceedings of the 1972 Fall Joint Computer Conference FJCC 41
Sussman, Gerald (1972) Sussman, Gerald "Concerning CONNIVING"
in (1972) Courant Symposium on High Level Level Languages, Computer Science Department of the Courant Institute of Mathematical Sciences, May 22, 1972
McDermott D. & Sussman, G.J. (1973) McDermott D. & Sussman, G.J. "The CONNIVER Reference Manual", AI Memo 259, MIT AI Lab, 1973.
Abstract
in (1972) Courant Symposium on High Level Level Languages, Computer Science Department of the Courant Institute of Mathematical Sciences, May 22, 1972
Sammet, Jean E. (1973) Sammet, Jean E. "Roster of Programming Languages for 1973" p147
in (1974) ACM Computing Reviews 15(04) April 1974
Bobrow and Raphael (1974) Bobrow, D.G. and B. Raphael, "New programming languages for artificial intelligence"
Extract:
About Planner, MicroPlannerm, Conniver
in [ACM] (1974) [ACM] ACM Computing Surveys (CSUR) 6(3) September 1974
Fleck, A.C. (1975) Fleck, A.C. review of Cohen 1975
Extract:
Introduction
in (1975) ACM Computing Reviews 16(02) February 1975
Hewitt, Carl and Brian Smith (1975) Hewitt, Carl and Brian Smith "Towards a Programming Apprentice" MIT Cambridge, MA 1975
Extract:
Control structure in CONNIVER
in (1975) ACM Computing Reviews 16(02) February 1975
Rieger et al (1977) Chuck Rieger, Hanan Samet. and Jonathan Rosenberg. "Artificial Intelligence Programming Languages for Computer Aided Manufacturing"
Maryland Univ College Park Dept of Computer Science Sep 77 TR-595 AD-A047 179/7WC
Abstract
in (1975) ACM Computing Reviews 16(02) February 1975
Lyon (1991) Lyon, Douglas A. "Parallel Parking with Nonholonomic Constraints" Ph D Thesis Rensselaer Polytechnic Institute Troy, New York December 1991
Extract:
Planners
in (1975) ACM Computing Reviews 16(02) February 1975
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|