- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 71,39, Mittelwert: € 64,41
1
KI-94: Advances in Artificial Intelligence - Bernhard Nebel; Leonie Dreschler-Fischer
Bestellen
bei Springer.com
CHF 71,68
(ca. € 65,10)
Bestellengesponserter Link
Bernhard Nebel; Leonie Dreschler-Fischer:

KI-94: Advances in Artificial Intelligence - neues Buch

ISBN: 9783540489795

This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994. Besides the invited paper "AI approac… Mehr…

new in stock CH:::0.00 EUR. Versandkosten:zzgl. Versandkosten.
2
KI-94: Advances in Artificial Intelligence - Bernhard Nebel; Leonie Dreschler-Fischer
Bestellen
bei Springer.com
€ 71,39
Bestellengesponserter Link

Bernhard Nebel; Leonie Dreschler-Fischer:

KI-94: Advances in Artificial Intelligence - neues Buch

ISBN: 9783540489795

This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994. Besides the invited paper "AI approach… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
KI-94: Advances in Artificial Intelligence
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellengesponserter Link
KI-94: Advances in Artificial Intelligence - neues Buch

ISBN: 9783540489795

This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994. Besides the invited paper "AI approach… Mehr…

Nr. 978-3-540-48979-5. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
4
KI-94: Advances in Artificial Intelligence - Bernhard Nebel; Leonie Dreschler-Fischer
Bestellen
bei Springer.com
€ 71,39
Versand: € 0,001
Bestellengesponserter Link
Bernhard Nebel; Leonie Dreschler-Fischer:
KI-94: Advances in Artificial Intelligence - neues Buch

ISBN: 9783540489795

Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Extension, Formal Logic, Formale Logik, Knowledge Representation, Natural Language Proc… Mehr…

  - Versandkosten: EUR 0.00
5
KI-94: Advances in Artificial Intelligence - Bernhard Nebel; Leonie Dreschler-Fischer
Bestellen
bei Springer.com
€ 71,39
Bestellengesponserter Link
Bernhard Nebel; Leonie Dreschler-Fischer:
KI-94: Advances in Artificial Intelligence - neues Buch

ISBN: 9783540489795

Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Extension, Formal Logic, Formale Logik, Knowledge Representation, Natural Language Proc… Mehr…

  - Versandkosten:zzgl. Versandkosten.

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - KI-94: Advances in Artificial Intelligence


EAN (ISBN-13): 9783540489795
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-02-04T22:44:23+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-04-11T15:55:35+02:00 (Vienna)
ISBN/EAN: 9783540489795

ISBN - alternative Schreibweisen:
978-3-540-48979-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: fischer bernhard
Titel des Buches: artificial intelligence


Daten vom Verlag:

Autor/in: Bernhard Nebel; Leonie Dreschler-Fischer
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; KI-94: Advances in Artificial Intelligence - 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings
Verlag: Springer; Springer Berlin
409 Seiten
Erscheinungsjahr: 2005-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XI, 409 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Extension; Formal Logic; Formale Logik; Knowledge Representation; Natural Language Processing; Natürliche Sprachverarbeitung; Neural Networks; Neuronale Netzwerke; Nicht-monotones Schließen; agents; autonomous agents; description logic; knowledge base; logic programming; neural network; C; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science; Theoretische Informatik; BC

AI approaches towards sensor-based driver support in road vehicles.- Representing concurrent actions and solving conflicts.- Preselection strategies for case based classification.- Utilizing spatial relations for natural language access to an autonomous mobile robot.- Cardinality restrictions on concepts.- An artificial neural network for high precision eye movement tracking.- A Kripke-Kleene logic over general logic programs.- The stable semantics and its variants: A comparison of recent approaches.- TabVer a case study in table verbalization.- Cooperating to be noncooperative: The dialog system PRACMA.- Robust constructive induction.- Enriching a semantic network language by integrating qualitative reasoning techniques.- Combining spatial and terminological reasoning.- Detecting gestalts in CAD-plans to be used as indices for case-retrieval in architecture.- The NeuDB-system: Towards the integration of neural networks and database systems.- Weighted defaults in description logics: Formal properties and proof theory.- Epistemic queries in Classic.- Communicating rational agents.- Knowledge-level modularization of a complex knowledge base.- Program verification techniques as a tool for reasoning about action and change.- A conditional logic for updating in the possible models approach.- Probabilistic justification of default reasoning.- A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory.- Incorporating specificity into circumscriptive theories.- Coherent choice and epistemic entrenchment (preliminary report).- A note on tableaux of logic of paradox.- When nonmonotonicity comes from distances.- Rigid unification by completion and rigid paramodulation.- Unification in a sorted ?-calculus with term declarations andfunction sorts.- Goal oriented equational theorem proving using team work.- The hardest random SAT problems.- Formal methods for automated program improvement.- Adapting methods to novel tasks in proof planning.- Using charts for transfer in MT.- A new frame for common-sense reasoning — Towards local inconsistencies.- Prioritized transitions for updates.- An optimal bidirectional search algorithm.- Learning to discriminate phases in gas-liquid flow.- Strategies for semantical contractions.- Conflicts in the spatial interaction of autonomous agents.- Using rough sets theory to predict German word stress.- Graphtheoretical algorithms and knowledge-based design.- Interval situation calculus.

< zum Archiv...