English: 1988) BIP Basic Instructional Program BIT built-in test BOOJUM (système de programmation logique - Dormoy 1987) BORIS Better Organized Reasoning and Inference System (Lehnert) bpa basic probability assignment bps bits per second BRDF bidirectional reflectance distribution function BTN Basic Transition Network Top of page C C CONTACT; a popular programming language CA Concept Analyser CADAM Computer-Augmented Design and Manufacturing CAD/CAM Computer-Aided Design/Computer-Aided Manufacturing CADUCEUS (Système de diagnostic en médecine interne) CAE Computer-Assisted Engineering CAI Computer-Assisted Instruction CAM Cellular Automata Machine (Toffoli-1984) CAMELIA (logiciel pour raisonner et calculer - M. Vivet 1984) CAP control agreement principle CAPS Computer Aided Planning System CAR contents of the address part of register number CASNET Causal Association Network CATS-1 (système expert en maintenance industrielle) CDR contents of the decrement part or register number CD-ROM Compact Disk Read-Only Memory CDS Configuration Dependent Sourcing (Digital) CFG context-free grammar CFL context-free language CF-PSG context-free phrase-structure grammar CG causal graph CHECKERS (programme d'apprentissage du jeu des échecs - A.L. Samuels 1963) CHELEM (système expert au jeu bridge - R. Popescu 1984) CHI Computer-Human Interfaces CIAO Conception Intelligemment Assistée par Ordinateur CID Création Interactive de Didacticiels (Schneider 1984) CIM Computer-Integrated Manufacturing CINACC (système tutoriel de diagnostic conceptuel - Le Ny 1987) CIRP Collège International de Recherches pour la Production CK control knowledge CLS Concept Learning System CM Connection Machine (Toffoli et Hinton, Thinking Machines) CML Cell Management Language CNET Centre National d'Études des Télécommunications CNF conjunctive normal form CMPM computer-Managed Parts Manufacture COMPASS Central Office Maintenance Printout Analysis and Suggestions System CONGEN (programme d'identification des structures chimiques - Carhart 1979) CONNIVER (langage de programmation logique) CONSENSYS (système inférentiel d'aide à la décision - A. Barr, 1985) CONSIGHT (interprète visuel en robotique industrielle) CPS constraint-satisfaction problem CRIB Computer Retrieval Incidence Bank CRYSALIS (système d'analyse des protéines - Engelmore et Terry 1979) CSCSI Canadian Society for Computational Studies of Intelligence CSG context-sensitive grammar; constructive solid geometry CSK CommonSense Knowledge (McCarthy- 1874) CSL Concept-Learning Program CSM carrier sense - multiple access CSP Communicating Synthetic Processes CTM computational theory of mind CWA closed-world assumption CWR contents of the work in register number CYRUS Computerized Yale Reasoning and Understanding System (G.
French: 1988) BIP Basic Instructional Program BIT built-in test BOOJUM (système de programmation logique - Dormoy 1987) BORIS Better Organized Reasoning and Inference System (Lehnert) bpa basic probability assignment bps bits per second BRDF bidirectional reflectance distribution function BTN Basic Transition Network Haut de page C C CONTACT; a popular programming language CA Concept Analyser CADAM Computer-Augmented Design and Manufacturing CAD/CAM Computer-Aided Design/Computer-Aided Manufacturing CADUCEUS (Système de diagnostic en médecine interne) CAE Computer-Assisted Engineering CAI Computer-Assisted Instruction CAM Cellular Automata Machine (Toffoli-1984) CAMELIA (logiciel pour raisonner et calculer - M. Vivet 1984) CAP control agreement principle CAPS Computer Aided Planning System CAR contents of the address part of register number CASNET Causal Association Network CATS-1 (système expert en maintenance industrielle) CDR contents of the decrement part or register number CD-ROM Compact Disk Read-Only Memory CDS Configuration Dependent Sourcing (Digital) CFG context-free grammar CFL context-free language CF-PSG context-free phrase-structure grammar CG causal graph CHECKERS (programme d'apprentissage du jeu des échecs - A.L. Samuels 1963) CHELEM (système expert au jeu bridge - R. Popescu 1984) CHI Computer-Human Interfaces CIAO Conception Intelligemment Assistée par Ordinateur CID Création Interactive de Didacticiels (Schneider 1984) CIM Computer-Integrated Manufacturing CINACC (système tutoriel de diagnostic conceptuel - Le Ny 1987) CIRP Collège International de Recherches pour la Production CK control knowledge CLS Concept Learning System CM Connection Machine (Toffoli et Hinton, Thinking Machines) CML Cell Management Language CNET Centre National d'Études des Télécommunications CNF conjunctive normal form CMPM computer-Managed Parts Manufacture COMPASS Central Office Maintenance Printout Analysis and Suggestions System CONGEN (programme d'identification des structures chimiques - Carhart 1979) CONNIVER (langage de programmation logique) CONSENSYS (système inférentiel d'aide à la décision - A. Barr, 1985) CONSIGHT (interprète visuel en robotique industrielle) CPS constraint-satisfaction problem CRIB Computer Retrieval Incidence Bank CRYSALIS (système d'analyse des protéines - Engelmore et Terry 1979) CSCSI Canadian Society for Computational Studies of Intelligence CSG context-sensitive grammar; constructive solid geometry CSK CommonSense Knowledge (McCarthy- 1874) CSL Concept-Learning Program CSM carrier sense - multiple access CSP Communicating Synthetic Processes CTM computational theory of mind CWA closed-world assumption CWR contents of the work in register number CYRUS Computerized Yale Reasoning and Understanding System (G.