Choose an application

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

Applied chemical analysis --- Artificial intelligence. Robotics. Simulation. Graphics --- Environmental protection. Environmental technology --- Environmental monitoring --- Expert systems (Computer science) --- Microcomputers --- Civil & Environmental Engineering --- Engineering & Applied Sciences --- Environmental Engineering --- Congresses --- Data processing --- 681.3*I25 <063> --- 502.55 <063> --- -Expert systems (Computer science) --- -Microcomputers --- -Home computers --- Micro computers --- Micros (Microcomputers) --- PCs (Microcomputers) --- Personal computers --- Small computers --- Minicomputers --- Biomonitoring (Ecology) --- Ecological monitoring --- Environmental quality --- Monitoring, Environmental --- Applied ecology --- Environmental engineering --- Pollution --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- Pollution, contamination danger. Protection against pollution--Congressen --- -Congresses --- Measurement --- Monitoring --- -Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- 502.55 <063> Pollution, contamination danger. Protection against pollution--Congressen --- 681.3*I25 <063> Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- Congresses. --- Data processing&delete& --- Environmental monitoring - Data processing - Congresses. --- Expert systems (Computer science) - Congresses. --- Microcomputers - Congresses.

Choose an application

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

The inherent dangers of change are often summed up in the misquoted Chinese curse “May you live in interesting times.” The submission procedure for the 16th International Conference of Inductive Logic Programming (ILP 2006) was a radical (hopefully interesting but not cursed) departure from previous years. Submissions were requested in two phases. The ?rst phase involved submission of short papers (three pages) which were then presented at the conference and included in a short papers proceedings. In the second phase, reviewers selected papersforlongpapersubmission(15pagesmaximum).Thesewerethenassessed by the same reviewers, who then decided which papers to include in the journal special issue and proceedings. In the ?rst phase there were a record 77 papers, comparedto the usual20 orso long papersofpreviousyears.Eachpaper was- viewed by three reviewers. Out of these, 71 contributors were invited to submit long papers. Out of the long paper submissions, 7 were selected for the - chine Learning Journal special issue and 27 were accepted for the proceedings. In addition, two papers were nominated by Program Committee referees for the applications prize and two for the theory prize. The papers represent the div- sity and vitality in present ILP research including ILP theory, implementations, search and phase transition, distributed and large-scale learning, probabilistic ILP, biological applications, natural language learning and planning and action learning.

681.3*D16 <063> --- Logic programming --- 681.3*I26 <063> --- 681.3*I25 <063> --- 681.3*I25 <063> Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- 681.3*I26 <063> Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computer programming --- Programming techniques: Logic programming--Congressen --- Conferences - Meetings --- Automatic hypothesis formation --- Génération automatique d'hypothèses --- Computer science. --- Software engineering. --- Computer programming. --- Algorithms. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- 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 --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Programming --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Information Technology --- Artificial Intelligence --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems

Choose an application

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

Logic programming --- 681.3*I26 <063> --- 681.3*I25 <063> --- 681.3*I24 <063> --- 681.3*F41 <063> --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence)--Congressen --- 681.3*I25 <063> Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- 681.3*I26 <063> Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computer programming --- 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 --- Conferences - Meetings --- 681.3*F1 --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computer science. --- Software engineering. --- Computer programming. --- Algorithms. --- Mathematical logic. --- Data mining. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Data Mining and Knowledge Discovery. --- Academic collection --- 681.3*I23 <063> --- 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 --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Programming --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- 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 --- Information Technology --- Artificial Intelligence --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems