Narrow your search

Library

UHasselt (5)

KU Leuven (4)

UGent (4)

ULiège (4)

UNamur (3)

UAntwerpen (2)

UCLouvain (2)

ULB (2)

IMEC (1)

KBR (1)

More...

Resource type

book (5)


Language

English (5)


Year
From To Submit

2003 (1)

2002 (1)

1989 (1)

1984 (1)

1983 (1)

Listing 1 - 5 of 5
Sort by
Building expert systems
Author:
ISBN: 0201106868 9780201106862 Year: 1983 Volume: v. 1 Publisher: Reading (Mass.) : Addison-Wesley,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Artificial intelligence. Robotics. Simulation. Graphics --- Expert systems (Computer science) --- System design --- Systèmes experts (Informatique) --- Systèmes, Conception de --- System Design --- 65.013 --- 681.3*I21 --- 681.3*I22 --- 681.3*I25 --- Psychological questions --- Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- System design. --- Expert systems (Computer science). --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*I21 Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- 65.013 Psychological questions --- Systèmes experts (Informatique) --- Systèmes, Conception de --- Design, System --- Systems design --- Electronic data processing --- System analysis --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Artificial intelligence --- Computer systems --- Soft computing --- Expert System --- Knowledge

Genetic algorithms in search, optimization, and machine learning
Author:
ISBN: 0201157675 9780201157673 Year: 1989 Publisher: Reading (Mass.): Addison-Wesley,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Artificial intelligence. Robotics. Simulation. Graphics --- Planning (firm) --- natuurlijke selectie --- Computer science --- genetische algoritmen --- bedrijfseconomie --- zoekmethoden --- Genetic algorithms --- Machine learning --- Algorithmes génétiques --- Apprentissage automatique --- Genetic Algorithms --- Machine Learning --- 681.3*G20 --- 681.3*I22 --- 681.3*I26 --- 681.3*I28 --- 510.5 --- 681.3*I2 --- AA / International- internationaal --- 305.976 --- genetisch algoritme --- kunstmatige intelligentie (artificiële intelligentie) --- algoritme --- GBML(genetic-based machine learning) --- Learning, Machine --- Artificial intelligence --- Machine theory --- GAs (Algorithms) --- Genetic searches (Algorithms) --- Algorithms --- Combinatorial optimization --- Evolutionary computation --- Genetic programming (Computer science) --- Learning classifier systems --- Computerwetenschap--?*G20 --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- Algorithms. Computable functions --- Artificial intelligence. AI --- Algoritmen. Optimisatie. --- Genetic algorithms. --- Machine learning. --- Basic Sciences. Mathematics --- Algebra --- Algebra. --- 681.3*I2 Artificial intelligence. AI --- 510.5 Algorithms. Computable functions --- 681.3*I28 Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Algorithmes génétiques --- Algoritmen. Optimisatie --- Optimisation combinatoire --- artificiële intelligentie (AI)

Term rewriting systems
Authors: --- ---
ISBN: 0521391156 9780521391153 Year: 2003 Publisher: New York, N.Y. Cambridge University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer science --- 681.3*F11 --- 681.3*F42 --- 681.3*F41 --- 681.3*I22 --- 681.3*D31 --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- 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} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Rewriting systems (Computer science) --- Rewriting systems (Computer science). --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*F41 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} --- 681.3*F42 Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Graph rewriting systems (Computer science) --- Term rewriting systems (Computer science) --- Machine theory

Listing 1 - 5 of 5
Sort by