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:  884:-
Skickas inom 5-8 vardagar.
Fri frakt vid beställning på minst 99 kr för privatpersoner i Sverige - Läs mer

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

Fler böcker av författarna

Visa alla böcker av Franz Baader, Gerhard Brewka, Thomas Eiter
The Description Logic Handbook (häftad)
Term Rewriting and All That (häftad)
Description Logic Handbook (häftad)
Frontiers of Combining Systems: 1st First International Workshop, Munich, March, 1996 (häftad)

The Description Logic Handbook

Franz Baader
Häftad
474:-

Term Rewriting and All That

Franz Baader
Häftad
425:-

Description Logic Handbook

Franz Baader, Diego Calvanese m fl
E-bok
600:-

Frontiers of Combining Systems: 1st First Internatio...

Franz Baader, Klaus U Schulz
Inbunden
1946:-

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.

Du kanske gillar...

I kroppen min : vägsjäl (pocket)

I kroppen min : vägsjäl

Kristian Gidlund
Pocket
51:-
Matrevolutionen : ät dig frisk med riktig mat (pocket)

Matrevolutionen : ät dig frisk med riktig mat

Andreas Eenfeldt
Pocket
51:-