9th German Workshop on Artificial Intelligence

9th German Workshop on Artificial Intelligence PDF Author: GWAI (9, 1985, Dassel)
Publisher:
ISBN: 9780387164519
Category :
Languages : de
Pages : 0

Get Book Here

Book Description

9th German Workshop on Artificial Intelligence

9th German Workshop on Artificial Intelligence PDF Author: GWAI (9, 1985, Dassel)
Publisher:
ISBN: 9780387164519
Category :
Languages : de
Pages : 0

Get Book Here

Book Description


GWAI-85

GWAI-85 PDF Author: Herbert Stoyan
Publisher: Springer-Verlag
ISBN: 3642711456
Category : Computers
Languages : de
Pages : 481

Get Book Here

Book Description


6. German Workshop on Artificial Intelligence

6. German Workshop on Artificial Intelligence PDF Author: Wolfgang Wahlster
Publisher:
ISBN:
Category :
Languages : en
Pages : 246

Get Book Here

Book Description


GWAI-87 11th German Workshop on Artificial Intelligence

GWAI-87 11th German Workshop on Artificial Intelligence PDF Author: Katharina Morik
Publisher: Springer Science & Business Media
ISBN: 3642730051
Category : Computers
Languages : en
Pages : 416

Get Book Here

Book Description


Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems

Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems PDF Author: Fevzi Belli
Publisher: Springer Science & Business Media
ISBN: 3642456286
Category : Computers
Languages : en
Pages : 401

Get Book Here

Book Description
Dieser Band enthält die 38 Beiträge der 3. GI/ITG/GMA-Fachtagung über "Fehlertolerierende Rechensysteme". Unter den 10 aus dem Ausland eingegangenen Beiträgen sind 4 eingeladene Vorträge. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Sämtliche Beiträge sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuß der Tagung aus 70 eingereichten Beiträgen ausgewählt wurden.

Logic and Linguistics

Logic and Linguistics PDF Author: Helmut Schnelle
Publisher: Psychology Press
ISBN: 9780863771125
Category : Language Arts & Disciplines
Languages : en
Pages : 236

Get Book Here

Book Description
The papers in this series of five volumes provide a snapshot of current trends in European Cognitive Science. Each of the volumes deals with problems in cognitive science from a different perspective, covering the interacting disciplines of cognitive psychology, logic and linguistics, human-computer interaction, neuroscience and artificial intelligence respectively. Linguistics is concerned with the structure and use of languages, and logic with the form and correctness of argumentation in ordinary and scientific language. The two fields are presented with respect to their role in cognitive science and artificial intelligence: How are they realised by psychological mechanisms or biological processes on the one hand or programmed or wired in machines on the other. The contributions in this volume give introductions to the state-of-the-art, emphasizing the analysis of complexity and flexibility in logic and language in the framework of classical approaches (Chapters 3, 4, 5, 7). At the same time some contributions present a broader perspective in which an integration of the formal structure with the structure of the processing systems might be possible (Chapters 2 & 6). In this context, the differences and the perspectives of the classical approaches on the one hand and of connectionist approaches on the other are compared. (Chapters 1 & 6).contributions present a broader perspective in which an integration of the formal structure with the structure of the processing systems might be possible (Chapters 2 & 6). In this context, the differences and the perspectives of the classical approaches on the one hand and of connectionist approaches on the other are compared. (Chapters 1 & 6).

Informationssysteme und Künstliche Intelligenz: Modellierung

Informationssysteme und Künstliche Intelligenz: Modellierung PDF Author: Rudi Studer
Publisher: Springer Science & Business Media
ISBN: 3642773125
Category : Computers
Languages : en
Pages : 177

Get Book Here

