Vor Ort
Merkzettel Warenkorb
  • Produktbild: KI-96: Advances in Artificial Intelligence
  • Produktbild: KI-96: Advances in Artificial Intelligence
Band 1137

KI-96: Advances in Artificial Intelligence 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.09.1996

Abbildungen

XIV, 394 p.

Herausgeber

Günther Görz + weitere

Verlag

Springer Berlin

Seitenzahl

394

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61708-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.09.1996

Abbildungen

XIV, 394 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

394

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61708-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: KI-96: Advances in Artificial Intelligence
  • Produktbild: KI-96: Advances in Artificial Intelligence
  • 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.