Informatik (15 757 Artikel)

Das Buch behandelt die Robotik aus der Sicht der Künstlichen Intelligenz (KI) sowohl für einen einzelnen Roboter als auch für Roboterverbände (verteilte KI). Dieser Ansatz ist neuartig, da bislang ...

Datenbanksysteme haben in der Vergangenheit weite Verbreitung im Bereich betriebswirtschaftlich-administrativer Anwendungen erlangt. Im Gegensatz dazu gibt es erst in jüngerer Zeit verstärkte Forsc...

Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und...

In der aktuellen Forschung wird zunehmend deutlich, daß für "intelligente Systeme" die Fähigkeit, natürliche Sprachen zu verstehen, entscheidend ist und daß die theoretische Grundlegung eine wesent...

The Fourth International Working Conference on Statistical and Scientific Data Base Management (IV SSDBM) held on June 21-23, 1988 in Rome, Italy, continued the series of conferences initiated in C...

The idea behind the series of volumes Advances in covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on deci...

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet....

This volume contains selected papers for the Parcella '88, the Fourth International Workshop on "Parallel Processing by Cellular Automata and Arrays" held in Berlin from October 17 to 21, 1988. The...

This book gives an in-depth treatment of the latest results in a selection of core topics of AI. Its aim is to make available to students and practitioners active in AI those results in a form suit...

Das Buch stellt FRM vor, ein Frame-basiertes Modell zur Repräsentation von Wissen. Der Schwerpunkt liegt dabei auf der Ausarbeitung der Semantik seiner Repräsentationskonstrukte. Zur formalen Spezi...

This volume contains five tutorial papers based on the lectures given at the intensive course on Software Reliability Modelling and Identification in Como (Italy) from September 2 to 4, 1987. The p...

This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop bro...

1 Einleitung.- 1.1 Motivation.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Prädikatenlogik.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2....

This volume presents the proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '88), held from June 15 to 17, 1988 in Amsterdam, The Netherlands. It con...

Baum-Suchverfahren werden in der Informatik, insbesondere im Teilbereich der Künstlichen Intelligenz, zum Durchsuchen von Entscheidungsbäumen eingesetzt. Das vorliegende Buch befaßt sich mit Baum-S...