Vor Ort
Merkzettel Warenkorb
  • Produktbild: KI 2001: Advances in Artificial Intelligence
  • Produktbild: KI 2001: Advances in Artificial Intelligence
Band 2174

KI 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.09.2001

Abbildungen

XIV, 474 p.

Herausgeber

Franz Baader + weitere

Verlag

Springer Berlin

Seitenzahl

474

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

739 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42612-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.09.2001

Abbildungen

XIV, 474 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

474

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

739 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42612-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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 2001: Advances in Artificial Intelligence
  • Produktbild: KI 2001: Advances in Artificial Intelligence
  • Invited Contributions.- Computational Game Theory and AI.- Optimal Agent Section.- Selected Papers.- Towards First-Order Temporal Resolution.- Approximating Most Specific Concepts in Description Logics with Existential Restrictions.- Bayesian Learning and Evolutionary Parameter Optimization.- Papers on Foundations.- Abductive Partial Order Planning with Dependent Fluents.- Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques.- Possible Worlds Semantics for Credulous and Contraction Inference.- The Point Algebra for Branching Time Revisited.- Exploiting Conditional Equivalences in Connection Calculi.- Propositional Satisfiability in Answer-Set Programming.- Prediction of Regular Search Tree Growth by Spectral Analysis.- Theory and Practice of Time-Space Trade-Offs in Memory Limited Search.- Hierarchical Diagnosis of Large Configurator Knowledge Bases.- Towards Distributed Configuration.- Belief Update in the pGOLOG Framework.- Finding Optimal Solutions to Atomix.- History-Based Diagnosis Templates in the Framework of the Situation Calculus.- A Defense Model for Games with Incomplete Information.- Towards Inferring Labelling Heuristics for CSP Application Domains.- Addressing the Qualification Problem in FLUX.- Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots.- Learning Search Control Knowledge for Equational Theorem Proving.- Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis.- Comparing Two Models for Software Debugging.- Inferring Implicit State Knowledge and Plans with Sensing Actions.- Papers on Applications.- Multi-agent Systems as Intelligent Virtual Environments.- OilEd: A Reason-able Ontology Editor for the Semantic Web.- Experiments with an Agent-Oriented Reasoning System.- Learning to Execute Navigation Plans.- DiKe - A Model-Based Diagnosis Kernel and Its Application.- Industrial Papers.- Constraints Applied to Configurations.- From Theory to Practice: AI Planning for High Performance Elevator Control.- Semantic Networks in a Knowledge Management Portal.- Collaborative Supply Net Management.