Choose an application

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

Choose an application

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

681.3*D16 --- Logic programming --- 681.3*I26 --- 681.3*I23 <063> --- 681.3*F41 <63> --- Computer programming --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence)--Congressen --- 681.3*I26 Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32} --- Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32} --- Computerwetenschap--?*D16 --- Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23}--Congressen --- Computer science. --- Software engineering. --- Computer programming. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- Computer Science, general. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Artificial Intelligence.

Choose an application

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

This book constitutes the refereed proceedings of the 6th International Conference on Discovery Science, DS 2003, held in Sapporo, Japan in October 2003. The 18 revised full papers and 29 revised short papers presented together with 3 invited papers and abstracts of 2 invited talks were carefully reviewed and selected from 80 submissions. The papers address all current issues in discovery science including substructure discovery, Web navigation patterns discovery, graph-based induction, time series data analysis, rough sets, genetic algorithms, clustering, genome analysis, chaining patterns, association rule mining, classification, content based filtering, bioinformatics, case-based reasoning, text mining, Web data analysis, and more. .

Science --- Discoveries in science --- Sciences - General --- Physical Sciences & Mathematics --- Philosophy --- Breakthroughs, Scientific --- Discoveries, Scientific --- Scientific breakthroughs --- Scientific discoveries --- Philosophy. --- Information technology. --- Business --- Philosophy and science. --- Database management. --- Information storage and retrieval. --- Artificial intelligence. --- Application software. --- Philosophy of Science. --- Artificial Intelligence (incl. Robotics). --- Database Management. --- Information Storage and Retrieval. --- Computer Appl. in Administrative Data Processing. --- IT in Business. --- Data processing. --- Creative ability in science --- Research --- Information storage and retrieva. --- Information systems. --- Artificial Intelligence. --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Normal science --- Philosophy of science --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Business—Data processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Science and philosophy --- Science—Philosophy. --- Information technology—Management. --- Business information services. --- Computer Application in Administrative Data Processing. --- Business enterprises --- Information services --- Data centers