Choose an application

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

As user interface designers, software developers, and yes-as users, we all know the frustration that comes with using ""one size fits all"" software from off the shelf. Repeating the same commands over and over again, putting up with an unfriendly graphical interface, being unable to program a new application that you thought of yourself-these are all common complaints. The inflexibility of today's computer interfaces makes many people feel like they are slaves to their computers. Shouldn't it be the other way around? Why can't technology give us more ""custom-fitting"" software?

Computer programming. --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Programming --- Coding theory --- Programming by example (Computer science) --- Demonstration, Programming by (Computer science) --- Demonstrational programming (Computer science) --- Examples, Programming by (Computer science) --- Inductive program synthesis (Computer science) --- Inductive synthesis (Computer science) --- Input/output examples, Programming by (Computer science) --- PBD (Programming by demonstration) --- PBE (Programming by example) --- Program synthesis, Inductive (Computer science) --- Programming by demonstration (Computer science) --- Programming by examples (Computer science) --- Programming by input/output examples (Computer science) --- Programming by teaching (Computer science) --- Programming, Demonstrational (Computer science) --- Teaching, Programming by (Computer science) --- Machine learning

Choose an application

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

Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s. This book focusses on inductive program synthesis, and especially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule learning for planning. Furthermore, relations to problem solving and learning in cognitive psychology are discussed.

Computer programming --- Software engineering --- Artificial intelligence --- Computer Science --- Engineering & Applied Sciences --- Computer programming. --- Software engineering. --- Artificial intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer software engineering --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Programming --- Computer science. --- Science. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Science, general. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Engineering --- Coding theory --- Programming by example (Computer science) --- Demonstration, Programming by (Computer science) --- Demonstrational programming (Computer science) --- Examples, Programming by (Computer science) --- Inductive program synthesis (Computer science) --- Inductive synthesis (Computer science) --- Input/output examples, Programming by (Computer science) --- PBD (Programming by demonstration) --- PBE (Programming by example) --- Program synthesis, Inductive (Computer science) --- Programming by demonstration (Computer science) --- Programming by examples (Computer science) --- Programming by input/output examples (Computer science) --- Programming by teaching (Computer science) --- Programming, Demonstrational (Computer science) --- Teaching, Programming by (Computer science) --- Machine learning --- Logic design. --- Artificial Intelligence. --- Science, Humanities and Social Sciences, multidisciplinary. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical