Narrow your search

Library

KBR (4)

UCLouvain (4)

ULiège (4)

KU Leuven (2)

UGent (2)

ULB (2)


Resource type

book (5)


Language

German (5)


Year
From To Submit

1997 (1)

1996 (2)

1995 (1)

1992 (1)

Listing 1 - 5 of 5
Sort by

Book
Wer war wer im Dritten Reich : ein biographisches Lexikon : Anhänger, Mitläufer, Gegner aus Politik, Wirtschaft, Militär, Kunst und Wissenschaft
Author:
ISBN: 3596243734 Year: 1992 Publisher: Frankfurt : Fischer Taschenbuch Verlag,

Time structures: formal description and algorithmic representation
Author:
ISBN: 3540609415 3540497463 9783540609414 Year: 1996 Volume: 1047 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. To make this relationship complete, a formalisation of Allen's famous algorithm, applicable to various structures of time, is presented along with its translation to modal logics. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures.

The design of intelligent agents: a layered approach
Author:
ISBN: 3540620036 3540495908 9783540620037 Year: 1996 Volume: 1177 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This monograph presents a comprehensive state-of-the-art survey on approaches to the design of intelligent agents. On the theoretical side, the author identifies a set of general requirements for autonomous interacting agents and provides an essential step towards understanding the principles of intelligent agents. On the practical side, the novel agent architecture InteRRaP is introduced: the detailed description and evaluation of this architecture is an ideal guideline and case study for software engineers or researchers faced with the task of building an agent system. The book uniquely bridges the gap between theory and practice; it addresses active and novice researchers as well as practitioners interested in applicable agent technology.

Logic programming and nonmonotonic reasoning
Authors: --- ---
ISBN: 3540594876 3540492828 9783540594871 Year: 1995 Volume: 928 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.

Keywords

AI(Artificial intelligence) --- Argumentatieleer --- Argumentation [Théorie de l' ] --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Electronic brains --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Machine intelligence --- Optoelectronics --- Optoelectronique --- Optoelektronica --- Raisonnement --- Reasoning --- Redenering --- Thinking [Artificial ] --- Logic programming --- Nonmonotonic reasoning --- Congresses. --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Logic, Symbolic and mathematical. --- Logic design. --- Computer science. --- Artificial intelligence. --- Mathematical Logic and Foundations. --- Logics and Meanings of Programs. --- Programming Techniques. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Intelligence, Artificial --- 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 --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic programming - Congresses --- Nonmonotonic reasoning - Congresses.

Distributed reason maintenance for multiagent systems
Author:
ISBN: 3540636064 3540696091 9783540636069 Year: 1997 Volume: 1229 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book provides a systematic in-depth investigation of a class of multiple-context assumption-based multiagent reasoning problems, typical, e.g., for distributed planning, scheduling, and control. First, logical and architectural foundations are provided to construct the two systems XFRMS and MXFRMS allowing the development of more complex utilities. Then the technology developed for XFRMS in the single-agent case is further enhanced to the multiagent situation. The multiagent RMS MXFRMS provides, along with XFRMS, a solid foundation for building more complex utilities, such as plan or schedule maintenance systems. In the final chapter, the software engineer confronted with the task of building a practicable multiagent system can find a discussion of potential uses and future extensions of the systems provided.

Keywords

AI(Artificial intelligence) --- Argumentatieleer --- Argumentation [Théorie de l' ] --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Electronic brains --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent agents (Computer software) --- Intelligent agents (Computersoftware) --- Intelligent agents (Logiciel d'ordinateur) --- Intelligent machines --- Kunstmatige intelligentie --- Machine intelligence --- Raisonnement --- Reasoning --- Redenering --- Thinking [Artificial ] --- Reasoning. --- Computer Science --- Engineering & Applied Sciences --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Argumentation --- Ratiocination --- AI (Artificial intelligence) --- Intelligence, Artificial --- Thinking, Artificial --- Agents, Autonomous (Computer software) --- Agents, Cognitive (Computer software) --- Agents, Intelligent (Computer software) --- Assistants, Cognitive (Computer software) --- Assistants, Intelligent software --- Autonomous agents (Computer software) --- Cognitive agents (Computer software) --- Cognitive assistants (Computer software) --- IAs (Computer software) --- Intelligent agent software --- Intelligent software agents --- Intelligent software assistants --- Software agents (Computer software) --- Special agents (Computer software) --- Computer science. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Artificial Intelligence. --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Listing 1 - 5 of 5
Sort by