KI 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the c...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2001, 2001
|
| Edition: | 1st ed. 2001 |
| Series: | Lecture Notes in Artificial Intelligence
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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
- 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
- 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