Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

KI-95: Advances in Artificial Intelligence

19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995. Proceedings
BuchKartoniert, Paperback
275 Seiten
Englisch
Springererschienen am04.09.1995
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems".mehr

Produkt

KlappentextThis book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems".
Details
ISBN/GTIN978-3-540-60343-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr1995
Erscheinungsdatum04.09.1995
ReiheLecture Notes in Computer Science
Seiten275 Seiten
SpracheEnglisch
Gewicht387 g
IllustrationenXIII, 275 p.
Artikel-Nr.10466073

Inhalt/Kritik

Inhaltsverzeichnis
Partially observable Markov decision processes for artificial intelligence.- Robust processing of natural language.- Distinction networks.- The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors.- An extension of explanation-based generalization to negation as failure.- Inducing integrity constraints from knowledge bases.- Dynamic structuring of lexical knowledge in a reusability scenario.- Efficient memory-limited graph search.- Quality-based terminological reasoning for concept learning.- Task acquisition with a description logic reasoner.- Parallelizing description logics.- Automated termination proofs with measure functions.- What is a skeptical proof?.- Default entailment.- Actions that make you change your mind.- Reasoning about action with typical and atypical effects.- Reasoning about action and change: Actions with abnormal effects.- Temporal logic based on characteristic functions.- Computational properties of qualitative spatial reasoning: First results.- An empirically validated model for computing spatial relations.- Integrating vision and language: Towards automatic description of human movements.mehr

Autor

Claus R. Rollinger, geb. 1950, studierte Informatik und Mathematik in Karlsruhe sowie an der TU Berlin und promovierte 1984 zum Dr.-Ing.

1985 bis 1990 war er bei IBM Deutschland zunächst Projektleiter in der Abteilung "Linguistische und Logische Methoden" und anschließend Abteilungsleiter im Institut für Wissenschaftsbasierte Systeme.

Seit 1. Oktober 2004 ist er Präsident der Universität Osnabrück..
Weitere Artikel von
Ed. by Ipke Wachsmuth, Claus-Rainer Rollinger and Wilfried Brauer