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…
Springer.com new in stock CH:::0.00 EUR. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
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…
Springer.com new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
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…
Springer.com Nr. 978-3-540-48979-5. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540489795
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Extension, Formal Logic, Formale Logik, Knowledge Representation, Natural Language Proc… Plus…
Springer.com Frais d'envoi EUR 0.00 Details... |
ISBN: 9783540489795
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Extension, Formal Logic, Formale Logik, Knowledge Representation, Natural Language Proc… Plus…
Springer.com Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
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…
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…
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…
ISBN: 9783540489795
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Extension, Formal Logic, Formale Logik, Knowledge Representation, Natural Language Proc… Plus…
ISBN: 9783540489795
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Extension, Formal Logic, Formale Logik, Knowledge Representation, Natural Language Proc… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783642333460 KI 2012: Advances in Artificial Intelligence: 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings (Lecture Notes in Artificial Intelligence, Band 7526) (Birte Glimm; Antonio Krüger)
- 9783642333460 KI 2012: Advances in Artificial Intelligence: 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings (Lecture Notes in Artificial Intelligence, Band 7526) (Birte Glimm; Antonio Krüger)
- 9783540584674 KI-94: Advances in Artificial Intelligence (Bernhard Nebel; Leonie Dreschler-Fischer)
- FUTURE OF ARTIFICIAL INTELLIGENCE ?: WHAT IS ARTIFICIAL INTELLIGENCE & HOW WE CAN USE ARTIFICIAL INTELLIGENCE (English Edition) (DANIAL, Z.A)
< pour archiver...