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:  879:-
Skickas inom 5-8 vardagar.
Fri frakt vid beställning på minst 99 kr för privatpersoner i Sverige - Läs mer
  • Välj format:
  • E-bok
  • Häftad


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: 474
  • 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

Term Rewriting and All That

Franz Baader

Description Logic Handbook

Franz Baader, Diego Calvanese m fl

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

Franz Baader, Klaus U Schulz

Bloggat om 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.

Du kanske gillar...

Den sårade divan : om psykets estetik (inbunden)

Den sårade divan : om psykets estetik

Karin Johannisson
MINI-D 5 : diagnostiska kriterier enligt DSM-5 ()

MINI-D 5 : diagnostiska kriterier enligt DSM-5

American Psychiatric Association
Medicin 1 och 2 (inbunden)

Medicin 1 och 2

Elsie Setterberg