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 con...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
2174 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • KI 2001, advances in artificial intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, proceedings, Franz Baader, Gerhard Brewka, Thomas Eiter, eds, 2001, New York, Springer, 1 vol. (XIII-470 p.), Lecture notes in computer science, 3-540-42612-4 • KI 2001: Advances in Artificial Intelligence, Texte imprimé, 9783662193792 |
Table des matières:
- 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.