KI 2003 : advances in artificial intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003 : proceedings

Tallennettuna:
Bibliografiset tiedot
Yhteisötekijä: German Conference on Artificial Intelligence :Hambuurg, Allemagne
Muut tekijät: Günter, Andreas (Päätoimittaja), Kruse, Rudolf, 1952- (Päätoimittaja), Neumann, Bernd, 1943-...., informaticien (Päätoimittaja)
Aineistotyyppi: Livre numérique
Kieli:Anglais
Julkaistu: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Sarja:Lecture notes in computer science. Lecture notes in artificial intelligence 2821
Aiheet:
Linkit:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Huomautus: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• KI 2003, advances in artificial intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, proceedings, Andreas Günter, Rudolf Kruse, Bernd Neumann (eds.), Berlin, Springer, 2003, 1 vol. (XII-662 p.), Lecture notes in computer science, 3-540-20059-2
• KI 2003: Advances in Artificial Intelligence, Texte imprimé, 9783662189405
Sisällysluettelo:
  • 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 TheirApproximation 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.