Narrow your search

Library

KU Leuven (6)

ULiège (6)

KBR (4)

UGent (4)

ULB (4)

UCLouvain (2)

KBC (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

More...

Resource type

book (7)


Language

English (7)


Year
From To Submit

2022 (1)

1999 (1)

1997 (1)

1995 (1)

1992 (1)

More...
Listing 1 - 7 of 7
Sort by
Expert systems in engineering : Principles and applications. International workshop, Vienna, Austria, September 1990. Proceedings
Authors: ---
ISBN: 3540531041 0387531041 3540467114 Year: 1990 Volume: 462 *21 Publisher: Berlin : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The goal of the International Workshop on Expert Systems in Engineering is to stimulate the flow of information between researchers working on theoretical and applied research topics in this area. It puts special emphasis on new technologies relevant to industrial engineering expert systems, such as model-based diagnosis, qualitative reasoning, planning, and design, and to the conditions in which they operate, in real time, with database support. The workshop is especially relevant for engineering environments like CIM (computer integrated manufacturing) and process automation.

Keywords

681.3*I2 --- 681.3*I6 --- 681.3*J6 --- Artificial intelligence. AI --- Simulation and modeling (Computing methodologies)--See also {681.3*G3} --- Computer-aided engineering: computer-aided design; CAD; computer-aided manufacturing; CAM --- 681.3*J6 Computer-aided engineering: computer-aided design; CAD; computer-aided manufacturing; CAM --- 681.3*I6 Simulation and modeling (Computing methodologies)--See also {681.3*G3} --- 681.3*I2 Artificial intelligence. AI --- Engineering --- Data processing --- Congresses --- Expert systems (Computer science) --- Artificial intelligence. --- Engineering. --- Computer simulation. --- Computer aided design. --- Organization. --- Artificial Intelligence. --- Engineering, general. --- Simulation and Modeling. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Control, Robotics, Mechatronics. --- Organisation --- Management --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Construction --- Industrial arts --- Technology --- 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 --- Fifth generation computers --- Neural computers --- Expert systems

Database theory - ICDT 95. 5th international conference, Prague, Czecyh Republic, January 1995. Proceedings
Authors: ---
ISBN: 3540589074 Year: 1995 Volume: 893 Publisher: Berlin : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Advances in database technology - EDBT 92. 3rd international conference on extending database technology , Vienna, Austria, March 1992. Proceedings
Authors: --- ---
ISBN: 3540552707 0387552707 Year: 1992 Volume: 580 Publisher: New York, NY : Springer-Verlag,

Computational logic and proof theory. 5th Kurt Gödel colloquium, KGC 97, Vienna, Austria, August 1997. Proceedings
Authors: --- ---
ISBN: 3540633855 354069806X 9783540633853 Year: 1997 Volume: 1289 Publisher: Berlin [etc.] : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Keywords

Automatic theorem proving --- Logic, Symbolic and mathematical --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Mathematics. --- Programming languages (Electronic computers). --- Algorithms. --- Mathematical logic. --- Artificial intelligence. --- Mathematical Logic and Foundations. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence (incl. Robotics). --- 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 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Math --- Science --- Foundations --- Logic [Symbolic and mathematical ] --- Logic, Symbolic and mathematical. --- Computer science. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Informatics --- Automatic theorem proving - Congresses. --- Logic, Symbolic and mathematical - Congresses


Book
Logic programming and nonmonotonic reasoning : 16th international conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, proceedings
Authors: --- ---
ISBN: 3031157060 3031157079 Year: 2022 Publisher: Cham, Switzerland : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Properties and update semantics of consistent views.
Authors: --- ---
Year: 1985 Publisher: Berkeley University of California. Computer science division (EECS)

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer science logic : 12th international workshop, csl'98, annual conference of the eacsl, brno, czech republic, august 24-28, 1998, proceedings
Authors: --- --- ---
ISBN: 3540659226 9783540659228 3540488553 Year: 1999 Volume: 1584 Publisher: Berlin, Germany ; New York, New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer logic --- Logique informatique --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Congresses. --- Congrès --- Computer science. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Foundations. --- Logic design. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- 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 --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer logic - Congresses

Listing 1 - 7 of 7
Sort by