KI 2003: Advances in Artificial Intelligence [[electronic resource] ] : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings / / edited by Andreas Günter, Rudolf Kruse, Bernd Neumann

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
• Edizione: 1st ed. 2003.
• Descrizione fisica: 1 online resource (XII, 668 p.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Artificial Intelligence
• Persona (resp. second.): GünterAndreas; KruseRudolf; NeumannBernd
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Incudes bibliographical references at the end of each chapters and index.
• Nota di contenuto: 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.
• Titolo autorizzato: KI 2003: Advances in Artificial Intelligence
• ISBN: 3-540-39451-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466060003316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Artificial Intelligence ; ; 2821