Book Description
Neuere Entwicklungen im Datenbank- und Informationssystembereich sind u.a. gekennzeichnet durch die Bereitstellung sehr m{chtiger semantischer bzw. objektorientierter Datenmodelle, um den Anforderungen aus sogenannten Nicht-Standardanwendungen wie z.B. dem B}robereich gerecht zu werden. Daraus ergeben sich unmittelbar neue Problemstellungen imHinblick auf die Entwurfs- und Modellierungsaufgaben, die mit dem Einsatz derartiger m{chtiger Datenmodelle verbunden sind. Betrachtet manandererseits Entwicklungstendenzen im Bereich der K}nstlichen Intelligenz, so wird Fragen der systematischen Entwicklung Wissensbasierter Systeme eine immer gr|~ere Wichtigkeit beigemessen. Dabei spielen u.a. Phasen-Systeme und damit verbunden der Aufbau geeigneter Modelle eine zentrale Rolle. Dementsprechend hat der 2. Workshop "Informationssysteme und K}nstliche Intelligenz" gerade das Gebiet der Modellierung als generelles Thema. Zielsetzung ist dabei, auf dem Gebiet derModellierung Gemeinsamkeiten und Unterschiede von Problemstellungen bzw. L|sungsans{tzen, die in den Fachdisziplinen K}nstliche Intelligenz und Informationssysteme/Datenbanksysteme identifiziert bzw. entwickelt worden sind, herauszuarbeiten. Damit soll gleichzeitig der Gedankenaustausch zwischen den beteiligten Fachdisziplinen gef|rdertund die Zusammenarbeit }ber Fachdisziplinen hinweg verbessert werden.

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning PDF Author: Dieter Hutter
Publisher: Springer
ISBN: 354032254X
Category : Computers
Languages : en
Pages : 573

Get Book Here

Book Description
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

Computer Epistemology

Computer Epistemology PDF Author: Tibor V mos
Publisher: World Scientific
ISBN: 9789810203504
Category : Computers
Languages : en
Pages : 256

Get Book Here

Book Description
This book is an essay on relevant problems of epistemology (the theory of knowledge) related to computer science. It draws a continuous line between the earliest scientific approaches of epistemology, starting with the Greek Classics and the recent practical and theoretical problems of computer modelling, and by that the appropriate application of computers to our present problems. Uncertainty, logic and language are the key issues of this road leading to some new aspects of cognitive psychology and unification of the different results for a modelling procedure. The book is not a textbook but a critical survey of usual and advertised methods with an evaluation of them from the point of view of their applicability, reliability and limits. Probability, Bayesian, Dempster-Shafer, fuzzy and other approaches are treated in this way in uncertainty, different worlds' concepts, non-monotonic logic and other methods and views in logic. The emphasis in linguistics is put on the meta concept, and in cognitive applications of the pattern concept.Written mostly in an entertaining style, this book provides a more palatable reading of a profound subject.

Workshop Proceedings of the 9th International Conference on Intelligent Environments

Workshop Proceedings of the 9th International Conference on Intelligent Environments PDF Author: J.A. Botía
Publisher: IOS Press
ISBN: 161499286X
Category : Computers
Languages : en
Pages : 808

Get Book Here

Book Description
Intelligent Environments (IE) play an increasingly important role in many areas of our lives, including education, healthcare and the domestic environment. The term refers to physical spaces incorporating pervasive computing technology used to achieve specific goals for the user, the environment or both. This book presents the proceedings of the workshops of the 9th International Conference on Intelligent Environments (IE ‘13), held in Athens, Greece, in July 2013. The workshops which were presented in the context of this conference range from regular lectures to practical sessions. They provide a forum for scientists, researchers and engineers from both industry and academia to engage in discussions on newly emerging or rapidly evolving topics in the field. Topics covered in the workshops include artificial intelligence techniques for ambient intelligence; applications of affective computing in intelligent environments; smart offices and other workplaces; intelligent environment technology in education for creative learning; museums as intelligent environments; the application of intelligent environment technologies in the urban context for creating more sociable, intelligent cities and for constructing urban intelligence. IE can enrich user experience, better manage the environment’s resources, and increase user awareness of that environment. This book will be of interest to all those whose work involves the application of intelligent environments.