1996, ISBN: 3540617086
[EAN: 9783540617082], Neubuch, [PU: Springer Berlin Heidelberg Sep 1996], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; AUTOMATISCHESTHEOREMBEWEISEN; EXTENSION; KI-LOGIKEN; NATÜRLICHSPR… Mehr…
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
1996, ISBN: 3540617086
[EAN: 9783540617082], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KÜNSTLICHE KI - AI AUTOMATISCHESTHEOREMBEWEISEN EXTENSION KI-LOGIKEN NATÜRLICHSPRACHLICHEVERARBEITUNG AGENTS A… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
KI-96: Advances in Artificial Intelligence 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings - neues Buch
1996, ISBN: 3540617086
1996 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AutomatischesTheorembeweisen; extension; KI-Logiken; NatürlichsprachlicheVerarbeitung… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
KI-96: Advances in Artificial Intelligence 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings - gebrauchtes Buch
1996, ISBN: 9783540617082
[PU: Springer Berlin], Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 17157/202, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliche… Mehr…
booklooker.de |
1996, ISBN: 9783540617082
Taschenbuch
20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1996
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
1996, ISBN: 3540617086
[EAN: 9783540617082], Neubuch, [PU: Springer Berlin Heidelberg Sep 1996], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; AUTOMATISCHESTHEOREMBEWEISEN; EXTENSION; KI-LOGIKEN; NATÜRLICHSPR… Mehr…
1996, ISBN: 3540617086
[EAN: 9783540617082], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KÜNSTLICHE KI - AI AUTOMATISCHESTHEOREMBEWEISEN EXTENSION KI-LOGIKEN NATÜRLICHSPRACHLICHEVERARBEITUNG AGENTS A… Mehr…
KI-96: Advances in Artificial Intelligence 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings - neues Buch
1996
ISBN: 3540617086
1996 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AutomatischesTheorembeweisen; extension; KI-Logiken; NatürlichsprachlicheVerarbeitung… Mehr…
KI-96: Advances in Artificial Intelligence 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings - gebrauchtes Buch
1996, ISBN: 9783540617082
[PU: Springer Berlin], Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 17157/202, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliche… Mehr…
1996, ISBN: 9783540617082
Taschenbuch
20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1996
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - KI-96: Advances in Artificial Intelligence
EAN (ISBN-13): 9783540617082
ISBN (ISBN-10): 3540617086
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer Berlin
408 Seiten
Gewicht: 0,614 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-04-29T05:33:14+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-04-16T02:08:53+02:00 (Vienna)
ISBN/EAN: 9783540617082
ISBN - alternative Schreibweisen:
3-540-61708-6, 978-3-540-61708-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gorz, hlldobler, holldobler, hölldobler, garz, lldobler, günther german, goerz, september, hoelldobler, german günter, steffens günther, görz, steffen günther
Titel des Buches: german art 20th, sciences the artificial, proceedings artificial intelligence conference, lecture notes artificial intelligence, may dresden, 1996, dresden fuß, lecture notes computer science
Daten vom Verlag:
Autor/in: Günther Görz; Steffen Hölldobler
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; KI-96: Advances in Artificial Intelligence - 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings
Verlag: Springer; Springer Berlin
394 Seiten
Erscheinungsjahr: 1996-09-04
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 394 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automatisches Theorembeweisen; Extension; KI-Logiken; Natürlichsprachliche Verarbeitung; agents; ai-logics; artificial intelligence; automatic theorem proving; autonomous agents; knowledge-based systems; learning; logic programming; neural network; optimization; proving; Artificial Intelligence; EA
Rational models of normal logic programs.- Massively parallel reasoning about actions.- DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover.- Abstraction as a heuristic to guide planning.- Equational theorem proving using taxonomic constraints.- Planning for distributed theorem proving: The teamwork approach.- A revision of Dependency-Directed Backtracking for JTMS.- A compiler-interpreter-system for decoding the user's intention within a speech understanding application.- Cyclic rules in Linear Connection Proofs.- Optimized nearest-neighbor classifiers using generated instances.- Towards a totally distributed meeting scheduling system.- Representations as basis of cognitive processes.- Improving the functionality of a text-to-speech system by adding morphological knowledge.- Solving hard combinatorial problems with GSAT — A case study.- Using rippling for equational reasoning.- Reasoning about action and change: Defeasible observations and actions with abnormal effects.- Falldaten: Case-based reasoning for the diagnosis of technical devices.- Integration of prosodic and grammatical information in the analysis of dialogs.- Application of a genetic algorithm for plausible justification of observations.- Managing multiple contexts efficiently.- Inductive learning in symbolic domains using structure-driven recurrent neural networks.- Belief revision in a nonclassical logic.- Avoiding combinatorial explosion in automatic test generation: Reasoning about measurements is the key.- Case retrieval nets: Basic ideas and extensions.- Putting default logics in perspective.- EULE2: A prototypical knowledge-based decision support system for the performance of office tasks.- When to prove theorems by analogy?.- Probabilistic knowledge representation andreasoning at maximum entropy by SPIRIT.- Knowledge based image understanding by iterative optimization.- Knowledge organization using the development system FAENSY.- A uniform proof procedure for classical and non-classical logics.- Qualitative reasoning under uncertainty with symbolic probabilities.- Narratives with concurrent actions: The mutual exclusion problem (extended abstract).- Tools for autonomous agents.- A concept language extended with different kinds of transitive roles.- Representation in auditory cortex.- A terminological qualification calculus for preferential reasoning under uncertainty.- Syntactic disambiguation by using categorial parsing in a DOOD framework.- Constructive disjunction revisited.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780009226380 Prospects for Artificial Intelligence. Proceedings of Aisb93. the Ninth Biennial Conference of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour. 29 March-2 April 1993. the University of Birmingham (Sloman, A: Hogg, D Et Al ( Editors ))
- 9780009226380 Prospects for Artificial Intelligence. Proceedings of Aisb93. the Ninth Biennial Conference of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour. 29 March-2 April 1993. the University of Birmingham (Sloman, A: Hogg, D Et Al ( Editors ))
- 9783540706694 KI-96: Advances in Artificial Intelligence (Günther Görz; Steffen Hölldobler)
- 9780262510714 AAAI-93: Proceedings of the Eleventh National Conference on Artificial Intelligence, July 11-16, 1993, Washington D.C. (AAAI National Conference Proceedings) (American Association on Artificial Intel)
- 9780080343501 Economics and Artificial Intelligence: Proceedings of the Ifac/Ifors/Ifip/Iasc/Afcet Conference, Aix-En-Provence, France, 2-4 September, 1986: Symposium Proceedings (I F a C Symposia Series) (Jean-Louis Roos, IFAC, IFORS, IFIP, IASC, France) AFCET Conference on Economics and Artificial Intelligence (1986 : Aix-en-Provence, International Federation of Automatic Control)
- 9780262510509 AAAI-80: Proceedings of the First National Conference on Artificial Intelligence (American Association on Artificial Intel)
< zum Archiv...