Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 4th International Conference on Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra (AAECC-4), held in Karlsruhe, 23-26 September, 1986. Selected papers which were given at the conference have been reviewed a second time and are presented here.

Artificial intelligence. Robotics. Simulation. Graphics --- Information systems --- 681.3*E4 --- 681.3*I1 --- Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Algebraic manipulation (Computing methodologies) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*E4 Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Telecommunication. --- Numerical analysis. --- Communications Engineering, Networks. --- Numerical Analysis. --- Mathematical analysis --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Telecommunications --- Communication --- Information theory --- Telecommuting --- Algebra --- Data processing. --- Error-correcting codes (information theory)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This second volume is arranged in four sections: Analysis contains papers which compare the attributes of various approaches to uncertainty. Tools provides sufficient information for the reader to implement uncertainty calculations. Papers in the Theory section explain various approaches to uncertainty. The Applications section describes the difficulties involved in, and the results produced by, incorporating uncertainty into actual systems.

681.3*E4 --- 681.3*I23 --- Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*E4 Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Artificial intelligence. --- Problem solving. --- Uncertainty (Information theory) --- Measure of uncertainty (Information theory) --- Shannon's measure of uncertainty --- System uncertainty --- Information measurement --- Probabilities --- Questions and answers --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence --- Knowledge Representation --- Uncertainty