Narrow your search

Library

KU Leuven (3)

UCLouvain (2)

ULB (2)

ULiège (2)

KBR (1)


Resource type

book (3)


Language

English (3)


Year
From To Submit

2001 (1)

1998 (1)

1993 (1)

Listing 1 - 3 of 3
Sort by
Inductive Logic Programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings
Authors: --- ---
ISBN: 3540425381 3540447970 9783540425380 Year: 2001 Volume: 2157 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Logic programming --- 681.3*D16 <063> --- 681.3*I26 <063> --- 681.3*I23 <063> --- 681.3*F41 <063> --- 681.3*F22 <063> --- Computer programming --- Programming techniques: Logic programming--Congressen --- 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 --- 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 --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3}--Congressen --- Computer Science --- Engineering & Applied Sciences --- 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. --- Architecture, Computer. --- Software engineering. --- Computer programming. --- Algorithms. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Computer System Implementation. --- 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 --- Architecture, Computer --- Informatics --- Science --- Foundations --- Programming --- Computer network architectures. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Logic programming - Congresses


Book
Bottom up generalization in ILP
Authors: --- ---
Year: 1993 Publisher: Leuven KUL. Department of computing science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Machine Learning: ECML-98 : 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings
Authors: --- ---
ISBN: 3540644172 9783540644170 3540697810 Year: 1998 Volume: 1398 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 10th European Conference on Machine Learning, ECML-98, held in Chemnitz, Germany, in April 1998. The book presents 21 revised full papers and 25 short papers reporting on work in progress together with two invited contributions; the papers were selected from a total of 100 submissions. The book is divided in sections on applications of ML, Bayesian networks, feature selection, decision trees, support vector learning, multiple models for classification, inductive logic programming, relational learning, instance-based learning, clustering, genetic algorithms, reinforcement learning and neural networks.

Listing 1 - 3 of 3
Sort by