Ki 2001 Advances in Artificial Intelligence

Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

av Franz Baader, Gerhard Brewka, Thomas Eiter  (häftad, 2001)

Pris:  1294:-
Skickas inom 2-5 vardagar.
Fri frakt inom Sverige för privatpersoner vid beställning på minst 99 kr!
  • Välj format:
  • E-bok
  • Häftad

Kundrecensioner

Bli först att betygsätta och recensera boken Ki 2001 Advances in Artificial Intelligence.

Ki 2001 Advances in Artificial Intelligence (häftad)
  • Häftad (paperback)
  • Språk: Engelska
  • Antal sidor: 488
  • Utg.datum: 2001-09-01
  • Upplaga: 2001.
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Medarbetare: Baader, Franz (ed.), Brewka, Gerhard (ed.), Eiter, Thomas (ed.)
  • Illustratör/Fotograf: Mit Abb und Tab
  • Illustrationer: biography
  • Dimensioner: 236 x 155 x 25 mm
  • Vikt: 680 g
  • Antal komponenter: 1
  • Komponenter: xiii, 470 p. :
  • ISBN: 9783540426127

Bloggat om Ki 2001 Advances in Artificial Intelligence

Innehållsförteckning

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.