KI 2003: Advances in Artificial Intelligence 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2003.
|
| Έκδοση: | 1st ed. 2003. |
| Σειρά: | Lecture Notes in Artificial Intelligence ;
2821 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Paper
- Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression
- Leveraging Metadata Creation for the Semantic Web with CREAM
- Negotiation Technologies
- Pushing the Limit in Visual Data Exploration: Techniques and Applications
- Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle
- Logics and Ontologies
- The Instance Problem and the Most Specific Concept in the Description Logic w.r.t. Terminological Cycles with Descriptive Semantics
- Satisfiability and Completeness of Converse-PDL Replayed
- Optimality Theory through Default Logic
- Towards a Systematic Account of Different Logic Programming Semantics
- How to Build a Foundational Ontology
- The Universal Medical Language System and the Gene Ontology: Some Critical Reflections
- Cognitive Modeling
- Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences
- Designing Agents with MicroPsi Node Nets
- Conscious Behavior through Reflexive Dialogs
- Reasoning Methods
- What Observations Really Tell Us
- A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k
- Computing Minimum-Cardinality Diagnoses Using OBDDs
- Presenting Sets of Problem Solutions Concisely
- Machine Learning
- Automatic Document Categorization
- A Logical Approach to Data-Driven Classification
- Spatial Inference - Combining Learning and Constraint Solving
- Hybrid Approaches for Case Retrieval and Adaptation
- Neural Networks
- Applied Connectionistic Methods in Computer Vision to Compare Segmented Images
- Sequential Learning Algorithm of Neural Networks Systems for Time Series
- A k-Winner-Takes-All Classifier for Structured Data
- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks
- Reasoning under Uncertainty
- Bayesian Metanetworks for Modelling User Preferences in Mobile Environment
- On Identifying Tree-Structured Perfect Maps
- Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection
- Fusing Probabilistic Information on Maximum Entropy
- A Probabilistic Approach for Dynamic State Estimation Using Visual Information
- Approaches to Semi-supervised Learning of Fuzzy Classifiers
- Instance-Based Learning of Credible Label Sets
- Self Learning or How to Make a Knowledge Base Curious about Itself
- Tolerance Spaces and Approximative Representational Structures
- Planning and Constraints
- Planning in Answer Set Programming Using Ordered Task Decomposition
- The Process Semantics Based Reasoning about Continuous Change
- A Flexible Meta-solver Framework for Constraint Solver Collaboration
- Spatial Modeling
- Tripartite Line Tracks - Bipartite Line Tracks
- Consistent 3D Model Construction with Autonomous Mobile Robots
- Who Can Connect in RCC?
- An Arrangement Calculus, Its Complexity and Algorithmic Properties
- User Modeling
- Multimodal User State Recognition in a Modern Dialogue System
- Tailoring the Presentation of Plans to Users' Knowledge and Capabilites
- Agent Technology
- An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies
- A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom
- Monitoring Agents Using Declarative Planning.
