- 5 Résultats
prix le plus bas: € 42,79, prix le plus élevé: € 71,39, prix moyen: € 64,41
1
KI-94: Advances in Artificial Intelligence - Bernhard Nebel; Leonie Dreschler-Fischer
Commander
sur Springer.com
CHF 71,68
(environ € 65,10)
CommanderLien sponsorisé
Bernhard Nebel; Leonie Dreschler-Fischer:

KI-94: Advances in Artificial Intelligence - nouveau livre

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… Plus…

new in stock CH:::0.00 EUR. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
2
KI-94: Advances in Artificial Intelligence - Bernhard Nebel; Leonie Dreschler-Fischer
Commander
sur Springer.com
€ 71,39
CommanderLien sponsorisé

Bernhard Nebel; Leonie Dreschler-Fischer:

KI-94: Advances in Artificial Intelligence - nouveau livre

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… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
KI-94: Advances in Artificial Intelligence
Commander
sur Springer.com
€ 42,79
Envoi: € 0,001
CommanderLien sponsorisé
KI-94: Advances in Artificial Intelligence - nouveau livre

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… Plus…

Nr. 978-3-540-48979-5. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
4
KI-94: Advances in Artificial Intelligence - Bernhard Nebel; Leonie Dreschler-Fischer
Commander
sur Springer.com
€ 71,39
Envoi: € 0,001
CommanderLien sponsorisé
Bernhard Nebel; Leonie Dreschler-Fischer:
KI-94: Advances in Artificial Intelligence - nouveau livre

ISBN: 9783540489795

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

  - Frais d'envoi EUR 0.00
5
KI-94: Advances in Artificial Intelligence - Bernhard Nebel; Leonie Dreschler-Fischer
Commander
sur Springer.com
€ 71,39
CommanderLien sponsorisé
Bernhard Nebel; Leonie Dreschler-Fischer:
KI-94: Advances in Artificial Intelligence - nouveau livre

ISBN: 9783540489795

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

  - Frais d'envoizzgl. Versandkosten., Livraison non-comprise

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre

Informations détaillées sur le livre - KI-94: Advances in Artificial Intelligence


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

Livre dans la base de données depuis 2017-02-04T22:44:23+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-11T15:55:35+02:00 (Paris)
ISBN/EAN: 9783540489795

ISBN - Autres types d'écriture:
978-3-540-48979-5
Autres types d'écriture et termes associés:
Auteur du livre: fischer bernhard
Titre du livre: artificial intelligence


Données de l'éditeur

Auteur: Bernhard Nebel; Leonie Dreschler-Fischer
Titre: 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
Editeur: Springer; Springer Berlin
409 Pages
Date de parution: 2005-07-01
Berlin; Heidelberg; DE
Langue: Anglais
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.

< pour archiver...