Choose an application

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

This book constitutes the refereed proceedings of the Third European Workshop on Case-Based Reasoning, EWCBR-96, held in Lausanne, Switzerland, in November 1996. Case-based reasoning is an appealing technique for dealing with the knowledge acquisition bottleneck in computer applications; solutions to new problems are found by adapting similar experience from the past, called cases. The 38 revised full papers presented were carefully selected from a broad variety of submissions after a thorough refereeing process. The volume refleats the state of the art in case-based reasoning research and applications.

Artificial intelligence. Robotics. Simulation. Graphics --- Expert systems (Computer science) --- Congresses --- Artificial intelligence. --- Artificial Intelligence. --- 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

Choose an application

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

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.

-Systems engineering --- -681.3*F3 --- System engineering --- Ershov, A. P. --- Computer programming --- Computer science --- Systems engineering --- 681.3*F3 --- 681.3*F4 --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- Congresses --- Ershov, Andreĭ Petrovich --- Yershov, A. P. --- Ershov, Andrei P. --- Ершов, А. П. --- Congresses. --- Electronic digital computers --- Programming --- Petrovich, Ershov Andrei --- Information theory. --- Software engineering. --- Logic design. --- Computer science. --- Artificial intelligence. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Artificial Intelligence. --- 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 --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Ершов, Андрей Петрович